5766 search results - page 830 / 1154 » Reverse Engineering of Data |
177
click to vote
MSR
2005
ACM
16 years 6 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
180
click to vote
TLDI
2005
ACM
16 years 5 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
183
click to vote
UIST
2005
ACM
16 years 5 days ago
2005
ACM
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
173
click to vote
ARCS
2005
Springer
16 years 5 days ago
2005
Springer
Bio-inspired communication methodologies promise to enable more scalable self-organizing network infrastructures. Especially in the area of mobile ad hoc sensor networks, such sol...
193
click to vote
CBSE
2005
Springer
16 years 5 days ago
2005
Springer
This report presents data regarding simulation setup, the genetic algorithms setup and a short description to the use of the genetic algorithms. This report is written in the conte...