Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-es]computer science [cs]/embedded systems 81 Treffer
- petri net 14 Treffer
- reseau de petri 14 Treffer
- evaluation de la performance 12 Treffer
- performance evaluation 12 Treffer
-
45 weitere Werte:
- [info.info-mc]computer science [cs]/mobile computing 11 Treffer
- mas 11 Treffer
- modelisation 11 Treffer
- composition de services web 9 Treffer
- le model checking 9 Treffer
- massively parallel processing 9 Treffer
- model checking 9 Treffer
- multithreading 9 Treffer
- performability 9 Treffer
- protocoles 9 Treffer
- protocols 9 Treffer
- soit 9 Treffer
- traitement massivement parallele 9 Treffer
- analyse de l'accessibilite 8 Treffer
- apn 8 Treffer
- business information systems 8 Treffer
- flexible manufacturing system 8 Treffer
- petri nets 8 Treffer
- reachability analysis 8 Treffer
- reseaux de petri 8 Treffer
- software engineering 8 Treffer
- systeme de fabrication flexible 8 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 7 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 7 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 7 Treffer
- crowdsensing 7 Treffer
- manhattan 7 Treffer
- maude 7 Treffer
- opnet modeler 7 Treffer
- reseaux sociaux 7 Treffer
- social networks 7 Treffer
- aeronautics 6 Treffer
- aeronautique 6 Treffer
- agent petri nets 6 Treffer
- compatibilite 6 Treffer
- computer appl. in administrative data processing 6 Treffer
- ctl 6 Treffer
- federation de « identites 6 Treffer
- federation d'identites 6 Treffer
- fifa 6 Treffer
- formalism 6 Treffer
- formalisme 6 Treffer
- genie logiciel 6 Treffer
- geo 6 Treffer
- mobilite 6 Treffer
Verlag
- hal ccsd 676 Treffer
- scirp 14 Treffer
- elsevier 11 Treffer
- ieee 10 Treffer
- institute of electrical and electronics engineers (ieee) 9 Treffer
-
19 weitere Werte:
- acm 8 Treffer
- lavoisier 8 Treffer
- springer 8 Treffer
- institute of electrical and electronics engineers 7 Treffer
- inderscience 5 Treffer
- schloss dagstuhl 5 Treffer
- ieee - institute of electrical and electronics engineers 4 Treffer
- asian control association (aca) and chinese automatic control society (cacs) 3 Treffer
- ios press 3 Treffer
- springer-verlag 3 Treffer
- taylor & francis 3 Treffer
- the science and information organization 3 Treffer
- world scientific publishing 3 Treffer
- edp sciences 2 Treffer
- hindawi 2 Treffer
- see - societe de l'electricite, de l'electronique et des technologies de l'information et de la communication 2 Treffer
- springer verlag 2 Treffer
- ecole nationale des ingenieurs de tunisie 1 Treffer
- uk simulation society 1 Treffer
Publikation
Sprache
Geographischer Bezug
676 Treffer
-
In: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://inria.hal.science/hal-02960539 ; IEEE Transactions on Computers, 2021, 70 (11), pp.7. ⟨10.1109/TC.2020.3030592⟩, 2021Online academicJournalZugriff:
-
In: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://hal.inria.fr/hal-02960539 ; IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TC.2020.3030592⟩, 2020Online academicJournalZugriff:
-
In: SMARTCOMP 2022 - International Conference on Smart Computing ; https://inria.hal.science/hal-03701939 ; SMARTCOMP 2022 - International Conference on Smart Computing, Jun 2022, Espoo, Finland. pp.78-85, ⟨10.1109/SMARTCOMP55677.2022.00026⟩, 2022Online KonferenzZugriff:
-
In: 35th International Symposium on Distributed Computing (DISC 2021) ; https://hal.science/hal-02634752 ; 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, ⟨10.4230/LIPIcs.DISC.2021.42⟩, 2021Online KonferenzZugriff:
-
In: 35th International Symposium on Distributed Computing (DISC 2021) ; https://hal.science/hal-02634752 ; 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, ⟨10.4230/LIPIcs.DISC.2021.42⟩, 2021Online KonferenzZugriff:
-
In: 35th International Symposium on Distributed Computing (DISC 2021) ; https://hal.science/hal-02634752 ; 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, ⟨10.4230/LIPIcs.DISC.2021.42⟩, 2021Online KonferenzZugriff:
-
In: 35th International Symposium on Distributed Computing (DISC 2021) ; https://hal.archives-ouvertes.fr/hal-02634752 ; 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, ⟨10.4230/LIPIcs.DISC.2021.42⟩, 2021Online KonferenzZugriff:
-
In: MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services ; https://inria.hal.science/hal-03035035 ; MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2020Online KonferenzZugriff:
-
In: PerCom 2020: IEEE International Conference on Pervasive Computing and Communications ; https://hal.science/hal-02463610 ; PerCom 2020: IEEE International Conference on Pervasive Computing and Communications, Mar 2020, Austin / Virtual, United States. ⟨10.1109/PerCom45495.2020.9127391⟩, 2020Online KonferenzZugriff:
-
In: MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services ; https://inria.hal.science/hal-03035035 ; MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2020Online KonferenzZugriff:
-
In: PerCom 2020: IEEE International Conference on Pervasive Computing and Communications ; https://hal.science/hal-02463610 ; PerCom 2020: IEEE International Conference on Pervasive Computing and Communications, Mar 2020, Austin / Virtual, United States. ⟨10.1109/PerCom45495.2020.9127391⟩, 2020Online KonferenzZugriff:
-
In: MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services ; https://inria.hal.science/hal-03035035 ; MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2020Online KonferenzZugriff:
-
In: MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services ; https://hal.inria.fr/hal-03035035 ; MobiQuitous 2020 - EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2020Online KonferenzZugriff:
-
In: PerCom 2020: IEEE International Conference on Pervasive Computing and Communications ; https://hal.science/hal-02463610 ; PerCom 2020: IEEE International Conference on Pervasive Computing and Communications, Mar 2020, Austin / Virtual, United States. ⟨10.1109/PerCom45495.2020.9127391⟩, 2020Online KonferenzZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-02634752 ; [Research Report] Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, 2020Online reportZugriff:
-
In: 35th International Symposium on Distributed Computing (DISC 2021) ; https://hal.archives-ouvertes.fr/hal-02634752 ; 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, ⟨10.4230/LIPIcs.DISC.2021.42⟩, 2021Online KonferenzZugriff:
-
In: 18th International Conference on Principles of Distributed Systems, OPODIS 2014 ; https://hal.science/hal-01219847 ; 18th International Conference on Principles of Distributed Systems, 2014Online KonferenzZugriff:
-
In: 18th International Conference on Principles of Distributed Systems, OPODIS 2014 ; https://hal.science/hal-01219847 ; 18th International Conference on Principles of Distributed Systems, 2014Online KonferenzZugriff:
-
In: 18th International Conference on Principles of Distributed Systems, OPODIS 2014 ; https://hal.science/hal-01219847 ; 18th International Conference on Principles of Distributed Systems, 2014Online KonferenzZugriff:
-
In: 18th International Conference on Principles of Distributed Systems, OPODIS 2014 ; https://hal.science/hal-01219847 ; 18th International Conference on Principles of Distributed Systems, 2014Online KonferenzZugriff: