3342 search results - page 508 / 669 » Automating Abstract Interpretation |
JAR
2006
13 years 10 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
EXPERT
2007
13 years 10 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
JMM2
2007
13 years 10 months ago
2007
Abstract— Currently, most of the automated, computervision assisted camera control policies are based on human events, such as the speaker gesture and position changes. In additi...
AI
2004
Springer
13 years 10 months ago
2004
Springer
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
SQJ
2002
13 years 10 months ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...