Sciweavers

868 search results - page 102 / 174
» A new approach for factorizing FSM's
Sort
View
W4A
2006
ACM
15 years 4 months ago
Opening up access to online documents using essentiality tracks
This paper discusses extensions to the previously developed “essentiality and proficiency” approach to increasing usability and accessibility of websites. The existing approa...
Matthew T. Atkinson, Jatinder Dhiensa, Colin H. C....
NDSS
2005
IEEE
15 years 3 months ago
MOVE: An End-to-End Solution to Network Denial of Service
We present a solution to the denial of service (DoS) problem that does not rely on network infrastructure support, conforming to the end-to-end (e2e) design principle. Our approac...
Angelos Stavrou, Angelos D. Keromytis, Jason Nieh,...
69
Voted
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 3 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
88
Voted
ADC
2004
Springer
156views Database» more  ADC 2004»
15 years 3 months ago
Multiresolution Amalgamation: Dynamic Spatial Data Cube Generation
Aggregating spatial objects is a necessary step in generating spatial data cubes to support roll-up/drill-down operations. Current approaches face performance bottleneck issues wh...
Sham Prasher, Xiaofang Zhou
PAKDD
2004
ACM
199views Data Mining» more  PAKDD 2004»
15 years 3 months ago
Temporal Sequence Associations for Rare Events
In many real world applications, systematic analysis of rare events, such as credit card frauds and adverse drug reactions, is very important. Their low occurrence rate in large da...
Jie Chen, Hongxing He, Graham J. Williams, Huidong...