2748 search results - page 74 / 550 » Generating Object-Z Specifications from Use Cases |
MM
1997
ACM
14 years 28 days ago
1997
ACM
Being able to author a hypermedia document once for presentation under a wide variety of potential circumstances requires that it be stored in a manner that is adaptable to these ...
GAMEON
2009
13 years 6 months ago
2009
At present, trajectory data, series of coordinate data traversed by moving objects, can be readily obtained due to the advent of positioning technologies. Clustering of trajectori...
WSC
2007
13 years 11 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Consumer health information written by health care professionals is often inaccessible to the consumers it is written for. Traditional readability formulas examine syntactic featu...
COLING
1994
13 years 10 months ago
1994
CT In this paper, we describe a tool designed to generate semi-automatically the sortal constraints specific to a domain to be used in a natural language (NL) understanding system....