Sciweavers

570 search results - page 91 / 114
» A Foundational View on Integration Problems
Sort
View
HYBRID
2010
Springer
15 years 8 months ago
On the connections between PCTL and dynamic programming
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
Federico Ramponi, Debasish Chatterjee, Sean Summer...
BPM
2007
Springer
201views Business» more  BPM 2007»
15 years 8 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
VISUALIZATION
1998
IEEE
15 years 6 months ago
Real-time techniques for 3D flow visualization
Visualization of three dimensional flow has to overcome a lot of problems to be effective. Among them are occlusion of distant details, lack of directional and depth hints and clu...
Anton L. Fuhrmann, Eduard Gröller
SDB
1995
95views Database» more  SDB 1995»
15 years 5 months ago
Semantics of Database Transformations
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
Peter Buneman, Susan B. Davidson, Anthony Kosky
ICOODB
2010
129views Database» more  ICOODB 2010»
15 years 13 days ago
Solving ORM by MAGIC: MApping GeneratIon and Composition
Object-relational mapping (ORM) technologies have been proposed as a solution for the impedance mismatch problem between object-oriented applications and relational databases. Exis...
David Kensche, Christoph Quix, Xiang Li 0002, Sand...