2748 search results - page 260 / 550 » Generating Object-Z Specifications from Use Cases |
134
click to vote
ITP
2010
15 years 7 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
163
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Provenance is the documentation concerning the origin of a result generated by a process, and provides explanations about who, how, what resources were used in a process, and the ...
112
click to vote
PAAMS
2010
Springer
15 years 1 months ago
2010
Springer
In this study, a new organization based system for forest fires prediction is presented. It is an Organization Based System for Forest Fires Forecasting (OBSFFF). The core of the s...
151
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: The information from different data sets experimented under different conditions may be inconsistent even though they are performed with the same research objectives. ...
130
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
1 sensors is to construct a structural description from sensor data and to match this description to a previously acquired model [Crowley 85]. An alternative is to project individu...