49 search results - page 3 / 10 » Model checking service compositions under resource constrain... |
112
click to vote
TES
2001
Springer
15 years 2 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
LREC
2010
14 years 11 months ago
2010
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...
KBSE
2000
IEEE
15 years 1 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...