1888 search results - page 187 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
123
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
153
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
145
click to vote
AIME
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
138
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
146
click to vote
ACTA
2005
15 years 3 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...