54 search results - page 10 / 11 » Technical Writing |
CLUSTER
2002
IEEE
13 years 10 months ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
SIGUCCS
2000
ACM
13 years 9 months ago
2000
ACM
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
ECSCW
1993
13 years 7 months ago
1993
: Drawing on writings within the CSCW community and on recent social theory, this paper proposes that the adoption of speech act theory as a foundation for system design carries wi...
SIAMCOMP
2008
13 years 5 months ago
2008
We develop approximation algorithms for the problem of placing replicated data in arbitrary networks, where the nodes may both issue requests for data objects and have capacity fo...