3575 search results - page 313 / 715 » Modeling Concurrency with Geometry |
176
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
181
click to vote
CIKM
2008
Springer
15 years 8 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...
191
click to vote
EVOW
2008
Springer
15 years 7 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ā...
170
click to vote
CORR
2008
Springer
15 years 6 months 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...
163
click to vote
CJ
2007
15 years 6 months 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...