3782 search results - page 348 / 757 » Engineering Social Order |
175
click to vote
DSTEP
2010
15 years 4 months ago
2010
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
188
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
179
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
205
click to vote
SERP
2010
15 years 4 months ago
2010
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
237
click to vote
SERP
2010
15 years 4 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...