4434 search results - page 505 / 887 » On the Composition of Hybrid Systems |
189
Voted
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
144
click to vote
EDO
2005
Springer
16 years 12 days ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
186
Voted
UPP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
183
Voted
DSN
2003
IEEE
16 years 5 days ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
174
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...