488 search results - page 57 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
107
click to vote
AIED
2007
Springer
15 years 9 months ago
2007
Springer
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...
141
click to vote
ICSM
1994
IEEE
15 years 7 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
128
click to vote
HT
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
133
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
121
Voted
PAA
2008
15 years 3 months ago
2008
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...