1323 search results - page 27 / 265 » Updatable Security Views |
EUROCRYPT
2011
Springer
13 years 1 months ago
2011
Springer
ICDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
ER
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
CALCO
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
MINENET
2006
ACM
14 years 3 months ago
2006
ACM
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...