Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 22 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 15 Treffer
- [info.info-dc]computer science [cs]/distributed 10 Treffer
- [info]computer science [cs] 10 Treffer
- and cluster computing [cs.dc] 10 Treffer
-
45 weitere Werte:
- parallel 10 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 9 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 6 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 5 Treffer
- [math]mathematics [math] 5 Treffer
- knowledge modeling 5 Treffer
- knowledge representation 5 Treffer
- mathematical knowledge 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- computing and processing 4 Treffer
- protocol 4 Treffer
- rewriting 4 Treffer
- unification 4 Treffer
- [info.info-mc]computer science [cs]/mobile computing 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 3 Treffer
- anomalies detection 3 Treffer
- decentralized architecture 3 Treffer
- firewall 3 Treffer
- hedge automata 3 Treffer
- inference system 3 Treffer
- integrity 3 Treffer
- real-time collaboration 3 Treffer
- security 3 Treffer
- static typechecking 3 Treffer
- term rewriting 3 Treffer
- verification 3 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 2 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 2 Treffer
- [spi.auto]engineering sciences [physics]/automatic 2 Treffer
- acm: h.: information systems/h.2: database management/h.2.7: database administration/h.2.7.3: security 2 Treffer
- and protection 2 Treffer
- assessment 2 Treffer
- components, circuits, devices and systems 2 Treffer
- conferences 2 Treffer
- d.2.4 2 Treffer
- educational sciences 2 Treffer
- filtering rules 2 Treffer
- generators 2 Treffer
- java 2 Treffer
- software engineering 2 Treffer
- software testing 2 Treffer
- transistors 2 Treffer
- utbildningsvetenskap 2 Treffer
- adders 1 Treffer
- agents 1 Treffer
Verlag
Publikation
- issn: 1539-9087 4 Treffer
- 2022 ieee/acm 15th international workshop on search-based software testing (sbst), search-based software testing (sbst), 2022 ieee/acm 15th international workshop on, sbst 2 Treffer
- acm transactions on autonomous and adaptive systems (taas) 2 Treffer
- k-cap '23: proceedings of the 12th knowledge capture conference 2023 2 Treffer
- sac 2012, 27-th acm symposium on applied computing ; https://inria.hal.science/hal-00746814 ; sac 2012, 27-th acm symposium on applied computing, mar 2012, trento, italy. pp.1284-1291, ⟨10.1145/2245276.2231980⟩ 2 Treffer
-
7 weitere Werte:
- 2014 ieee/acm international symposium on low power electronics and design (islped), low power electronics and design (islped), 2014 ieee/acm international symposium on 1 Treffer
- 2016 ieee/acm international symposium on nanoscale architectures (nanoarch), nanoscale architectures (nanoarch), 2016 ieee/acm international symposium on 1 Treffer
- acm journal on emerging technologies in computing systems (jetc) - special issue on advances in design of ultra-low power circuits and systems in emerging technologies 1 Treffer
- proceedings of the 12th annual conference on cyber and information security research 1 Treffer
- proceedings of the 15th workshop on search-based software testing 1 Treffer
- proceedings of the 4th international conference on medical and health informatics 1 Treffer
- proceedings of the on great lakes symposium on vlsi 2017 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
40 Treffer
-
In: The World Wide Web Conference (WWW 2012) ; https://inria.hal.science/hal-00759903 ; The World Wide Web Conference (WWW 2012), Apr 2012, Lyon, France. pp.575-576, ⟨10.1145/2187980.2188134⟩, 2012KonferenzZugriff:
-
In: SAC 2012, 27-th ACM Symposium On Applied Computing ; https://inria.hal.science/hal-00746814 ; SAC 2012, 2012KonferenzZugriff:
-
In: 2011 ACM Symposium on Applied Computing (SAC) ; https://inria.hal.science/inria-00576880 ; 2011 ACM Symposium on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.861-868, ⟨10.1145/1982185.1982374⟩ ; http://dl.acm.org/ft_gateway.cfm?id=1982374&ftid=65264&dwn=1&CFID=154985815&CFTOKEN=77096156, 2011KonferenzZugriff:
-
In: 18th ACM Conference on Computer and Communications Security - CSS 2011 ; https://inria.hal.science/inria-00638552 ; 18th ACM Conference on Computer and Communications Security - CSS 2011, Oct 2011, Chicago, United States. pp.63-74, ⟨10.1145/2046707.2046717⟩, 2011KonferenzZugriff:
-
In: 1st International Workshop on End-to-End Test Script Engineering - ETSE 2011 ; https://inria.hal.science/hal-00649265 ; 1st International Workshop on End-to-End Test Script Engineering - ETSE 2011, Jul 2011, Toronto, Canada, Canada. pp.16--23, ⟨10.1145/2002931.2002934⟩ ; http://dl.acm.org/ft_gateway.cfm?id=2002934&ftid=995988&dwn=1&CFID=73509861&CFTOKEN=11157113, 2011KonferenzZugriff:
-
In: 5th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2010 ; https://inria.hal.science/inria-00448703 ; 5th ACM Symposium on Information, 2010KonferenzZugriff:
-
In: 15th ACM Conference on Computer and Communications Security - CCS'08 ; https://inria.hal.science/inria-00323195 ; 15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States, 2008KonferenzZugriff:
-
In: 23rd Annual ACM Symposium on Applied Computing - SAC'08 ; https://inria.hal.science/inria-00329730 ; 23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128, 2008KonferenzZugriff:
-
In: Proceedings of the 4th International Conference on Medical and Health Informatics, 2020KonferenzZugriff:
-
2014Online Elektronische Ressource
-
2014Online Elektronische Ressource
-
2014Online Elektronische Ressource
-
2014Online Elektronische Ressource
-
2014Online Elektronische Ressource
-
In: ISSN: 1539-9087, 2005Online academicJournalZugriff:
-
In: ISSN: 1539-9087, 2019academicJournalZugriff:
-
In: NANOCOM 2014, 1st ACM Int. Conf. on Nanoscale Computing and Communication ; https://hal.science/hal-01228339 ; NANOCOM 2014, 2014KonferenzZugriff:
-
In: SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems ; https://hal.science/hal-01223030 ; SESoS'13, 2013KonferenzZugriff:
-
In: ACM Transactions on Autonomous and Adaptive Systems (TAAS), Jg. 3 (2008-03-27), Heft 1, S. 1-24Online academicJournalZugriff:
-
In: ACM Transactions on Autonomous and Adaptive Systems (TAAS), Jg. 1 (2006-12-01), Heft 2, S. 189-222Online academicJournalZugriff: