774 search results - page 118 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
104
click to vote
GRID
2006
Springer
14 years 9 months ago
2006
Springer
Discovery of large amounts of idle CPUs in fully distributed and shared Grid systems is needed in relevant applications and is still a challenging problem. In this paper we present...
FOCS
2010
IEEE
14 years 7 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
BMCBI
2006
14 years 9 months ago
2006
Background: Various statistical scores have been proposed for evaluating the significance of genes that may exhibit differential expression between two or more controlled conditio...
CACM
1998
14 years 9 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...