4356 search results - page 232 / 872 » Communicating Transactions - (Extended Abstract) |
180
click to vote
IFIP
2004
Springer
16 years 6 hour ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
185
click to vote
LMO
1996
15 years 8 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
203
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Modern frequency-agile radios are capable of dynamically changing the spectrum width and central frequency of its channels. Existing spectrum sharing algorithms often fa...
141
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Peer-to-peer (P2P) systems in general, and BitTorrent (BT) specifically, have been of significant interest to researchers rnet users alike. Existing models of BT abstract away...
257
click to vote
QUANTUMCOMM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we first critically analyze two existing latticebased cryptosystems, namely GGH and Micciancio, and identify their drawbacks. Then, we introduce a method ...