2850 search results - page 40 / 570 » On Timed Models and Full Abstraction |
171
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
240
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
193
click to vote
DDECS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
186
click to vote
IS
2007
15 years 6 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
160
click to vote
AIIA
2007
Springer
16 years 7 days ago
2007
Springer
Structured Hidden Markov Model (S-HMM) is a variant of Hierarchical Hidden Markov Model that shows interesting capabilities of extracting knowledge from symbolic sequences. In fact...