2227 search results - page 138 / 446 » Reversibility and Models for Concurrency |
154
click to vote
CASCON
1993
15 years 7 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
209
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
141
click to vote
INFSOF
2002
15 years 5 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
144
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
166
click to vote
CRYPTO
2006
Springer
15 years 9 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...