12774 search results - page 2392 / 2555 » A Framework for Proof Systems |
172
click to vote
SIGITE
2004
ACM
15 years 12 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
194
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
226
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
169
click to vote
ICDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
As web-based transactions become an essential element of everyday corporate and commerce activities, it becomes increasingly important that the performance of web-based services b...
192
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Optimizing user experience for streaming video applications on handheld devices is a significant research challenge. In this paper, we propose an integrated power management appr...