Search Sciweavers | Sciweavers

14360 search results - page 22 / 2872

» Time Modeling in MARTE

click to vote

DEDS
2006

111views more DEDS 2006»

Model Checking of Time Petri Nets Using the State Class Timed Automaton

13 years 8 months ago

Download www.irccyn.ec-nantes.fr

In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...

Didier Lime, Olivier H. Roux

claim paper

Read More »

click to vote

HYBRID
2004
Springer

115views Control Systems» more HYBRID 2004»

Almost ASAP Semantics: From Timed Models to Timed Implementations

14 years 2 months ago

Download www.ulb.ac.be

In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...

Martin De Wulf, Laurent Doyen, Jean-Françoi...

claim paper

Read More »

click to vote

CCGRID
2008
IEEE

221views Distributed And Parallel Com...» more CCGRID 2008»

Modeling "Just-in-Time" Communication in Distributed Real-Time Multimedia Applications

14 years 3 months ago

Download www.math.vu.nl

—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...

R. Yang, Robert D. van der Mei, D. Roubos, Frank J...

claim paper

Read More »

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

14 years 3 months ago