Sciweavers

276 search results - page 31 / 56
» Simulation of modular building construction
Sort
View
FORTE
2003
13 years 9 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
AROBOTS
2006
94views more  AROBOTS 2006»
13 years 7 months ago
Multimode locomotion via SuperBot reconfigurable robots
Abstract One of the most challenging issues for a selfsustaining robotic system is how to use its limited resources to accomplish a large variety of tasks. The scope of such tasks ...
Wei-Min Shen, Maks Krivokon, Harris Chiu, Jacob Ev...
JSA
2002
130views more  JSA 2002»
13 years 7 months ago
Reconfigurable models of finite state machines and their implementation in FPGAs
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
Valery Sklyarov
RAS
2007
150views more  RAS 2007»
13 years 7 months ago
Evolution of fuzzy behaviors for multi-robotic system
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
Prahlad Vadakkepat, Xiao Peng, Boon Kiat Quek, Ton...
CMS
2006
175views Communications» more  CMS 2006»
13 years 9 months ago
Attack Graph Based Evaluation of Network Security
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
Igor V. Kotenko, Mikhail Stepashkin