3082 search results - page 347 / 617 » Deviation Analysis: A New Use of Model Checking |
233
click to vote
IADIS
2003
15 years 8 months ago
2003
Intelligent tutoring systems (ITS) provide individualised instruction. They offer many advantages over the traditional classroom scenario: they are always available, non-judgement...
166
click to vote
IEEEPACT
2006
IEEE
16 years 18 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
244
click to vote
CCE
2011
15 years 1 months ago
2011
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...
179
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Schedulability analysis of fixed priority preemptive scheduled systems can be performed by calculating the worst-case response-time of the involved processes. The system is deemed...
159
click to vote
STTT
2008
15 years 6 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...