Sciweavers

5475 search results - page 194 / 1095
» Model Driven Security
Sort
View
144
Voted
MOMPES
2007
IEEE
15 years 10 months ago
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
Alexandre Bragança, Ricardo Jorge Machado
148
Voted
ICRA
2005
IEEE
120views Robotics» more  ICRA 2005»
15 years 9 months ago
A Method for Modeling and Control Complex Tendon Transmissions in Haptic Interfaces
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
Simone Marcheschi, Antonio Frisoli, Carlo Alberto ...
165
Voted
WACV
2005
IEEE
15 years 9 months ago
Combining View-Based and Model-Based Tracking of Articulated Human Movements
Many existing systems for human body tracking are based on dynamic model-based tracking that is driven by local image features. Alternatively, within a view-based approach, tracki...
Cristóbal Curio, Martin A. Giese
126
Voted
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 3 months ago
The craft of model making: PSPACE bounds for non-iterative modal logics
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
Lutz Schröder, Dirk Pattinson
127
Voted
EDOC
2004
IEEE
15 years 7 months ago
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems, notably mobile agents, are attracting increasing attention. T...
Nobukazu Yoshioka, Shinichi Honiden, Anthony Finke...