3342 search results - page 508 / 669 » Automating Abstract Interpretation |
100
Voted
JAR
2006
15 years 19 days 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 ...
93
Voted
EXPERT
2007
15 years 18 days 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...
104
Voted
JMM2
2007
15 years 17 days 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...
100
Voted
AI
2004
Springer
15 years 17 days 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...
105
Voted
SQJ
2002
15 years 9 days 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...