IFIP
2009
Springer
14 years 4 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
GPCE
2009
Springer
14 years 4 months ago
2009
Springer
GPCE
2009
Springer
14 years 4 months ago
2009
Springer
GPCE
2009
Springer
14 years 4 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
GPCE
2009
Springer
14 years 4 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
GPCE
2009
Springer
14 years 4 months ago
2009
Springer
