8768 search results - page 198 / 1754 » Generalizing the notion of support |
194
click to vote
COOPIS
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper discusses some of the implications of introducing the dynamic object role concept into object-oriented metamodels on both implementational and conceptual modeling levels...
183
click to vote
RIDE
1999
IEEE
15 years 11 months ago
1999
IEEE
Electronic Commerce is expanding from the simple notion of Electronic Store to the notion of Virtual Enterprises (VE) where existing enterprises dynamically form temporary allianc...
198
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
198
click to vote
ESORICS
2008
Springer
15 years 9 months ago
2008
Springer
Delegation is a mechanism that allows a user A to act on another user B's behalf by making B's access rights available to A. It is well recognized as an important mechani...
167
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...