1083 search results - page 69 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
119
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
130
click to vote
LOPSTR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
105
click to vote
TIME
2003
IEEE
15 years 7 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
121
Voted
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
101
click to vote
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...