1940 search results - page 253 / 388 » The Dynamic Logic of Permission |
188
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
197
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
215
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
178
click to vote
HT
2004
ACM
16 years 9 hour ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
199
click to vote
ISPD
2004
ACM
16 years 9 hour ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...