Sciweavers

1900 search results - page 228 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
TSE
2011
214views more  TSE 2011»
14 years 5 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
JUCS
2007
95views more  JUCS 2007»
14 years 10 months ago
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
Iwan Tabakow
ICRA
1998
IEEE
101views Robotics» more  ICRA 1998»
15 years 2 months ago
An Approach to Reduction of Hysteresis in Smart Materials
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
Juan Manuel Cruz-Hernández, Vincent Hayward
ISBI
2009
IEEE
15 years 4 months ago
Instance-Based Generative Biological Shape Modeling
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
Tao Peng, Wei Wang, Gustavo K. Rohde, Robert F. Mu...
SMI
1999
IEEE
155views Image Analysis» more  SMI 1999»
15 years 2 months ago
Elastodynamic Shape Modeling in Virtual Medicine
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...
Arne Radetzky, Andreas Nürnberger, Michael Te...