7918 search results - page 35 / 1584 » Model Composition Directives |
FORTE
2008
13 years 9 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...
OTM
2005
Springer
14 years 1 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...
ISICT
2003
13 years 9 months ago
2003
As computers become ubiquitous in our every day lives, providing a means for true user empowerment will become crucial. Techniques which allow dynamic reuse and composition of exi...
WECWIS
2005
IEEE
14 years 1 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...
ICALP
2010
Springer
14 years 10 days 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...