Sciweavers

2935 search results - page 117 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
AMC
2007
92views more  AMC 2007»
15 years 4 months ago
An integrated framework for continuous assessment and improvement of manufacturing systems
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...
Ali Azadeh, S. F. Ghaderi, Y. Partovi Miran, V. Eb...
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
15 years 2 months ago
GenoM3: Building middleware-independent robotic components
The topic of reusable software in robotics is now largely addressed. Components based architectures, where components are independent units that can be reused accross applications,...
Anthony Mallet, Cédric Pasteur, Matthieu He...
113
Voted
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Priority assignment optimization for minimization of current surge in high performance power efficient clock-gated microprocesso
Abstract - We propose an integrated archltectural/physicdplanning approach named priority assignment optimization to mioimize the current surge in high performance power eifkient c...
Yiran Chen, Kaushik Roy, Cheng-Kok Koh
ICDCS
2000
IEEE
15 years 9 months ago
Secure Group Communication in Asynchronous Networks with Failures: Integration and Experiments
The increasing popularity and diversity of collaborative applications prompts a need for highly secure and reliable communication platforms for dynamic peer groups. Security mecha...
Jonathan Robert Stanton, Yair Amir, Damian Hasse, ...
134
Voted
ASWEC
2005
IEEE
15 years 10 months ago
Deriving Systems Level Security Properties of Component Based Composite Systems
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
Khaled M. Khan, Jun Han