Sciweavers

11374 search results - page 64 / 2275
» Demonstration of the CROSSMARC System
Sort
View
QOSA
2010
Springer
15 years 4 months ago
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
Anne Martens, Danilo Ardagna, Heiko Koziolek, Raff...
ACL
2009
15 years 4 months ago
A Comparative Study of Hypothesis Alignment and its Improvement for Machine Translation System Combination
Recently confusion network decoding shows the best performance in combining outputs from multiple machine translation (MT) systems. However, overcoming different word orders prese...
Boxing Chen, Min Zhang, Haizhou Li, AiTi Aw
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
AVSS
2009
IEEE
15 years 4 months ago
Multimodal Abandoned/Removed Object Detection for Low Power Video Surveillance Systems
Low-cost and low-power video surveillance systems based on networks of wireless video sensors will enter soon the marketplace with the promise of flexibility, quick deployment an...
Michele Magno, Federico Tombari, Davide Brunelli, ...
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
15 years 1 months ago
Underactuated control and distribution of multi-agent systems in stratified flow environments
The present paper shows how vertical actuation alone may be used to effectively control the spatial distribution of mobile vehicles ("balloons" in air, or "drifters&...
Robert H. Krohn, Thomas R. Bewley