1833 search results - page 172 / 367 » Mechanized Verification with Sharing |
187
Voted
MHCI
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents how ad-hoc co-located collaborations can be supported with an arbitrary number of users that only have acces to small-size mobile displays. Our approach is bas...
195
click to vote
ISCC
2005
IEEE
16 years 19 days ago
2005
IEEE
A shared communication medium is characterized by multiple entities that use this medium by reading and writing from and to it. Write operations on the shared communication medium...
182
Voted
TRIDENTCOM
2005
IEEE
16 years 18 days ago
2005
IEEE
A global Internet overlay testbed is being deployed to support the distributed, shared use of resources for network research. The Global X-Bone (GX-Bone) augments the X-Bone softw...
172
Voted
FC
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We propose a scheme for privacy-preserving escrow of financial transactions. The objective of the scheme is to preserve privacy and anonymity of the individual user enga...
156
click to vote
GECCO
2004
Springer
16 years 13 days ago
2004
Springer
In recent literature, the niche enabling effects of crowding and the sharing algorithms have been systematically investigated in the context of Genetic Algorithms and are now estab...