Sciweavers

4719 search results - page 143 / 944
» Applications = Components GLoo
Sort
View
ICST
2010
IEEE
15 years 2 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
ICUMT
2009
15 years 1 months ago
Information flow security for service compositions
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
Sabina Rossi, Damiano Macedonio
PE
2011
Springer
266views Optimization» more  PE 2011»
14 years 10 months ago
Lumping partially symmetrical stochastic models
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
Souheib Baarir, Marco Beccuti, Claude Dutheillet, ...
TIP
2010
144views more  TIP 2010»
14 years 10 months ago
Direction-Adaptive Partitioned Block Transform for Color Image Coding
- In this report, we investigate the application of Direction Adaptive-Partitioned Block Transform (DA-PBT) to color images and propose a basic framework for DA-PBT Color Image Cod...
Chuo-Ling Chang, Mina Makar, Sam S. Tsai, Bernd Gi...
TPDS
2010
166views more  TPDS 2010»
14 years 10 months ago
Configurable Middleware for Distributed Real-Time Systems with Aperiodic and Periodic Tasks
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
Yuanfang Zhang, Christopher D. Gill, Chenyang Lu