4604 search results - page 250 / 921 » Concurrency in Synchronous Systems |
187
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
185
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
296
click to vote
CRYPTO
2004
Springer
16 years 2 days ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
158
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
189
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. With outsourcing emerging as a successful paradigm for delegating data and service management to third parties, the problem of guaranteeing proper privacy protection agai...