1111 search results - page 175 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
111
click to vote
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
121
Voted
IDA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Binary Factor Analysis (BFA) is a typical problem of Independent Component Analysis (ICA) where the signal sources are binary. Parameter learning and model selection in B...
108
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
145
click to vote
KBSE
2010
IEEE
15 years 28 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
131
click to vote
TSE
2010
15 years 26 days ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...