499 search results - page 14 / 100 » Parts Orienting by Push-Aligning |
WISA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A proxy signature scheme allows an entity to delegate its signing power to another entity. Since the notion of proxy signatures was first introduced, many proxy signatur...
AOSE
2004
Springer
14 years 3 months ago
2004
Springer
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
IFIP
2004
Springer
14 years 3 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...
BPM
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
FM
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...