1398 search results - page 58 / 280 » Ensuring Properties of Interaction Systems |
121
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...
137
click to vote
RISE
2005
Springer
15 years 9 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
151
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
107
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing intere...
112
click to vote
ECIS
2003
15 years 5 months ago
2003
The European Union(EU) Data Protection (Privacy) Directive of 1995 (EUPD) and resulting legislation introduced by member states is designed to ensure that business activity is sub...