4286 search results - page 41 / 858 » Formalizing Service Interactions |
HCI
2009
13 years 6 months ago
2009
XMLSEC
2003
ACM
14 years 1 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
ECOWS
2006
Springer
14 years 5 days ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...