314 search results - page 6 / 63 » Cubical token systems |
IJBC
2002
13 years 8 months ago
2002
SSS
2009
Springer
14 years 1 months ago
2009
Springer
POPL
2008
ACM
14 years 9 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
KIVS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract This paper presents a token-based accounting scheme for decentralized autonomous systems, such as peer-to-peer systems. The scheme uses tokens as proof of resource or serv...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
A technological challenge that distinguishes group support systems (GSS) from many other technologies is the need to accommodate a variety of race conditions. A race condition occ...