3119 search results - page 388 / 624 » General Default Logic |
222
click to vote
CCS
2005
ACM
16 years 23 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...
155
click to vote
CCS
2005
ACM
16 years 23 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...
168
click to vote
DNA
2005
Springer
16 years 23 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...
202
click to vote
EMSOFT
2005
Springer
16 years 23 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...
179
click to vote
FOSSACS
2005
Springer
16 years 23 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 ...