3971 search results - page 321 / 795 » On the Use of Properties in Java Applications |
190
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a method to extract skeletons using examples. Our method is based on the observation that many deformations in real world applications are isometric or near is...
194
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
The fast growth of multimedia information in image and video databases has triggered research on efficient retrieval methods. This paper deals with structural queries, a type of c...
165
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Distributed Source Coding (DSC), formulated thirty years ago, is lately witnessing a great research effort. This effort is encouraged by emerging new applications that could great...
148
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
158
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...