Sciweavers

1816 search results - page 193 / 364
» Case study in modeling and simulation validation methodology
Sort
View
DATE
2005
IEEE
152views Hardware» more  DATE 2005»
16 years 2 days ago
Design of Fault-Tolerant and Dynamically-Reconfigurable Microfluidic Biochips
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
Fei Su, Krishnendu Chakrabarty
IWIA
2006
IEEE
16 years 14 days ago
Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
Ole Martin Dahl, Stephen D. Wolthusen
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
15 years 11 months ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...
ASPDAC
2004
ACM
78views Hardware» more  ASPDAC 2004»
15 years 12 months ago
On compliance test of on-chip bus for SOC
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yan...
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
16 years 25 days ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...