10182 search results - page 1874 / 2037 » Case Studies |
143
click to vote
CSEE
2000
Springer
15 years 10 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
157
click to vote
VLDB
1999
ACM
15 years 10 months ago
1999
ACM
stract This panel addresses a very important area that is often neglected or overlooked by database systems, database applications developers and data warehouse designers, namely s...
184
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
186
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
143
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...