4806 search results - page 395 / 962 » Interactive uncertainty analysis |
292
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
196
click to vote
ICEBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
168
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Web link analysis has been proved to provide significant enhancement to the precision of web search in practice. Among existing approaches, Kleinberg’s HITS and Google’s PageR...
183
click to vote
IVS
2007
15 years 6 months ago
2007
Understanding the spatial and temporal characteristics of individual and group behavior in social networks is a critical component of visual tools for intelligence analysis, emerg...
208
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...