21324 search results - page 70 / 4265 » Making the case for computing |
DEXA
1998
Springer
14 years 2 months ago
1998
Springer
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
CP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
VISSYM
2007
14 years 15 days ago
2007
Lattice graphs are used as underlying data structures in many statistical processing systems, including natural language processing. Lattices compactly represent multiple possible...