29152 search results - page 430 / 5831 » A Model of Computation for MapReduce |
204
click to vote
FSTTCS
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
237
click to vote
LOPSTR
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
202
click to vote
HICSS
1999
IEEE
15 years 12 months ago
1999
IEEE
Distributed Shared Memory (DSM) combines the scalability of loosely coupled multicomputer systems with the ease of usability of tightly coupled multiprocessors, and allows transpa...
181
click to vote
SIGCSE
1998
ACM
15 years 12 months ago
1998
ACM
ions, and (c) the seductive reality of the computer must not be allowed to supplant construction of models. The dominant theory of learning today is called constructivism. This the...
177
click to vote
IEAAIE
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...