314 search results - page 6 / 63 » Cubical token systems |
IJBC
2002
15 years 4 months ago
2002
96
Voted
SSS
2009
Springer
15 years 9 months ago
2009
Springer
227
click to vote
POPL
2008
ACM
16 years 5 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...
114
Voted
KIVS
2005
Springer
15 years 10 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...
131
Voted
HICSS
2003
IEEE
15 years 10 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...