Sciweavers

2275 search results - page 406 / 455
» Object Evolution by Model Evolution
Sort
View
JAR
2008
107views more  JAR 2008»
13 years 9 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
JIRS
2008
100views more  JIRS 2008»
13 years 9 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
JUCS
2008
144views more  JUCS 2008»
13 years 8 months ago
Applications of Mash-ups for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
Muhammad Salman Khan, Narayanan Kulathuramaiyer, H...
JUCS
2008
115views more  JUCS 2008»
13 years 8 months ago
A Service-oriented Process to Develop Web Applications
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
Fábio Zaupa, Itana Maria de Souza Gimenes, ...
MJ
2006
76views more  MJ 2006»
13 years 8 months ago
Reading the footprints of strained islands
We report on recent advances in the understanding of surface processes occurring during growth and post-growth annealing of strained islands which may find application as self-ass...
A. Rastelli, Mathieu Stoffel, G. Katsaros, J. Ters...