2746 search results - page 250 / 550 » Behavioral Simulations in MapReduce |
169
click to vote
FORMATS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
174
click to vote
ICNS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper introduces a fault-tolerant group communication protocol that is aimed at grid and wide area environments. The protocol has two layers. The lower layer provides a total...
163
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
226
click to vote
CAMP
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper describes the prey-predator multiagent hich can be considered as an abstraction of more complex real-world models. Both the prey and the predators are considered as ...
177
click to vote
ECRTS
2005
IEEE
16 years 5 days ago
2005
IEEE
Advances in wireless technology have brought us closer to extensive deployment of distributed real-time embedded systems connected through a wireless channel. The medium access co...