7452 search results - page 1109 / 1491 » A Semantics for Multiprocessor Systems |
222
click to vote
APCCM
2008
15 years 8 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
284
click to vote
IIWAS
2008
15 years 8 months ago
2008
The growing trends towards integrating legacy applications with new systems in a network-centric environment has introduced yet another level of complexity beyond those we witness...
160
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
174
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...