21094 search results - page 271 / 4219 » An experiment using DLV-K |
195
click to vote
HICSS
2003
IEEE
16 years 3 hour ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
174
Voted
SIGADA
2001
Springer
15 years 11 months ago
2001
Springer
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
150
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
161
click to vote
FSE
1994
Springer
15 years 10 months ago
1994
Springer
We describe the results of experiments on the use of multiple approximations in a linear cryptanalytic attack on FEAL; we pay particular attention to FEAL-8. While these attacks on...
285
Voted
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...