2123 search results - page 41 / 425 » Composition of Cyber-Physical Systems |
106
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
137
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
105
Voted
ICMCS
2005
IEEE
15 years 9 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...
140
click to vote
FASE
1998
Springer
15 years 8 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...
127
click to vote
COMBINATORICS
2006
15 years 4 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...