746 search results - page 47 / 150 » Formal Analysis of UML-Based Designs |
134
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
107
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
144
click to vote
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
109
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
151
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...