Sciweavers

15635 search results - page 61 / 3127
» A Designing Model of XML-Dataweb
Sort
View
SOFSEM
2007
Springer
14 years 4 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
ICRA
2007
IEEE
139views Robotics» more  ICRA 2007»
14 years 4 months ago
An Optimum Design of Robotic Hand for Handling a Visco-elastic Object Based on Maxwell Model
— This paper discusses an optimum design approach for robotic hands by considering the characteristics of viscoelasticity of food. “Norimaki-sushi” is taken as an example for...
Naoki Sakamoto, Mitsuru Higashimori, Toshio Tsuji,...
ISCAS
2007
IEEE
165views Hardware» more  ISCAS 2007»
14 years 4 months ago
A 4-Bits Trimmed CMOS Bandgap Reference with an Improved Matching Modeling Design
—Component tolerances and mismatches due to process variations severely degrade the performance of bandgap reference (BGR) circuits. In this paper, we describe the design of a BG...
Juan Pablo Martinez Brito, Sergio Bampi, Hamilton ...
ICECCS
2005
IEEE
136views Hardware» more  ICECCS 2005»
14 years 3 months ago
Model-Based Design and Analysis of Permission-Based Security
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
IFIP
1999
Springer
14 years 2 months ago
Design Error Diagnosis in Digital Circuits without Error Model
We describe a new method for design error diagnosis in digital circuits, that doesn’t use any error model. A diagnostic specific pre-analysis of the circuit extracts a subcircui...
Raimund Ubar, Dominique Borrione