2139 search results - page 41 / 428 » Modeling Aspect-Oriented Compositions |
131
Voted
OTM
2005
Springer
15 years 7 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...
123
click to vote
WECWIS
2005
IEEE
15 years 7 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
15 years 6 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...
TVLSI
2008
15 years 1 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
119
click to vote
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...