14331 search results - page 3 / 2867 » On the modeling and analysis of obligations |
62
Voted
IOR
2011
14 years 4 months ago
2011
100
click to vote
MEDES
2010
ACM
14 years 4 months ago
2010
ACM
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
93
Voted
ASM
2010
ASM
15 years 4 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
58
Voted
EV
2006
14 years 11 months ago
2006
: This paper describes the direct relationship between the perception of citizenship and its material expression, with emphasis on how changing expression obliges a rethink of the ...
144
click to vote
ASE
2011
14 years 4 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...