Sciweavers

29152 search results - page 372 / 5831
» A Model of Computation for MapReduce
Sort
View
MSE
2000
IEEE
102views Hardware» more  MSE 2000»
15 years 11 months ago
Ubiquitous Computing and Its Influence on MSE
More than a decade after its invention, Mark Weiser’s vision of ubiquitous computing finally seems to spark many research activities world wide. This article reviews the ideas b...
Max Miihlhiiuser
GCC
2006
Springer
15 years 10 months ago
Workflows in Computation Grids
This paper shows that flexibility of workflow executions, i.e., the ability to deviate from a given model on the fly and during execution, is crucial for a wide applicability of w...
Dominik Kuropka, Gottfried Vossen, Mathias Weske
ECIS
2004
15 years 8 months ago
To play, or not to play: building a learning environment through computer simulations
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
Luigi Proserpio, Magni Magni
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
IANDC
2008
139views more  IANDC 2008»
15 years 7 months ago
Computational complexity of dynamical systems: The case of cellular automata
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...
Pietro di Lena, Luciano Margara