686 search results - page 29 / 138 » Behavior Protocols for Software Components |
CADE
2007
Springer
14 years 9 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
WETICE
2000
IEEE
14 years 1 months ago
2000
IEEE
Protocols represent the allowed interactions among communicating components. Protocols are essential in electronic commerce to constrain the behaviors of autonomous entities. Trad...