10159 search results - page 498 / 2032 » System Design Validation Using Formal Models |
156
click to vote
WSC
2001
15 years 6 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
142
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
119
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
138
Voted
ETS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...
119
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...