5451 search results - page 107 / 1091 » Typed Operational Semantics |
133
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
129
click to vote
ESORICS
2004
Springer
15 years 8 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...
169
Voted
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
135
click to vote
COSIT
1997
Springer
15 years 7 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
146
Voted
USENIX
1994
15 years 4 months ago
1994
Ficus is a flexible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Optimistic concurrency control provi...