798 search results - page 73 / 160 » Statecharts as Protocols for Objects |
SECPERU
2006
IEEE
15 years 5 months ago
2006
IEEE
The objective of this paper is to propose a cryptographic protocol which provides authenticity in the exchange of information between two entities without using any shared secret ...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
A key problem in multi-agent systems research is identifying appropriate techniques to facilitate effective cooperation between agents. In this paper, we investigate the efficacy o...
MPC
2004
Springer
15 years 5 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
ITCC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...
144
click to vote
ICNP
1998
IEEE
15 years 4 months ago
1998
IEEE
MSTDM is a variant of the Ethernet protocol that provides quality of service guarantees for voice. This protocol has been applied to LAN's and CATV networks. Cellular network...