2060 search results - page 254 / 412 » The Composition of Event-B Models |
218
Voted
ECOWS
2004
Springer
16 years 13 days ago
2004
Springer
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
155
Voted
ESAW
2004
Springer
16 years 13 days ago
2004
Springer
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
191
Voted
SAINT
2003
IEEE
16 years 9 days ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
162
Voted
COMPSAC
2002
IEEE
16 years 3 hour ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
176
click to vote
ICDCSW
2002
IEEE
15 years 12 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...