3119 search results - page 388 / 624 » General Default Logic |
206
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
143
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
151
click to vote
DNA
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...
176
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
157
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...