18090 search results - page 3300 / 3618 » Computing by Only Observing |
235
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
173
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
Genetic Algorithms (GAs) are very commonly used as function optimizers, basically due to their search capability. A number of different serial and parallel versions of GA exist. ...
173
click to vote
IPTPS
2005
Springer
16 years 4 days ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
185
click to vote
NOSSDAV
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we propose a fully distributed peer-to-peer (P2P) infrastructure supporting Networked Virtual Environment (NVE) applications, such as massively multiplayer online ga...
154
click to vote
RAID
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...