Sciweavers

1940 search results - page 41 / 388
» The Dynamic Logic of Permission
Sort
View
EEE
2005
IEEE
15 years 5 months ago
SLA Representation, Management and Enforcement
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
Adrian Paschke, Martin Bichler
JOLLI
2002
120views more  JOLLI 2002»
14 years 11 months ago
The Donkey and the Monoid. Dynamic Semantics with Control Elements
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
Albert Visser
ICCAD
2005
IEEE
145views Hardware» more  ICCAD 2005»
15 years 8 months ago
Noise margin analysis for dynamic logic circuits
Suwen Yang, Mark R. Greenstreet
LORI
2009
Springer
15 years 6 months ago
Toward a Dynamic Logic of Questions
Johan van Benthem, Stefan Minica