554 search results - page 35 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
113
click to vote
JLP
2011
14 years 8 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
121
click to vote
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
115
click to vote
CNL
2009
15 years 3 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
112
Voted
FMOODS
2006
15 years 3 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
101
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...