3750 search results - page 502 / 750 » Timed Automata Patterns |
125
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
131
click to vote
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
Structured Peer-to-Peer systems are designed for a highly scalable, self organizing, and efficient lookup for data. The key space of the so-called Distributed Hash Tables (DHTs) ...
110
click to vote
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
Systems are attempting to detect botnets by examining traffic content for IRC commands or by setting up honeynets. Our approach for detecting botnets is to examine flow characteri...
119
Voted
TABLETOP
2006
IEEE
15 years 9 months ago
2006
IEEE
In this work, we create social visualizations of aural group conversation. These visualizations are tailored to a table setting. Examples of such settings are a family sitting abo...
123
Voted
IWRIDL
2006
ACM
15 years 9 months ago
2006
ACM
We examine some research issues in pattern recognition and image processing that have been spurred by the needs of digital libraries. Broader – and not only linguistic – conte...