8644 search results - page 88 / 1729 » On the Composition of Secure Systems |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
With the advent of new digital consumer electronic devices, the interest and demand for audiovisual media and content authoring has increased in recent years. The RhythmPix projec...
FASE
1998
Springer
14 years 1 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
COMBINATORICS
2006
13 years 9 months ago
2006
The rules of "Bulgarian solitaire" are considered as an operation on the set of partitions to induce a finite dynamical system. We focus on partitions with no preimage u...
ECRTS
2009
IEEE
13 years 6 months ago
2009
IEEE
Allocation of bandwidth among components is a fundamental problem in compositional real-time systems. Stateof-the-art algorithms for bandwidth allocation use either exponential-ti...
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...