9989 search results - page 196 / 1998 » A CLP Approach to Modelling Systems |
156
click to vote
AICCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
118
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
140
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
181
Voted
CDC
2010
IEEE
15 years 1 days ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
141
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Melodies provide an important conceptual summarization of polyphonic audio. The extraction of melodic content has practical applications ranging from content-based audio retrieval...