Treffer 1 - 20
von 228.319
Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net.
Alsaegg KAM ; Pashazadeh S ; Zolfy Lighvan M
Publisher: PeerJ Inc Country of Publication: United States NLM ID: 101660598 Publication Model: eCollection Cited Medium: Internet ISSN: 2376-5992 (Electronic) Linking ISSN: 23765992 NLM ISO Abbreviation: PeerJ Comput Sci Subsets: PubMed not MEDLINE
Modeling Radiofrequency Electromagnetic Field Wearable Distributed (Multi-Location) Measurements System for Evaluating Electromagnetic Hazards in the Work Environment.
Gryz K ; Karpowicz J ; Zradziński P
Publisher: MDPI Country of Publication: Switzerland NLM ID: 101204366 Publication Model: Electronic Cited Medium: Internet ISSN: 1424-8220 (Electronic) Linking ISSN: 14248220 NLM ISO Abbreviation: Sensors (Basel) Subsets: PubMed not MEDLINE; MEDLINE
Privacy-Preserving Federated Unlearning with Ontology-Guided Relevance Modeling for Secure Distributed Systems.
Ghannam, Naglaa E. ; Mahareek, Esraa A.
Future Internet. Aug2025, Vol. 17 Issue 8, p335. 32p.
Context Modeling and Ambient Scene Detection Tools, Machine Learning-Based Object Recognition and Distributed Sensing Technologies, and Immersive Visualization and Haptic Augmented Reality Systems in the Decentralized Metaverse
Poliak, Milos ; Poliakova, Adela ; Nica, Elvira ; et al.
Extending a Distributed System Architecture with E-Government Modelling Concepts
Meneklis, Vassilis ; Douligeris, Christos
2007 IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications Personal, Indoor and Mobile Radio Communications, 2007. PIMRC 2007. IEEE 18th International Symposium on. :1-6 Sep, 2007
Modeling the Delivery Physiology of Distributed Learning Systems.
Paquette, Gilbert ; Rosca, Ioan
27
On of Cooperation in Distributed Systems Under Uncertainties
Krokhmal, Pavlo A. ; Jeffcoat, David E.
Military Operations Research, 2010 Jan 01. 15(4), 39-53.
UML-SPACES: a UML profile for distributed systems coordinated via tuple spaces
Astesiano, E. ; Reggio, G.
Proceedings 5th International Symposium on Autonomous Decentralized Systems Autonomous decentralized systems Autonomous Decentralized Systems, 2001. Proceedings. 5th International Symposium on. :127-134 2001
Manod: A multi-modal anomaly detection framework for distributed system.
Liu W ; Sun D ; Yang H ; et al.
Publisher: Pergamon Press Country of Publication: United States NLM ID: 8805018 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1879-2782 (Electronic) Linking ISSN: 08936080 NLM ISO Abbreviation: Neural Netw Subsets: MEDLINE
Optimizing Performance of Distributed Web Systems.
ILEANA, Marian
Informatica Economica. 2023, Vol. 27 Issue 4, p78-87. 10p.
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.
Daszczuk WB
Publisher: MDPI Country of Publication: Switzerland NLM ID: 101204366 Publication Model: Electronic Cited Medium: Internet ISSN: 1424-8220 (Electronic) Linking ISSN: 14248220 NLM ISO Abbreviation: Sensors (Basel) Subsets: MEDLINE
Collaborative Sensemaking: The Emergence of Insights in a Distributed Knowledge System
Tom Reshef-Israeli ; Shulamit Kapon
6
A Lisp environment for modelling distributed systems
De Roure, David Charles
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
Concurrency specification and programming workshop
Lomazova, I. A.
FUNDAMENTA INFORMATICAE. 60(1-4):225-235
Interacting Automata for Modelling Distributed Systems
Computational science
Lomazova, I. A.
LECTURE NOTES IN COMPUTER SCIENCE. :851-860
A Framework System for Intelligent Support in Open Distributed Learning Environments--A Look Back from 16 Years Later
Hoppe, H. Ulrich
8
Analysis of Optimal File Migration Policies in Distributed Computer Systems
Management Science, 1992 Apr 01. 38(4), 459-482.