533 search results - page 107 / 107 » Protocol synthesis from timed and structured specifications |
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
This paper presents a framework for robustly recognizing physical team behaviors by exploiting spatio-temporal patterns. Agent team behaviors in athletic and military domains typi...