2746 search results - page 347 / 550 » Behavioral Simulations in MapReduce |
189
click to vote
RSP
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
177
click to vote
SASO
2007
IEEE
16 years 23 days ago
2007
IEEE
Managing demand for electrical energy allows generation facilities to be run more efficiently. Current systems allow for management between large industrial consumers. There is, ...
224
click to vote
AIHC
2007
Springer
16 years 21 days ago
2007
Springer
Computer models can be used to investigate the role of emotion in learning. Here we present EARL, our framework for the systematic study of the relation between emotion, adaptation...
146
click to vote
HUC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The popularity of handheld devices has created a flurry of research activity into new protocols and applications that can handle and exploit the defining characteristic...
183
click to vote
DATE
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...