1105 search results - page 134 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
111
click to vote
ENTCS
2002
15 years 3 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
116
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
119
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
130
Voted
IJFCS
2006
15 years 3 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
114
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...