1681 search results - page 17 / 337 » Formal Design of Distributed Control Systems with Lustre |
MM
2000
ACM
13 years 12 months ago
2000
ACM
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
SACMAT
2003
ACM
14 years 22 days ago
2003
ACM
Traditional access control mechanisms rely on a reference monitor to mediate access to protected resources. Reference monitors are inherently centralized and existing attempts to ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...