Sciweavers

12741 search results - page 173 / 2549
» Editorial and call for papers
Sort
View
CSL
2008
Springer
15 years 8 months ago
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
Ian Hodkinson, Angelo Montanari, Guido Sciavicco
GLOBECOM
2007
IEEE
15 years 8 months ago
QoT-Aware Routing in Impairment-Constrained Optical Networks
—In this paper, we consider the problem of routing and wavelength assignment (RWA) in all-optical networks, where signals propagate in the optical domain (with no electrical rege...
Jun He, Maïté Brandt-Pearce, Yvan Poin...
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
DSVIS
2008
Springer
15 years 8 months ago
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces
Abstract. Plasticity of User Interfaces (UIs) refers to the ability of UIs to withstand variations of context of use (<User, Platform, Environment>) while preserving usabilit...
Alexandre Demeure, Gaëlle Calvary, Karin Coni...
AAAI
2010
15 years 8 months ago
New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence
Mini-Bucket Elimination (MBE) is a well-known approximation algorithm deriving lower and upper bounds on quantities of interest over graphical models. It relies on a procedure tha...
Emma Rollon, Rina Dechter