1173 search results - page 91 / 235 » Program Derivation Using Analogy |
208
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
178
click to vote
SOQUA
2004
15 years 8 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
232
click to vote
CSREAPSC
2006
15 years 8 months ago
2006
- MIT Technology Review lists sensor networks as one of "Ten Emerging Technologies That Will Change the World" [1]. This paper describes three lab exercises that are suit...
171
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— A novel sparse kernel density estimator is derived based on a regression approach, which selects a very small subset of significant kernels by means of the D-optimality experi...
164
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...