458 search results - page 46 / 92 » Designing and executing protocols using the event calculus |
102
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, the effect of switch design on the application performance of cache-coherent non-uniform memory access (CC-NUMA) multiprocessors is studied in detail. Wormhole rout...
108
click to vote
ASIACRYPT
2001
Springer
15 years 3 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
TON
1998
14 years 11 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
105
click to vote
B
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...