3573 search results - page 339 / 715 » Reasoning about Codata |
165
click to vote
CCS
2005
ACM
15 years 10 months 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...
124
click to vote
CCS
2005
ACM
15 years 10 months 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...
128
Voted
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently, new cost-based filtering algorithms for shorter-path constraints have been developed. However, so far only the theoretical properties of shorter-path constrain...
171
click to vote
DALT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
120
Voted
EMO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...