5838 search results - page 1068 / 1168 » A File System for System Programming in Ubiquitous Computing |
125
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
124
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
134
click to vote
SC
2004
ACM
15 years 8 months ago
2004
ACM
RPC is one of the programming models envisioned for the Grid. In Internet connected Large Scale Grids such as Desktop Grids, nodes and networks failures are not rare events. This ...
113
Voted
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
133
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...