2123 search results - page 96 / 425 » Composition of Cyber-Physical Systems |
127
click to vote
COORDINATION
2010
Springer
15 years 7 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
146
click to vote
SSS
2010
Springer
15 years 2 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
117
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...
138
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
137
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...