14331 search results - page 15 / 2867 » On the modeling and analysis of obligations |
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
VAMOS
2010
Springer
15 years 1 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
APCCM
2010
15 years 1 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
ICICS
2009
Springer
14 years 9 months ago
2009
Springer
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
TACAS
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...