1256 search results - page 61 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
144
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
132
click to vote
VCHCI
1993
15 years 8 months ago
1993
The interaction history of a document can be modelled as a tree of command objects. This model does not only support recovery (undo/redo), but is also suitable for cooperation betw...
119
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Critical infrastructures display many of the characteristic properties of complex systems. They exhibit infrequent large failures events that often obey a power law distribution i...
124
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
102
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...