3071 search results - page 317 / 615 » Explanatory Design Theory |
211
click to vote
CCS
2005
ACM
16 years 8 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...
182
click to vote
DALT
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
137
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
179
click to vote
EMSOFT
2005
Springer
16 years 8 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...
156
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...