4356 search results - page 380 / 872 » Communicating Transactions - (Extended Abstract) |
163
click to vote
ISCAS
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract—Low-power, single-chip integrated systems are prevailing in remote applications due to the increasing power and delay cost of inter-chip communication compared to on-chi...
158
click to vote
CANS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Two methods to implement privacy in network communication, anonymity and DCSC (data confidentiality and secure computation) are analysed and compared in regard to privac...
170
click to vote
CC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
170
click to vote
COORDINATION
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
141
click to vote
EUC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...