4356 search results - page 683 / 872 » Communicating Transactions - (Extended Abstract) |
191
click to vote
QOSA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
181
click to vote
ROBOCUP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Recent successful SLAM methods employ hybrid map representations combining the strengths of topological maps and occupancy grids. Such representations often facilitate mu...
196
click to vote
SSD
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Mobile devices are increasingly being equipped with wireless peerto-peer (P2P) networking interfaces, rendering the sharing of data among mobile devices feasible and bene...
163
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
173
click to vote
TCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...