Sciweavers

4286 search results - page 181 / 858
» Formalizing Service Interactions
Sort
View
ICC
2007
IEEE
162views Communications» more  ICC 2007»
16 years 21 days ago
Ontology-Based Reasoning for Supporting Context-Aware Services on Autonomic Networks
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
Jaime Martín Serrano, Joan Serrat, John Str...
ICSEA
2007
IEEE
16 years 20 days ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...
WISE
2006
Springer
16 years 11 days ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
WWW
2004
ACM
16 years 7 months ago
Compositional knowledge management for medical services on semantic web
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
Yugyung Lee, Chintan Patel, Soon Ae Chun, James Ge...
WISE
2008
Springer
16 years 22 days ago
A Semantic Overlay for Service Discovery across Web Information Systems
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....
Devis Bianchini, Valeria De Antonellis, Michele Me...