1173 search results - page 182 / 235 » Program Derivation Using Analogy |
124
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
123
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Biological processes are mediated by networks of interacting genes and proteins. Efforts to map and understand these networks are resulting in the proliferation of int...
138
click to vote
PPDP
2010
Springer
15 years 22 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
108
click to vote
CACM
2011
14 years 6 months ago
2011
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
143
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...