877 search results - page 71 / 176 » How to Cover a Grammar |
FC
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a hierarchy of privacy notions that covers multiple anonymity and unlinkability variants. The underlying definitions, which are based on the idea of indistingu...
93
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
93
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
117
click to vote
ICT
2004
Springer
15 years 6 months ago
2004
Springer
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...
110
click to vote
DDEP
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we present a general framework for document production that covers generic document model needs and adaptation needs. We define a multimedia document model called Mad...