3954 search results - page 612 / 791 » Image-based Model Completion |
171
click to vote
CTRSA
2007
Springer
16 years 20 days ago
2007
Springer
In 1999, two signature schemes based on the flexible RSA problem (a.k.a. strong RSA problem) were independently introduced: the Gennaro-Halevi-Rabin (GHR) signature scheme and the...
158
click to vote
ECOWS
2007
Springer
16 years 20 days ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...
156
click to vote
EUC
2007
Springer
16 years 20 days ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
182
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
Advance Reservations(AR) make it possible to guarantee the QoS of Grid applications by reserving a particular resource capability over a defined time interval on local resources. H...
188
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...