7340 search results - page 398 / 1468 » The Behavior of Tutoring Systems |
171
click to vote
HYBRID
2004
Springer
16 years 5 days ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
185
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
144
click to vote
SRDS
1997
IEEE
15 years 11 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
187
click to vote
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
189
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...