314 search results - page 6 / 63 » Cubical token systems |
IJBC
2002
15 years 1 months ago
2002
SSS
2009
Springer
15 years 6 months ago
2009
Springer
189
click to vote
POPL
2008
ACM
16 years 2 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...
84
Voted
KIVS
2005
Springer
15 years 7 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...
103
Voted
HICSS
2003
IEEE
15 years 7 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...