523 search results - page 54 / 105 » Transformations for Model Checking Distributed Java Programs |
146
click to vote
PARLE
1993
15 years 9 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
157
Voted
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
137
Voted
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
123
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
290
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...