1777 search results - page 288 / 356 » Programming Cryptographic Protocols |
AIS
2004
Springer
14 years 2 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Wireless network research still lacks methods to integratively evaluate the performance that can be expected from application layer protocols. The user behavior is predominantly a...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
AUSAI
2003
Springer
14 years 1 months ago
2003
Springer
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...