1981 search results - page 230 / 397 » Model-Checking Hierarchical Structures |
ACISP
2005
Springer
14 years 3 months ago
2005
Springer
We present a provably secure tree based authenticated group key agreement protocol in dynamic scenario. Bilinear pairing and multi-signature are at the heart of our protocol. We p...
CAEPIA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper presents some enhancements in the temporal reasoning of a Hierarchical Task Network (HTN) planner, named SIADEX, that, up to authors knowledge, no other HTN pl...
MIRRORBOT
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present our bio-mimetic artificial arm and the simulation results on its low level control system. In accordance with the general view of the Biorobotics field w...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Evolutionary algorithms are a promising approach for the automated design of artificial neural networks, but they require a compact and efficient genetic encoding scheme to repres...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...