2293 search results - page 70 / 459 » Temporal Logic in Information Systems |
ADVIS
2004
Springer
15 years 1 months ago
2004
Springer
Research in temporal database management has suggested that the Entity-Relationship (E-R) model lacks appropriate constructs for representing the dynamic nature of the real world....
FLAIRS
2008
15 years 5 days ago
2008
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...
CAISE
2000
Springer
15 years 1 months ago
2000
Springer
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
ISMVL
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...