2394 search results - page 310 / 479 » Implementing Mobile Haskell |
MATA
2001
Springer
14 years 2 months ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
NDSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Anonymity of ballots in electronic voting schemes usually relies on the existence of some kind of anonymous channel between voters and ballot collecting authorities. Currently, th...
CODES
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
USENIX
2007
14 years 21 days ago
2007
—People increasingly put more than one OSes into their computers and devices like mobile phones. Multi-boot and virtualization are two common technologies for this purpose. In th...
AUTONOMICS
2008
ACM
14 years 11 days ago
2008
ACM
In this paper we describe R-P2P, a novel system meant to support the search and retrieval of data in a given area. RP2P couples opportunistic wireless communications between mobil...