2935 search results - page 308 / 587 » An Integrated Approach to High Integrity Software Verificati... |
151
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
181
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
158
click to vote
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
158
click to vote
LREC
2008
15 years 8 months ago
2008
The NIST Automatic Content Extraction (ACE) Evaluation expands its focus in 2008 to encompass the challenge of cross-document and cross-language global integration and reconciliat...
165
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...