2685 search results - page 318 / 537 » A Formal Semantics for SPKI |
202
click to vote
IDTRUST
2009
ACM
16 years 1 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
148
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
185
click to vote
DSN
2007
IEEE
16 years 29 days ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
155
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
171
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...