9821 search results - page 128 / 1965 » A Framework for the Development of Protocols |
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
149
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
The proliferation of radiofrequency identification systems in application domains such as supply chain management requires an IT infrastructure that provides RFID device and data ...
151
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
We combined two existing methods for rapid tutor development: “plug-in tutor agents” [6] and an authoring tool suite (CTAT) that supports the creation of tutors “by demonstra...
155
click to vote
CCR
2000
15 years 4 months ago
2000
In this paper we investigate which characteristics reliable multicast services should have in order to be appropriate for use by distributed interactive media applications such as...
123
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...