1728 search results - page 194 / 346 » Formal Modeling of Process Migration |
131
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
Moving objects databases (MOD) have been receiving increasing attention from the database community in recent years, mainly due to the wide variety of applications that technology...
101
Voted
SOFSEM
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
130
Voted
CSCWD
2001
Springer
15 years 5 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
SOSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
90
Voted
ADBIS
2007
Springer
15 years 7 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...