Sciweavers

266 search results - page 24 / 54
» Can Saturation Be Parallelised
Sort
View
DEXAW
2005
IEEE
155views Database» more  DEXAW 2005»
14 years 1 months ago
MediaPeer: A Safe, Scalable P2P Architecture for XML Query Processing
Increasing popularity of XML and P2P networks has generated much interest in distributed processing of XML data. We propose a novel solution organized around a mediator capable of...
Florin Dragan, Georges Gardarin, Laurent Yeh
TGC
2005
Springer
14 years 26 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
ICASSP
2010
IEEE
13 years 7 months ago
Stability analysis of an adaptive Wiener structure
In the context of digital pre-distortion, a typical requirement is to identify the power amplifier with stringently low computational complexity. Accordingly, we consider a simpl...
Robert Dallinger, Markus Rupp
EOR
2007
88views more  EOR 2007»
13 years 7 months ago
To ask or not to ask, that is the question
Applicants for credit have to provide information for the risk assessment process. In the current conditions of a saturated consumer lending market, and hence falling take rates, ...
Hsin-Vonn Seow, Lyn C. Thomas
CADE
2006
Springer
14 years 7 months ago
Tree Automata with Equality Constraints Modulo Equational Theories
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
Florent Jacquemard, Laurent Vigneron, Michaël...