2702 search results - page 313 / 541 » Message from the Editor |
137
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
116
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...
142
click to vote
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
We present the first aggregate signature, the first multisignature, and the first verifiably encrypted signature provably secure without random oracles. Our constructions derive f...
119
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (messag...
148
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...