1404 search results - page 18 / 281 » Increasing Concurrency in Databases Using Program Analysis |
117
Voted
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
83
Voted
DEXA
2000
Springer
15 years 4 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
137
click to vote
CL
1999
Springer
15 years 4 hour ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we study the impact of an incremental level of skill in the forgeries against signature verification systems. Experiments are carried out using both off-line syste...
118
click to vote
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...