1167 search results - page 107 / 234 » A Really Temporal Logic |
120
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
177
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
129
click to vote
WSFM
2007
Springer
15 years 10 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
124
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
124
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....