10072 search results - page 69 / 2015 » Composition of Model Programs |
135
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
121
click to vote
TVLSI
2008
15 years 4 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...
146
click to vote
ICIW
2007
IEEE
15 years 11 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...
121
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...
138
click to vote
TES
2005
Springer
15 years 10 months ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...