2227 search results - page 254 / 446 » Reversibility and Models for Concurrency |
115
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing per...
107
click to vote
EVOW
2008
Springer
15 years 1 months ago
2008
Springer
We propose an alternative algorithm for solving continuous review inventory model problems for deteriorating items over a ļ¬nite horizon. Our interest focuses on the case of timeā...
104
Voted
CORR
2008
Springer
15 years 21 days ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
99
Voted
CJ
2007
15 years 18 days ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
CORR
2002
Springer
15 years 13 days ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...