Sciweavers

1127 search results - page 131 / 226
» A Dynamical Systems Approach to Behavior-Based Formation Con...
Sort
View
123
Voted
ICRA
2002
IEEE
148views Robotics» more  ICRA 2002»
15 years 8 months ago
Real-Time ZMP Compensation Method using Null Motion for Mobile Manipulators
This paper presents a method to deal the dynamic stability for a mobile manipulator. Although the system has static stability, manipulation on the moving base or mobile locomotion...
Jinhyun Kim, Wan Kyun Chung, Youngil Youm, Beom He...
130
Voted
CSFW
2005
IEEE
15 years 9 months ago
Analysis of Typed Analyses of Authentication Protocols
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
110
Voted
WORDS
2003
IEEE
15 years 9 months ago
Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
E. Douglas Jensen
109
Voted
SEMWEB
2005
Springer
15 years 9 months ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...
141
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
A non-intrusive component-based approach for deploying unanticipated self-management behaviour
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
Sandro Santos Andrade, Raimundo José de Ara...