686 search results - page 121 / 138 » Simulation Modeling at Multiple Levels of Abstraction |
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
EPIA
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
ICWN
2009
13 years 5 months ago
2009
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
PATMOS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...