38 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Pelc, Andrzej. editor.
Format:
Electronic Resources
Alıntı:
to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based
View Other Search Results
Yazar
Felber, Pascal. editor.
Format:
Electronic Resources
Alıntı:
submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable
Yazar
Salinesi, Camille. editor.
Format:
Electronic Resources
Alıntı:
: scalability in RE, communication issues, compliance with law and regulations, RE for self adaptive systems
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
-- Self-Verifying Finite Automata and Descriptional Complexity -- On the State Complexity of Partial Derivative
Yazar
Dubois, Catherine. editor.
Format:
Electronic Resources
Alıntı:
Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and
Yazar
van der Aalst, Wil. author.
Format:
Electronic Resources
Alıntı:
self-contained, while at the same time covering the entire process-mining spectrum from process discovery to
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Self-Downgrade -- A Framework for Certified Self-Stabilization -- Developing Honest Java Programs with Diogenes
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Reasoning about Data-Management Applications -- Modeling and Adaptation -- Self-adaptive Software with
Yazar
Heisel, Maritta. editor.
Format:
Electronic Resources
Alıntı:
Networks -- Engineering Trust-Awareness and Self-adaptability in Services and Systems -- Validation of
38 sonuç bulundu