2299 search results - page 69 / 460 » Logical Data Expiration |
135
Voted
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
ENTCS
2008
15 years 19 days ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
126
click to vote
IJAR
2007
15 years 15 days ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
128
click to vote
JMLR
2008
15 years 16 days ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...