14244 search results - page 2420 / 2849 » Modeling Program Predictability |
144
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
137
click to vote
HPCC
2007
Springer
15 years 10 months 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-...
151
click to vote
ICALP
2007
Springer
15 years 10 months 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...
149
click to vote
ICALP
2007
Springer
15 years 10 months 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...
192
click to vote
IFIP
2007
Springer
15 years 10 months 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...