103 search results - page 12 / 21 » An Object-Oriented Framework for Creating Offerings |
ESORICS
2007
Springer
15 years 3 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
XPU
2005
Springer
15 years 5 months ago
2005
Springer
Naked Objects and agile software development have been suggested to complement each other. Very few empirical studies to date exist where a product has been developed using the Nak...
86
Voted
HPDC
1996
IEEE
15 years 3 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
SAFECOMP
1998
Springer
15 years 3 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
ECIS
2001
15 years 1 months ago
2001
The advantages that Internet as a new technology offers to business and individuals can't be fully exploited without taking under consideration a number of social issues that...