3573 search results - page 595 / 715 » Reasoning about Codata |
148
click to vote
IFM
2009
Springer
15 years 21 days ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
115
click to vote
IJIS
2010
15 years 8 days ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
128
click to vote
IEPOL
2010
15 years 1 months ago
2010
The ongoing debate about possible implementation of regulatory rules requiring “network neutrality” for wireless telecommunications services is inherently about whether to imp...
108
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
120
click to vote
SEMWEB
2010
Springer
15 years 26 days ago
2010
Springer
The ability to answer temporal-oriented questions based on clinical narratives is essential to clinical research. The temporal dimension in medical data analysis enables clinical r...