3424 search results - page 77 / 685 » Automated Testing of Classes |
167
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
157
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
164
click to vote
HCI
2009
15 years 3 months ago
2009
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...
156
click to vote
DATAMINE
2002
15 years 6 months ago
2002
Reflectance spectroscopy is a standard tool for studying the mineral composition of rock and soil samples and for remote sensing of terrestrial and extraterrestrial surfaces. We de...
141
click to vote
KBSE
2006
IEEE
16 years 5 days ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...