Sciweavers

3974 search results - page 662 / 795
» Metric Functional Dependencies
Sort
View
CONEXT
2008
ACM
13 years 11 months ago
Instability free routing: beyond one protocol instance
Today, a large body of research exists regarding the correctness of routing protocols. However, many reported global disruptions of Internet connectivity, e.g., inter-AS persisten...
Franck Le, Geoffrey G. Xie, Hui Zhang
ECAI
2008
Springer
13 years 11 months ago
Using Rules for the Integration of Heterogeneous and Autonomous, Context-Aware Systems
In this paper we introduce NUBIA, a middleware that combines, through business rules, information generated by heterogeneous and autonomous systems. Communication between NUBIA and...
David Mosén, Arantza Illarramendi, Mohand-S...
ICASSP
2007
IEEE
13 years 11 months ago
Variable Regularized Fast Affine Projections
This paper introduces a variable regularization method for the fast affine projection algorithm (VR-FAP). It is inspired by a recently introduced technique for variable regulariza...
Deepak Challa, Steven L. Grant, Asif Iqbal Mohamma...
EURONGI
2008
Springer
13 years 11 months ago
Connectivity Gateway Discovery in MANETs
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...
Antonio J. Yuste, Alicia Triviño-Cabrera, F...
FM
2008
Springer
127views Formal Methods» more  FM 2008»
13 years 11 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe