686 search results - page 29 / 138 » Behavior Protocols for Software Components |
149
click to vote
CADE
2007
Springer
16 years 5 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...
163
click to vote
CCGRID
2006
IEEE
15 years 11 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 ...
109
click to vote
ICCS
2003
Springer
15 years 10 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...
144
click to vote
AGENTS
2001
Springer
15 years 9 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...
127
click to vote
WETICE
2000
IEEE
15 years 9 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...