866 search results - page 66 / 174 » A Formal Investigation of |
CAV
2006
Springer
14 years 1 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
SIGMOD
1995
ACM
14 years 1 months ago
1995
ACM
: ANSI SQL-92 [MS, ANSI] defines Isolation Levels in terms of phenomena: Dirty Reads, Non-Repeatable Reads, and Phantoms. This paper shows that these phenomena and the ANSI SQL def...
SLOGICA
2002
13 years 9 months ago
2002
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...
SSD
1997
Springer
14 years 2 months ago
1997
Springer
Abstract: In many geographical applications there is a need to model spatial phenomena not simply by sharp objects but rather through indeterminate or vague concepts. To support su...
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...