10159 search results - page 476 / 2032 » System Design Validation Using Formal Models |
151
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
125
Voted
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents an evaluation to determine the importance of the accurate thermal characterization for several elements of a semiconductor device. Specifically, it evaluates ...
131
click to vote
IADIS
2004
15 years 6 months ago
2004
This paper aims to provide an experimental vision of the process of course creation using learning objects obtained in the <e-aula> project, a pilot e-learning system concei...
143
Voted
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
162
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...