1833 search results - page 172 / 367 » Mechanized Verification with Sharing |
168
click to vote
MHCI
2007
Springer
16 years 18 days 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...
177
click to vote
ISCC
2005
IEEE
16 years 2 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...
163
click to vote
TRIDENTCOM
2005
IEEE
16 years 1 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...
155
click to vote
FC
2005
Springer
16 years 8 hour 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...
146
click to vote
GECCO
2004
Springer
15 years 12 months 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...