1104 search results - page 140 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
121
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
148
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
125
Voted
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we present a system of the off-line handwriting recognition. Our recognition system is based on temporal order restoration of the off-line trajectory. For this task ...
132
click to vote
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
147
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...