Sciweavers

14056 search results - page 130 / 2812
» Consistency in Model Integration
Sort
View
KBSE
2000
IEEE
15 years 9 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
HT
1997
ACM
15 years 9 months ago
An Architectural Model for Application Integration in Open Hypermedia Environments
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...
E. James Whitehead Jr.
ADBIS
2007
Springer
74views Database» more  ADBIS 2007»
15 years 11 months ago
Preventing Orphan Requests by Integrating Replication and Transactions
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
Heine Kolltveit, Svein-Olaf Hvasshovd
WWW
2001
ACM
16 years 5 months ago
Conceptual linking: ontology-based open hypermedia
This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of ? an ontological reasoning service which is used to...
Les Carr, Wendy Hall, Sean Bechhofer, Carole A. Go...
DEXA
2005
Springer
138views Database» more  DEXA 2005»
15 years 10 months ago
Evolving XML Schemas and Documents Using UML Class Diagrams
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...
Eladio Domínguez, Jorge Lloret, Angel Luis ...