82 search results - page 7 / 17 » Automatically transforming and relating Uppaal models of emb... |
102
Voted
JUCS
2010
14 years 4 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
109
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
ASWSD
2006
Springer
15 years 1 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
103
click to vote
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...