2488 search results - page 446 / 498 » An improvement in formal verification |
106
click to vote
CANDC
2007
ACM
15 years 5 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
108
click to vote
ER
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...
101
click to vote
ESORICS
2007
Springer
15 years 5 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...
EUROPKI
2007
Springer
15 years 5 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
121
click to vote
EUROMICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...