Sciweavers

57 search results - page 7 / 12
» Using Controller-Synthesis Techniques to Build Property-Enfo...
Sort
View
USS
2010
14 years 7 months ago
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidia...
83
Voted
USENIX
2001
14 years 11 months ago
Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems
Stackable file systems can provide extensible file system functionality with minimal performance overhead and development cost. However, previous approaches provide only limited f...
Erez Zadok, Johan M. Andersen, Ion Badulescu, Jaso...
82
Voted
ISCC
2000
IEEE
131views Communications» more  ISCC 2000»
15 years 1 months ago
An Empirical Study of Today's Internet Traffic for Differentiated Services IP QoS
The IETF is currently focused on Differentiated Services (Diffserv) as the architecture to provide Quality of Service in IP networks (IP-QoS). The Diffserv architecture consists o...
Fulu Li, Nabil Seddigh, Biswajit Nandy, Diego Matu...
SIGGRAPH
1996
ACM
15 years 1 months ago
Improv: A System for Scripting Interactive Actors in Virtual Worlds
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
Ken Perlin, Athomas Goldberg
80
Voted
DSN
2004
IEEE
15 years 1 months ago
Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
Nicholas J. Wang, Justin Quek, Todd M. Rafacz, San...