Sciweavers

783 search results - page 91 / 157
» The Bio-PEPA Tool Suite
Sort
View
DATE
2007
IEEE
145views Hardware» more  DATE 2007»
14 years 2 months ago
Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508
This paper proposes an innovative methodology to perform and validate a Failure Mode and Effects Analysis (FMEA) at System-on-Chip (SoC) level. This is done in compliance with the...
Riccardo Mariani, Gabriele Boschi, Federico Colucc...
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
14 years 2 months ago
Supporting Knowledge Transfer through Decomposable Reasoning Artifacts
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
William Pike, Richard May, Alan Turner
IV
2006
IEEE
173views Visualization» more  IV 2006»
14 years 2 months ago
European Research Forum Panel Session Envisioning Research Challenges in Visual Analytics
Visual Analytics is the science of analytical reasoning supported by interactive visual interfaces. People use visual analytics tools and techniques to synthesize information; der...
Mikael Jern, Ebad Banissi, Gennady L. Andrienko, W...
ASPLOS
2006
ACM
14 years 2 months ago
HeapMD: identifying heap-based bugs using anomaly detection
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
Trishul M. Chilimbi, Vinod Ganapathy
HRI
2006
ACM
14 years 2 months ago
Effects of adaptive robot dialogue on information exchange and social relations
Human-robot interaction could be improved by designing robots that engage in adaptive dialogue with users. An adaptive robot could estimate the information needs of individuals an...
Cristen Torrey, Aaron Powers, Matthew Marge, Susan...