6167 search results - page 863 / 1234 » Can Refinement be Automated |
160
click to vote
JELIA
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
214
click to vote
KDD
1998
ACM
15 years 9 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
130
click to vote
WCRE
1997
IEEE
15 years 9 months ago
1997
IEEE
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...
183
click to vote
ESEC
1997
Springer
15 years 9 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
159
click to vote
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...