4305 search results - page 245 / 861 » Analysing Protocol Implementations |
EVOTING
2004
13 years 11 months ago
2004
: In this paper we analyse the experience gained in the 2002 and 2003 UK e-voting pilots in the implementation of the e-electoral register of voters. After theoretically establishi...
SERP
2004
13 years 11 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
PPL
2008
13 years 9 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
ADHOCNOW
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Many to many reliable broadcast is useful while building distributed services like group membership and agreement in a MANET. Efforts in implementing reliable broadcast ...