1923 search results - page 111 / 385 » Modeling Complexity in Secure Distributed Computing |
CCS
2010
ACM
14 years 7 months ago
2010
ACM
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...
TISSEC
2010
14 years 8 months ago
2010
Privacy has been acknowledged to be a critical requirement for many business (and non-business) environments. Therefore, the definition of an expressive and easy-to-use privacyre...
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
103
click to vote
IANDC
2007
14 years 9 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...