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
- k-cap '23: proceedings of the 12th knowledge capture conference 2023 4 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⟩ 3 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
-
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
92 Treffer
-
In: 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST), 2022-05-01, S. 39-40Online KonferenzZugriff:
-
In: 2016 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH), 2016-07-01, S. 203-208Online KonferenzZugriff:
-
In: 2014 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), 2014-08-01, S. 127-130KonferenzZugriff:
-
In: Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017KonferenzZugriff:
-
In: Proceedings of the 12th Annual Conference on Cyber and Information Security Research, 2017KonferenzZugriff:
-
In: 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, Jg. 12 (2015-09-02), Heft 2, S. 1-26Online academicJournalZugriff:
-
2014Online KonferenzZugriff:
-
In: 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST), 2022-05-01, S. 25-32Online KonferenzZugriff:
-
In: K-CAP '23: Proceedings of the 12th Knowledge Capture Conference 2023, 2023Online KonferenzZugriff:
-
In: CSCS '23: Computer Science in Cars Symposium ; https://hal.science/hal-04328515 ; CSCS '23: Computer Science in Cars Symposium, Dec 2023, Darmstadt Germany, Germany. pp.1-12, ⟨10.1145/3631204.3631863⟩, 2023Online KonferenzZugriff:
-
In: ACM NanoCom 2023 ; https://hal.science/hal-04213833 ; ACM NanoCom 2023, Sep 2023, Conventry, United Kingdom. pp.7, ⟨10.1145/3576781.3608715⟩, 2023Online KonferenzZugriff:
-
In: 10th ACM International Conference on Nanoscale Computing and Communication (NANOCOM'23) ; https://hal.science/hal-04224792 ; 10th ACM International Conference on Nanoscale Computing and Communication (NANOCOM'23), Sep 2023, Coventry, United Kingdom. pp.33-39, ⟨10.1145/3576781.3608715⟩, 2023Online KonferenzZugriff:
-
In: 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP) ; https://inria.hal.science/inria-00578916 ; 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩ ; http://portal.acm.org/citation.cfm?doid=1836089.1836105, 2010Online KonferenzZugriff:
-
In: ICPP 2018 - 47th International Conference on Parallel Processing ; https://inria.hal.science/hal-01798627 ; ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR, United States. pp.1-10, ⟨10.1145/3225058.3225145⟩, 2018Online KonferenzZugriff:
-
In: ISSN: 2372-3491 ; ACM SIGLOG News ; https://inria.hal.science/hal-01206297 ; ACM SIGLOG News, 2015, 2015academicJournalZugriff:
-
In: WPES 2013 - Proceedings of the 12th ACM workshop on privacy in the electronic society - 2013 ; https://inria.hal.science/hal-00881076 ; WPES 2013 - Proceedings of the 12th ACM workshop on privacy in the electronic society - 2013, Nov 2013, Berlin, Germany. pp.131-142, ⟨10.1145/2517840.2517852⟩, 2013KonferenzZugriff:
-
In: CCS '13 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security - 2013 ; https://inria.hal.science/hal-00881023 ; CCS '13 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security - 2013, Nov 2013, Berlin, Germany. pp.1261-1272, ⟨10.1145/2508859.2516711⟩, 2013KonferenzZugriff:
-
In: IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium ; https://inria.hal.science/hal-00915318 ; IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ⟨10.1145/2513591.2513657⟩, 2013KonferenzZugriff:
-
In: 19th ACM Conference on Computer and Communications Security (CCS'12) ; https://inria.hal.science/hal-00732902 ; 19th ACM Conference on Computer and Communications Security (CCS'12), Oct 2012, Raleigh, United States, 2012KonferenzZugriff:
-
In: 19th ACM Conference on Computer and Communications Security (CCS'12) ; https://inria.hal.science/hal-00732904 ; 19th ACM Conference on Computer and Communications Security (CCS'12), Oct 2012, Raleigh, United States, 2012KonferenzZugriff: