Sciweavers

669 search results - page 75 / 134
» Development and evaluation of a model of programming errors
Sort
View
ARCS
2004
Springer
15 years 3 months ago
Root Cause Analysis as a Guide to SRE Methods
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
Timm Grams
86
Voted
ICRA
1994
IEEE
167views Robotics» more  ICRA 1994»
15 years 1 months ago
Modeling of Deformable Thin Parts for Their Manipulation
A systematic approach to modeling of deformable soft parts for their manipulation is presented. Various deformable parts such as cords, leather products, and sheet metals are mani...
Shinichi Hirai, Hidefumi Wakamatsu, Kazuaki Iwata
77
Voted
HICSS
2007
IEEE
212views Biometrics» more  HICSS 2007»
15 years 4 months ago
Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
Jürgen Falb, Roman Popp, Thomas Röck, He...
95
Voted
ICRA
1995
IEEE
167views Robotics» more  ICRA 1995»
15 years 1 months ago
Modeling of Linear Objects Considering Bend, Twist, and Extensional Deformations
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...
Hidefumi Wakamatsu, Shinichi Hirai, Kazuaki Iwata
69
Voted
CAV
2009
Springer
150views Hardware» more  CAV 2009»
15 years 10 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur