16843 search results - page 268 / 3369 » On Generalized Authorization Problems |
196
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
183
click to vote
SPAA
2005
ACM
16 years 3 days ago
2005
ACM
We study the problem of asymptotically reducing the runtime of serial computations with circuits of polynomial size. We give an algorithmic size-depth tradeoff for parallelizing ...
155
click to vote
APN
2005
Springer
16 years 3 days ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
121
click to vote
ICN
2005
Springer
16 years 2 days ago
2005
Springer
Resilient Packet Ring (RPR) is a new networking standard developed by the IEEE LAN/MAN working group. RPR is an insertion buffer, dual ring technology, utilizing a back pressure b...
139
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
We propose the idea of an online, user submitted digital library of recreation trails. Digital libraries of trails offer advantages over paper guidebooks in that they are more acc...