3765 search results - page 240 / 753 » Qualitative Action Systems |
224
click to vote
AP2PC
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
155
click to vote
ATAL
2003
Springer
16 years 14 days ago
2003
Springer
Contracts in the real world often rest upon a notion of responsibility, by which parties commit to the fulfilment of particular imperatives embedded in the contract. Responsibili...
171
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a conceptual framework that articulates the mechanics of collaboration for shared-workspace groupware: the low level actions and interactions that must be carried out...
171
click to vote
WDAG
1990
Springer
15 years 11 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...
196
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...