Sciweavers

3429 search results - page 254 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ER
2000
Springer
134views Database» more  ER 2000»
15 years 8 months ago
Data Warehouse Scenarios for Model Management
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
Philip A. Bernstein, Erhard Rahm
OSDI
2000
ACM
15 years 5 months ago
Design and Evaluation of a Continuous Consistency Model for Replicated Services
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
Haifeng Yu, Amin Vahdat
CAISE
2008
Springer
15 years 6 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 10 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 8 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...