3483 search results - page 138 / 697 » Forward |
117
Voted
IMC
2005
ACM
15 years 9 months ago
2005
ACM
If a host can send packets larger than an Internet path can forward, it relies on the timely delivery of Internet Control Message Protocol (ICMP) messages advising that the packet...
122
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
113
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
139
Voted
WPES
2004
ACM
15 years 9 months ago
2004
ACM
Quite often on the Internet, cryptography is used to protect private, personal communications. However, most commonly, systems such as PGP are used, which use long-lived encryptio...
126
Voted
ACNS
2004
Springer
15 years 9 months ago
2004
Springer
Cryptographic protocol design in a two-party setting has often ignored the possibility of simultaneous message transmission by each of the two parties (i.e., using a duplex channe...