159 search results - page 32 / 32 » Specifying Proof Systems in Linear Logic with Subexponential... |
BIOCOMP
2007
13 years 7 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...