686 search results - page 9 / 138 » Behavior Protocols for Software Components |
DALT
2010
Springer
13 years 3 months ago
2010
Springer
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...