881 search results - page 70 / 177 » Specification and Design Considerations for Reliable Embedde... |
ICALT
2008
IEEE
15 years 4 months ago
2008
IEEE
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...
RSP
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ER
2007
Springer
15 years 4 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
FPGA
2003
ACM
15 years 3 months ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
DAGSTUHL
2006
14 years 11 months ago
2006
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition system...