7557 search results - page 246 / 1512 » Modeling Timed Concurrent Systems |
181
click to vote
AAAI
2000
15 years 8 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
186
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
189
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
220
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
210
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Time series are found widely in engineering and science. We study multiagent forecasting in time series, drawing from literature on time series, graphical models, and multiagent s...