2272 search results - page 323 / 455 » A Calculus for |
101
Voted
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
96
Voted
DSVIS
2003
Springer
15 years 6 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
136
click to vote
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
94
Voted
APSEC
2002
IEEE
15 years 5 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
84
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
We present the first complete problems for dynamic complexity classes including the classes Dyn-FO and Dyn-ThC ¢ , the dynamic classes corresponding to relational calculus and (...