3342 search results - page 147 / 669 » Automating Abstract Interpretation |
104
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
104
click to vote
WOSP
2005
ACM
15 years 4 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
BMCBI
2008
14 years 11 months ago
2008
teps. First, we abstracted protein interactions onto orthologous cluster links. For a given source interaction, if both proteins belonged to a cluster, we constructed a link betwee...
CAIP
1997
Springer
15 years 3 months ago
1997
Springer
The use of digital image analysis in architectural photogrammetry allows the automation of monotonous low-level tasks and makes the interpretation of facades much easier. Different...
GIL
2009
14 years 9 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...