13461 search results - page 92 / 2693 » Generalization with Taxonomic Information |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
ASPLOS
2004
ACM
14 years 2 months ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
FC
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a secure Generalized Vickrey Auction (GVA) scheme that does not require third-party servers, i.e., the scheme is executed only by an auctioneer and bidders. Com...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Among humans, teaching various tasks is a complex process which relies on multiple means for interaction and learning, both on the part of the teacher and of the learner. Used tog...