3971 search results - page 47 / 795 » On the Use of Properties in Java Applications |
TVCG
2012
11 years 11 months ago
2012
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
CSMR
2003
IEEE
14 years 2 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This is complicated work, particularly in large applications, and tools are ne...
ISQED
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
JMLR
2008
13 years 9 months ago
2008
Feature ranking is a fundamental machine learning task with various applications, including feature selection and decision tree learning. We describe and analyze a new feature ran...
CARDIS
2000
Springer
14 years 1 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...