Sciweavers

3365 search results - page 115 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
DGCI
2006
Springer
15 years 10 months ago
A 3D Live-Wire Segmentation Method for Volume Images Using Haptic Interaction
Abstract. Designing interactive segmentation methods for digital volume images is difficult, mainly because efficient 3D interaction is much harder to achieve than interaction with...
Filip Malmberg, Erik Vidholm, Ingela Nyström
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICMCS
2000
IEEE
158views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Visualization Methods for Personal Photo Collections: Browsing and Searching in the PhotoFinder
Software tools for personal photo collection management are proliferating, but they usually have limited searching and browsing functions. We implemented the PhotoFinder prototype...
Hyunmo Kang, Ben Shneiderman
173
Voted
SP
2008
IEEE
134views Security Privacy» more  SP 2008»
16 years 19 days ago
Lares: An Architecture for Secure Active Monitoring Using Virtualization
Host-based security tools such as anti-virus and intrusion detection systems are not adequately protected on today’s computers. Malware is often designed to immediately disable ...
Bryan D. Payne, Martim Carbone, Monirul I. Sharif,...
WSC
2001
15 years 7 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman