Sciweavers

2343 search results - page 191 / 469
» MedModel - Healthcare Simulation Software
Sort
View
ICARCV
2008
IEEE
168views Robotics» more  ICARCV 2008»
15 years 10 months ago
Force/moment sensing during sliding motion using a micro sensor embedded in a soft fingertip
—We have investigated the deformation of a soft fingertip when it slides. This process was first simulated using ANSYS software with non-linear Finite Element Analysis (FEA). B...
Van Anh Ho, Dzung Viet Dao, Susumu Sugiyama, Shini...
IOLTS
2008
IEEE
116views Hardware» more  IOLTS 2008»
15 years 10 months ago
SystemC-Based Minimum Intrusive Fault Injection Technique with Improved Fault Representation
In this paper, we propose a new SystemC-based fault injection technique that has improved fault representation in visible and on-the-fly data and signal registers. The technique ...
Rishad A. Shafik, Paul M. Rosinger, Bashir M. Al-H...
QEST
2007
IEEE
15 years 10 months ago
Cluster Grid based Response-time analysis module for the PIPE Tool
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
Harini Kulatunga, Ashok Argent-Katwala, William J....
126
Voted
FSEN
2007
Springer
15 years 10 months ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
121
Voted
SEW
2006
IEEE
15 years 9 months ago
Qualitative Modeling for Requirements Engineering
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
Tim Menzies, Julian Richardson