3400 search results - page 581 / 680 » tools 2008 |
153
click to vote
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
180
click to vote
HASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
137
click to vote
IAT
2008
IEEE
15 years 5 months ago
2008
IEEE
Scaffolding techniques allow human instructors to support novice learners in critical early stages, and to remove that support as expertise grows. This paper describes nAble, an a...
166
click to vote
AAECC
2008
Springer
15 years 5 months ago
2008
Springer
We consider unary term rewriting, i.e., term rewriting with unary signatures where all function symbols are either unary or constants. Terms over such signatures can be transformed...
132
click to vote
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...