Sciweavers

9210 search results - page 1625 / 1842
» Analyzing Real-Time Systems
Sort
View
SIAMCO
2010
147views more  SIAMCO 2010»
13 years 8 months ago
Anytime Reliable Transmission of Real-Valued Information through Digital Noisy Channels
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
Giacomo Como, Fabio Fagnani, Sandro Zampieri
SOSYM
2010
176views more  SOSYM 2010»
13 years 8 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
SSIRI
2010
13 years 8 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
TCOM
2010
115views more  TCOM 2010»
13 years 8 months ago
QoS Analysis of a Scheduling Policy for Heterogeneous Users Employing AMC Jointly with ARQ
—This paper analyzes the quality of service (QoS) of scheduling algorithms for heterogeneous users in multiuser (MU) wireless systems that take advantage from a crosslayer design...
Mario Poggioni, Luca Rugini, Paolo Banelli
TCS
2010
13 years 8 months ago
Stability analysis of the reproduction operator in bacterial foraging optimization
One of the major operators of Bacterial Foraging Optimization Algorithm (BFOA) is the reproduction phenomenon of virtual bacteria each of which models one trial solution of the op...
Arijit Biswas, Swagatam Das, Ajith Abraham, Sambar...
« Prev « First page 1625 / 1842 Last » Next »