Treffer 1 - 20
von 884
- 1
- 2
Seite in der Trefferliste auswählen
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service
Kristensen, M.H. ; Bonizzi, A. ; Gomes, C. ; et al.
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) ACSOS-C Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2024 IEEE International Conference on. :121-127 Sep, 2024
Tutorial on systems with antifragility to downtime.
Hole, Kjell Jørgen
Computing. Jan2022, Vol. 104 Issue 1, p73-93. 21p.
Advanced model predictive control framework for autonomous intelligent mechatronic systems: A tutorial overview and perspectives
Shi, Yang ; Zhang, Kunwu
In Annual Reviews in Control 2021 52:170-196
Deploying Foundation Model Powered Agent Services: A Survey
Xu, W. ; Chen, J. ; Zheng, P. ; et al.
IEEE Communications Surveys & Tutorials IEEE Commun. Surv. Tutorials Communications Surveys & Tutorials, IEEE. 28:1483-1519 2026
Using the KGP Model of Agency to Design Applications (Tutorial Paper)
Computational logic in multi-agent systems; CLIMA VI
Sadri, F.
LECTURE NOTES IN COMPUTER SCIENCE. (3900):165-185
A Survey of Recent Advances in Optimization Methods for Wireless Communications
Liu, Y. ; Chang, T. ; Hong, M. ; et al.
IEEE Journal on Selected Areas in Communications IEEE J. Select. Areas Commun. Selected Areas in Communications, IEEE Journal on. 42(11):2992-3031 Nov, 2024
A system design framework-driven implementation of a learning collaboratory
Dorneich, M.C.
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans IEEE Trans. Syst., Man, Cybern. A Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on. 32(2):200-213 Mar, 2002
Physical-Layer Aspects of Quantum Communications: A Survey
Koudia, S. ; Oleynik, L. ; Bayraktar, M. ; et al.
IEEE Communications Surveys & Tutorials IEEE Commun. Surv. Tutorials Communications Surveys & Tutorials, IEEE. 28:4429-4457 2026
Distributed system development using Web service and Enterprise Java Beans
Kumar, A.
2005 IEEE International Conference on Services Computing (SCC'05) Vol-1 Services computing Services Computing, 2005 IEEE International Conference on. 2:xiii vol.2 2005
Near-Capacity Wireless System Design Principles
Nguyen, H.V. ; Xu, C. ; Ng, S.X. ; et al.
IEEE Communications Surveys & Tutorials IEEE Commun. Surv. Tutorials Communications Surveys & Tutorials, IEEE. 17(4):1806-1833 Jan, 2015
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study
Anderson, Matthew ; Shukla, Sandeep K.
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on. :1-10 Oct, 2013
Multi-provider capabilities in EnOSlib: driving distributed system experiments on the edge-to-cloud continuum
Jonglez, Baptiste ; Simonin, Matthieu ; Philippe, Jolan ; et al.
Springer LNCS-IFIP, Lecture Notes in Computer Science (LNCS) ; DAIS 2025: 25th International Conference on Distributed Applications and Interoperable Systems ; https://inria.hal.science/hal-05052776 ; DAIS 2025: 25th International Conference on Distributed Applications and Interoperable Systems, Jun 2025, Lille, France. pp.25-42, ⟨10.1007/978-3-031-95728-4_2⟩ ; https://www.discotec.org/2025/dais
Dieses Ergebnis kann Gästen nicht angezeigt werden.
Login für vollen Zugriff.
Dieses Ergebnis kann Gästen nicht angezeigt werden.
Login für vollen Zugriff.
Dieses Ergebnis kann Gästen nicht angezeigt werden.
Login für vollen Zugriff.
Control of Distributed Systems: Tutorial and Overviewg.
van Schuppen, Jan H. ; Boutin, Olivier ; Kempker, Pia L. ; et al.
European Journal of Control. Sep2011, Vol. 17 Issue 5/6, p579-602. 24p.
Ultra Wide Band radio in Distributed Wireless Networks
Di Benedetto, M.-G. ; Giancola, G. ; Domenicali, D.
2006 Advanced Signal Processing, Circuit and System Design Techniques for Communications Advanced Signal Processing, Circuits, and System Design Techniques for Communications, 2006. :99-130 May, 2006
DETECTION OF DEADLOCKS IN DISTRIBUTED DATABASE SYSTEMS.
Marsland, T. Anthony ; Isloor, Sreekaanth S.
INFOR. Feb80, Vol. 18 Issue 1, p1-20. 20p.
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
International School on Formal Methods for the Design of Computer, Communication, and Software Systems; Formal methods for executable software models
Gmeiner, A. ; Konnov, I. ; Schmid, U. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (8483):122-171
Information Literacy “Learning” via Online Tutorials: A Collaboration Between Subject Specialist and Instructional Design Librarian.
Lo, Leo S. ; Dale, Jenny McCraw
Journal of Library & Information Services in Distance Learning. 2009, Vol. 3 Issue 3/4, p148-158. 11p.
- 1
- 2