2730 search results - page 180 / 546 » An Abstract Model for Process Mediation |
277
click to vote
VLDB
2006
ACM
16 years 5 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
150
click to vote
ASE
2008
15 years 5 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
161
click to vote
INFSOF
2008
15 years 5 months ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
152
click to vote
REX
1993
15 years 9 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
178
click to vote
APIN
2000
15 years 5 months ago
2000
Abstract. This paper addresses several issues related to the use of conceptual modeling to support serviceoriented, advanced information systems. It shows how conceptual modeling o...