Sciweavers

3104 search results - page 134 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
IROS
2007
IEEE
193views Robotics» more  IROS 2007»
15 years 10 months ago
Temporal segmentation and recognition of body motion data based on inter-limb correlation analysis
— A method for segmentation and recognition of human body behavior data is proposed. Recognition of human body movements is getting larger interests in robotic research field, s...
Toru Nakata
ISOLA
2010
Springer
15 years 1 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
ARC
2011
Springer
198views Hardware» more  ARC 2011»
14 years 7 months ago
NetStage/DPR: A Self-adaptable FPGA Platform for Application-Level Network Security
Increasing transmission speeds in high-performance networks pose significant challenges to protecting the systems and networking infrastructure. Reconfigurable devices have alrea...
Sascha Mühlbach, Andreas Koch
PDPTA
2000
15 years 5 months ago
On the application of accelerating simulation methods in network analysis
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...
José Incera, Gerardo Rubino, Nicolás...
RAS
2010
137views more  RAS 2010»
15 years 2 months ago
Development of complex robotic systems using the behavior-based control architecture iB2C
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
Martin Proetzsch, Tobias Luksch, Karsten Berns