7434 search results - page 321 / 1487 » Still |
179
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
173
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...
165
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
We present Drac, a system designed to provide anonymity and unobservability for real-time instant messaging and voice-over-IP communications against a global passive adversary. The...
187
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Protocol extensions for a mobile Internet have been developed within the IETF, but a standard design of mobile multicast is still awaited. Multicast routing, when adapting its dis...
134
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Mining software repositories for bug detection requires accurate techniques of identifying bug-fix revisions. There have been many researches to find exact bug-fix revisions. Howe...