2060 search results - page 75 / 412 » The Composition of Event-B Models |
154
click to vote
SOCA
2008
IEEE
15 years 4 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
161
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...
134
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
162
click to vote
CSCWD
2007
Springer
15 years 10 months ago
2007
Springer
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
148
Voted
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...