5239 search results - page 568 / 1048 » Model-Integrated Embedded Systems |
382
click to vote
CASES
2011
ACM
14 years 7 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
163
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, we present a system to browse a set of graphical documents without prior knowledge of their content. This system relies on a new structural method locating regions ...
260
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
180
click to vote
QEST
2008
IEEE
16 years 1 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...
206
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a multiprocessor scheduling framework for integrating hard and soft real-time tasks and best-effort jobs. This framework allows for full system utilization, and ensures...