10870 search results - page 1801 / 2174 » Model Checking Programs |
176
click to vote
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
186
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
207
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
248
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
213
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...