12774 search results - page 2392 / 2555 » A Framework for Proof Systems |
193
Voted
SIGITE
2004
ACM
16 years 13 days 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 ...
214
Voted
BIRTHDAY
2004
Springer
16 years 13 days 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...
256
click to vote
CCS
2004
ACM
16 years 13 days 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 ...
188
Voted
ICDCS
2003
IEEE
16 years 9 days 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...
210
click to vote
MM
2003
ACM
16 years 8 days 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...