2670 search results - page 158 / 534 » Modeling systems with internal state using evolino |
170
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
179
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
170
click to vote
MATES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
119
click to vote
WSC
2008
15 years 8 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
161
click to vote
ACL
2003
15 years 7 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...