13043 search results - page 2371 / 2609 » Simulation of the research process |
153
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
152
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We study network optimization that considers energy minimization as an objective. Studies have shown that mechanisms such as speed scaling can significantly reduce the ...
106
click to vote
JOCN
2010
15 years 2 months ago
2010
■ Empirical investigations of the relation of frontal lobe function evaluation have mostly examined the evaluation of abstract qualities in relation to self versus other people....
147
Voted
PUC
2010
15 years 2 months ago
2010
Human computer interaction (HCI) has little explored everyday life and enriching experiences in rural, wilderness and other predominantly ‘‘natural’’ places despite their s...
170
click to vote
PVLDB
2010
15 years 2 months ago
2010
MapReduce is a computing paradigm that has gained a lot of attention in recent years from industry and research. Unlike parallel DBMSs, MapReduce allows non-expert users to run co...