14360 search results - page 278 / 2872 » Time Modeling in MARTE |
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
RTAS
1997
IEEE
14 years 3 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
SEDE
2007
14 years 6 days ago
2007
The ability to model the evolution of software technology trends is valuable to many stakeholders in industry, academia, and government. Yet we often depend exclusively on the opi...
FORTE
1990
13 years 12 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
PAMI
2006
13 years 10 months ago
2006
We propose an HMM model for contour detection based on multiple visual cues in spatial domain and improve it by joint probabilistic matching to reduce background clutter. It is fu...