2558 search results - page 55 / 512 » Model Composition Contracts |
117
click to vote
FORTE
2008
15 years 5 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
155
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
145
Voted
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
113
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
141
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...