15840 search results - page 137 / 3168 » The Control of Synchronous Systems |
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose a novel framework for synchronization in feature-based data embedding systems. The framework is tolerant to de-synchronizing errors in feature estimates, which have hit...
DSVIS
2003
Springer
14 years 3 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
WDAG
1993
Springer
14 years 2 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
ASAP
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...