6 search results - page 1 / 2 » On Components with Explicit Protocols Satisfying a Notion of... |
COOPIS
2002
IEEE
13 years 9 months ago
2002
IEEE
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
SOCO
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
EUROPAR
2010
Springer
13 years 6 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...