774 search results - page 84 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
120
click to vote
SPRINGSIM
2008
15 years 5 months ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
121
click to vote
ASAP
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
135
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
A new public-key model for resettable zero-knowledge (rZK) protocols, which is an extension and generalization of the upper-bounded public-key (UPK) model introduced by Micali and ...
153
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Evolutionary Geometric Near-neighbor Access Tree (EGNAT) is a recently proposed data structure that is suitable for indexing large collections of complex objects. It ...
129
click to vote
ICSM
1995
IEEE
15 years 7 months ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...