1310 search results - page 254 / 262 » On a Class of Traceability Codes |
95
Voted
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
SPAA
2010
ACM
15 years 2 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
105
click to vote
ICSE
2001
IEEE-ACM
15 years 1 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
UML
2001
Springer
15 years 1 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
SAS
1999
Springer
15 years 1 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...