1524 search results - page 195 / 305 » Operational Semantics of Hybrid Systems |
ENTCS
2006
2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
14 years 10 months ago
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—The current trends in service consolidation over Internet Protocol (IP) also stimulates the integration of the industrial automation system with the information technology (IT) ...
ICMI
2005
Springer
15 years 3 months ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...
101
click to vote
DSVIS
2008
Springer
14 years 11 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
150
click to vote
TGC
2010
Springer
14 years 7 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...