9730 search results - page 258 / 1946 » Relating models of backtracking |
159
click to vote
IC3
2009
15 years 2 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
249
Voted
ICDE
1998
IEEE
16 years 6 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
126
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
154
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
139
click to vote
DASFAA
2003
IEEE
15 years 10 months ago
2003
IEEE
Various models and approaches have been proposed for mapping XML data into relational tables recently. Most of those approaches produce relational schema for given XML data, based...