3311 search results - page 597 / 663 » Deductive Object Programming |
KES
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The aim of this work is to forecast future events in financial data sets, in particular, we focus our attention on situations where positive instances are rare, which fal...
KI
2006
Springer
14 years 9 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
SAC
2006
ACM
14 years 9 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
137
click to vote
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
SIGOPS
2008
14 years 9 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...