1524 search results - page 65 / 305 » Operational Semantics of Hybrid Systems |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...