314 search results - page 6 / 63 » Cubical token systems |
IJBC
2002
14 years 11 months ago
2002
62
Voted
SSS
2009
Springer
15 years 4 months ago
2009
Springer
164
Voted
POPL
2008
ACM
15 years 12 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
15 years 5 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
15 years 5 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...