17 search results - page 2 / 4 » Extensions of Single-term Coins |
CCS
2003
ACM
13 years 11 months ago
2003
ACM
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
PERCOM
2007
ACM
14 years 5 months ago
2007
ACM
Context-awareness (CA) enables the development of personalized pervasive services. Current context-aware infrastructures focus on middleware solutions to support acquisition, usag...
ACSAC
2008
IEEE
14 years 7 days ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...