Sciweavers

1324 search results - page 165 / 265
» Process Coordination with Fetch-and-Increment
Sort
View
BPM
2004
Springer
114views Business» more  BPM 2004»
15 years 11 months ago
Modeling Medical E-services
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...
Rainer Anzböck, Schahram Dustdar
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 11 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
MATES
2004
Springer
15 years 11 months ago
C-IPS: Specifying Decision Interdependencies in Negotiations
Negotiation is an important mechanism of coordination in multiagent systems. Contrary to early conceptualizations of negotiating agents, we believe that decisions regarding the neg...
Kay Schröter, Diemo Urbig
MIDDLEWARE
2004
Springer
15 years 11 months ago
NeCoMan: middleware for safe distributed service deployment in programmable networks
Recent evolution in computer networks clearly demonstrates a trend towards complex and dynamic networks. To fully exploit the potential of such heterogeneous and rapidly evolving ...
Nico Janssens, Lieven Desmet, Sam Michiels, Pierre...
ROBOCUP
2004
Springer
85views Robotics» more  ROBOCUP 2004»
15 years 11 months ago
Optimizing Precision of Self-Localization in the Simulated Robotics Soccer
We show that all published visual data processing methods for the simulated robotic soccer so far were not utilizing all available information, because they were mainly based on he...
Vadim Kyrylov, David Brokenshire, Eddie Hou