1055 search results - page 81 / 211 » order 2002 |
337
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
144
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
IVPrototype is an Information Visualization Prototype for the visualization of both geometrical and non-geometrical data. Our goal is to provide a generic system that automaticall...
156
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a virtual reality widget library and two medical applications. These applications, built on the widget library, make use of collaborative interaction techniques. These...
203
click to vote
NDSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Pushback is a mechanism for defending against distributed denial-of-service (DDoS) attacks. DDoS attacks are treated as a congestion-control problem, but because most such congest...
154
click to vote
RIDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...