Sciweavers

2560 search results - page 44 / 512
» Analysis Tool for Honeypot Systems
Sort
View
FLAIRS
2000
13 years 8 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
IS4TH
2003
Springer
14 years 19 days ago
Tracking the Movement of Surgical Tools in a Virtual Temporal Bone Dissection Simulator
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
ICECCS
2009
IEEE
166views Hardware» more  ICECCS 2009»
13 years 5 months ago
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richar...
ACSD
2005
IEEE
121views Hardware» more  ACSD 2005»
14 years 1 months ago
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
CHI
2009
ACM
14 years 8 months ago
Letting tools talk: interactive technology for firefighting
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...
Sebastian Denef, Leonardo Ramirez, Tobias Dyrks