Sciweavers

4286 search results - page 93 / 858
» Formalizing Service Interactions
Sort
View
APSEC
2003
IEEE
15 years 11 months ago
Ensuring Compatible Interactions within Component-based Software Systems
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
Jun Han, Ksze Kae Ker
ICSOC
2010
Springer
15 years 4 months ago
A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Ma...
LCN
2005
IEEE
15 years 11 months ago
Functional Principles of Registry-based Service Discovery
— As Service Discovery Protocols (SDP) are becoming increasingly important for ubiquitous computing, they must behave according to predefined principles. We present the function...
Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 11 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
CIA
2003
Springer
15 years 11 months ago
A Framework for the Social Description of Resources in Open Environments
Abstract. The description of public resources such as web site contents, web services or data files in open peer-to-peer networks using some formal framework like RDF usually re...
Matthias Nickles, Gerhard Weiß