5838 search results - page 985 / 1168 » A File System for System Programming in Ubiquitous Computing |
125
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
We present contextual collaboration, an approach to building collaborative systems that embeds collaborative capabilities into core applications, and discuss its advantages. We de...
117
Voted
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
111
click to vote
PVM
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
153
click to vote
TEX
2004
Springer
15 years 9 months ago
2004
Springer
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
160
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...