826 search results - page 12 / 166 » Resolving Concurrent Interactions |
79
Voted
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
92
Voted
APSEC
1999
IEEE
15 years 1 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
RIDE
1992
IEEE
15 years 1 months ago
1992
IEEE
CRYPTO
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
92
Voted
CDVE
2005
Springer
15 years 3 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...