Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
THE SOPHISTICATION OF CONTROL AND POWER MECHANISMS IN SOCIETY, AND THE IMPACTS ON PERSONALITY RIGHTS/A SOFISTICACAO DOS MECANISMOS DE CONTROLE E PODER NA SOCIEDADE, E OS IMPACTOS AOS DIREITOS DA PERSONALIDADE
Vieira, Ana Elisa Silva Fernandes, Siqueira, Dirceu Pereira
Published in Lex humana (Petrópolis, RJ, Brasil) (01.10.2024)
Get full text
Published in Lex humana (Petrópolis, RJ, Brasil) (01.10.2024)
Journal Article
Loading…
A compositional modelling and analysis framework for stochastic hybrid systems
Hahn, Ernst Moritz, Hartmanns, Arnd, Hermanns, Holger, Katoen, Joost-Pieter
Published in Formal methods in system design (01.10.2013)
Published in Formal methods in system design (01.10.2013)
Get full text
Journal Article
Loading…
Machine learning-based test selection for simulation-based testing of self-driving cars software
Birchler, Christian, Khatiri, Sajad, Bosshard, Bill, Gambi, Alessio, Panichella, Sebastiano
Published in Empirical software engineering : an international journal (01.06.2023)
Published in Empirical software engineering : an international journal (01.06.2023)
Get full text
Journal Article
Loading…
Loading…
Loading…
Separation of concerns for distributed cross-platform context-aware user interfaces
Cemus, Karel, Klimes, Filip, Kratochvil, Ondrej, Cerny, Tomas
Published in Cluster computing (01.09.2017)
Published in Cluster computing (01.09.2017)
Get full text
Journal Article
Loading…
Stubbifier: debloating dynamic server-side JavaScript applications
Turcotte, Alexi, Arteca, Ellen, Mishra, Ashish, Alimadadi, Saba, Tip, Frank
Published in Empirical software engineering : an international journal (01.12.2022)
Published in Empirical software engineering : an international journal (01.12.2022)
Get full text
Journal Article
Loading…
Equivalence hypothesis testing in experimental software engineering
Dolado, José Javier, Otero, Mari Carmen, Harman, Mark
Published in Software quality journal (01.06.2014)
Published in Software quality journal (01.06.2014)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
MGSAN: multimodal graph self-attention network for skeleton-based action recognition: MGSAN: multimodal graph self-attention network for skeleton-based action recognition
Wang, Junyi, Li, Ziao, Liu, Bangli, Cai, Haibin, Saada, Mohamad, Meng, Qinggang
Published in Multimedia systems (01.12.2024)
Published in Multimedia systems (01.12.2024)
Get full text
Journal Article
Loading…
Efficient integration of online model checking into a small-footprint real-time operating system
Sudhakar, Krishna, Zhao, Yuhong, Rammig, Franz-Josef
Published in Concurrency and computation (25.09.2016)
Published in Concurrency and computation (25.09.2016)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…