9730 search results - page 375 / 1946 » Relating models of backtracking |
144
Voted
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
168
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
199
click to vote
ICISS
2005
Springer
16 years 8 days ago
2005
Springer
Since XML tends to become the main format to exchange data over the Internet, it is necessary to define a security model to control the access to the content of these documents. S...
171
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
178
click to vote
WEBI
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...