1940 search results - page 325 / 388 » The Dynamic Logic of Permission |
WWW
2002
ACM
16 years 15 days ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
197
click to vote
PADL
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
207
click to vote
ICLP
2009
Springer
16 years 14 days ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
182
click to vote
CP
2009
Springer
16 years 14 days ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
VLSID
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract-- Single-ended static random access memory (SESRAM) is well known for their tremendous potential of low active power and leakage dissipations. In this paper, we present a ...