4286 search results - page 201 / 858 » Formalizing Service Interactions |
147
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
183
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
159
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
153
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...
205
click to vote
NAR
2011
14 years 9 months ago
2011
KUPS (The University of Kansas Proteomics Service) provides high-quality protein–protein interaction (PPI) data for researchers developing and evaluating computational models fo...