5525 search results - page 658 / 1105 » Verification of Model Transformations |
161
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
207
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
167
click to vote
ISCA
2006
IEEE
16 years 1 months ago
2006
IEEE
We show that the problem of communication in a quantum computer reduces to constructing reliable quantum channels by distributing high-fidelity EPR pairs. We develop analytical m...
208
click to vote
SOFTVIS
2006
ACM
16 years 1 months ago
2006
ACM
Visual paradigms such as node-link diagrams are well suited to the representation of Semantic Web data encoded with the Resource Description Framework (RDF), whose data model can ...
142
click to vote
HICSS
2005
IEEE
16 years 20 days ago
2005
IEEE
We propose a model for understanding the transformation of the market structure in the recorded music industry value chain due to new forms of digital distribution. It takes into a...