2748 search results - page 134 / 550 » Generating Object-Z Specifications from Use Cases |
91
Voted
ICDCSW
2000
IEEE
15 years 4 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
105
Voted
HIS
2008
15 years 2 months ago
2008
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
94
Voted
IADIS
2003
15 years 1 months ago
2003
This article proposes an approach to the generation of guided tours over indexed information resources on user demand. It represents an alternative to more sophisticated hyperdocu...
101
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
89
Voted
SERP
2003
15 years 1 months ago
2003
It’s difficult for administrators to retrieve information from reports that are generated by different people with different computer platforms, word processors, and interpretat...