611 search results - page 49 / 123 » Relative simulation and model checking of real-time processe... |
WSC
2004
13 years 10 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
COGNITIVE
2001
Springer
14 years 1 months ago
2001
Springer
The relationship between our actions and their perceivable results is ruled by what we call the laws of nature. It is general understanding that our actions act upon real objects ...
AIHC
2007
Springer
14 years 3 months 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...