2082 search results - page 229 / 417 » Change Paths in Reasoning! |
216
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Modeling TCP is fundamental for understanding Internet behavior. The reason is that TCP is responsible for carrying a huge quota of the Internet traffic. During last decade many a...
170
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
209
click to vote
IFIP
2004
Springer
16 years 15 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
223
click to vote
SIGMETRICS
2003
ACM
16 years 11 days ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...
242
click to vote
WMASH
2003
ACM
16 years 11 days ago
2003
ACM
In the near future, wide variety of wireless networks will be merged into the Internet and allow users to continue their application with higher degree of mobility. In such enviro...