1860 search results - page 69 / 372 » tools 2009 |
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
ERCIMDL
2009
Springer
15 years 5 months ago
2009
Springer
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
FCT
2009
Springer
15 years 5 months ago
2009
Springer
We argue that closure operators are fundamental tools for the study of relationships between order structures and their sequence representations. We also propose and analyse a clos...
IWCIA
2009
Springer
15 years 5 months ago
2009
Springer
In discrete geometry, the Distance Transformation and the Medial Axis Extraction are classical tools for shape analysis. In this paper, we present a Hierarchical Discrete Medial Ax...
161
click to vote
ICAIL
2009
ACM
15 years 5 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...