4211 search results - page 702 / 843 » Types as Abstract Interpretations |
137
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
126
click to vote
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Peer-to-Peer Wireless Network Confederation (P2PWNC) is designed to be an open self-organizing Wireless LAN (WLAN) roaming association where users from one WLAN can a...
149
click to vote
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very...
123
click to vote
GD
2004
Springer
15 years 9 months ago
2004
Springer
A radial drawing is a representation of a graph in which the vertices lie on concentric circles of finite radius. In this paper we study the problem of computing radial drawings ...
129
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...