3719 search results - page 383 / 744 » RACER System Description |
192
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
222
click to vote
EUROMICRO
2006
IEEE
15 years 10 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...
173
click to vote
DSS
2008
15 years 6 months ago
2008
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...
202
click to vote
JUCS
2008
15 years 6 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
175
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...