6978 search results - page 1264 / 1396 » On Proofs in System P |
UIST
1998
ACM
14 years 1 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
ECOOP
1998
Springer
14 years 1 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
ESA
1998
Springer
14 years 1 months ago
1998
Springer
We consider the problem of maximizingthe number of jobs completed by their deadlinein an online single processor system where the jobs are preemptable and have release times. So i...
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
ICDCS
1997
IEEE
14 years 1 months ago
1997
IEEE
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service down-time. Most industrial applicati...