698 search results - page 72 / 140 » dagstuhl 2007 |
112
click to vote
DAGSTUHL
2001
15 years 2 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
116
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
89
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. Naive feature orientation runs into problems with large software systems, such as telephone switching systems. With naive feature orientation, a feature extends a base sy...
111
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
93
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...