Sciweavers

9105 search results - page 584 / 1821
» Design of the MUC-6 evaluation
Sort
View
SP
2006
IEEE
127views Security Privacy» more  SP 2006»
16 years 1 months ago
Siren: Catching Evasive Malware (Short Paper)
With the growing popularity of anomaly detection systems, which is due partly to the rise in zero-day attacks, a new class of threats have evolved where the attacker mimics legiti...
Kevin Borders, Xin Zhao, Atul Prakash
VLSID
2006
IEEE
71views VLSI» more  VLSID 2006»
16 years 1 months ago
Clockless Pipelining for Coarse Grain Datapaths
In this paper, we present two novel synchronization approaches to support data flow in clockless designs using single-rail encoding. Both approaches are based on self-resetting st...
Abdelhalim Alsharqawi, Abdel Ejnioui
ASPDAC
2006
ACM
113views Hardware» more  ASPDAC 2006»
16 years 1 months ago
Transition-based coverage estimation for symbolic model checking
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...
CHI
2006
ACM
16 years 1 months ago
Negotiating presence-in-absence: contact, content and context
On the basis of a longitudinal field study of domestic communication, we report some essential constituents of the user experience of awareness of others who are distant in space ...
Steve Howard, Jesper Kjeldskov, Mikael B. Skov, Ka...
OZCHI
2006
ACM
16 years 1 months ago
Using a scenario-planning tool to support an engaging online user experience
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
Jon M. Pearce, John Murphy, David Patman