1206 search results - page 171 / 242 » Concurrent Abstract Predicates |
98
Voted
CRYPTO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
105
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
82
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In previous work, we have shown how an evolutionary algorithm with a clustered population can be used to concurrently discover multiple regulatory motifs present within...
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
92
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...