1111 search results - page 152 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
100
Voted
TOOLS
1997
IEEE
15 years 6 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
152
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
127
Voted
AAAI
1996
15 years 4 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
117
Voted
WSC
2004
15 years 4 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
133
click to vote
MMMACNS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...