1888 search results - page 187 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
155
click to vote
ATAL
1997
Springer
15 years 10 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...
192
click to vote
ESOP
2005
Springer
16 years 1 days 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...
188
click to vote
AIME
2009
Springer
15 years 10 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...
178
click to vote
FMICS
2006
Springer
15 years 10 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...
192
click to vote
ACTA
2005
15 years 6 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,...