3384 search results - page 131 / 677 » More Testable Properties |
CSFW
2010
IEEE
14 years 25 days ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
PKC
2000
Springer
14 years 15 days ago
2000
Springer
For the two last decades, electronic authentication has been an important topic. The first applications were digital signatures to mimic handwritten signatures for digital document...
ZUM
2000
Springer
14 years 14 days ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
AAAI
2007
2007
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language
13 years 11 months ago
Examples of figurative language can range from the explicit and the obvious to the implicit and downright enigmatic. Some simpler forms, like simile, often wear their meanings on...
AOSD
2008
ACM
13 years 11 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...