1105 search results - page 104 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
140
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
240
click to vote
SBIA
2010
Springer
15 years 1 months ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
188
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
156
Voted
EUROMICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
137
Voted
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...