Sciweavers

1700 search results - page 128 / 340
» Specifying and implementing refactorings
Sort
View
ITNG
2008
IEEE
15 years 11 months ago
Towards a Model Driven Autonomic Management System
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
Laurent Broto, Daniel Hagimont, Estella Annoni, Be...
MEMOCODE
2008
IEEE
15 years 11 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
PDP
2008
IEEE
15 years 11 months ago
Type Safe Algorithmic Skeletons
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
Denis Caromel, Ludovic Henrio, Mario Leyton
131
Voted
CISS
2007
IEEE
15 years 11 months ago
Wireless Multicasting with Channel Uncertainty
— We consider wireless multicasting where a source of common information is transmitted to a group of receivers over block fading channels. Communication between the transmitter ...
Jie Luo, Anthony Ephremides
DASFAA
2007
IEEE
153views Database» more  DASFAA 2007»
15 years 11 months ago
Interval-Focused Similarity Search in Time Series Databases
Similarity search in time series databases usually deals with comparing entire time series objects or subsequence search. In this paper, we formalize the notion of interval-focused...
Johannes Aßfalg, Hans-Peter Kriegel, Peer Kr...