3169 search results - page 122 / 634 » A General Framework for Large Scale Systems Development |
140
click to vote
ICALT
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper proposes a general framework to develop SCORM compliant courses that provide adaptation according to user learning style. The SCORM standard as well as some of the most...
168
click to vote
IANDC
2007
15 years 4 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
155
click to vote
JOT
2008
15 years 4 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
124
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
As technology scales ever further, device unreliability is creating excessive complexity for hardware to maintain the illusion of perfect operation. In this paper, we consider whe...
142
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...