Sciweavers

4143 search results - page 189 / 829
» A theory of distributed aspects
Sort
View
CORR
2006
Springer
151views Education» more  CORR 2006»
13 years 10 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
IPPS
2008
IEEE
14 years 4 months ago
Adaptive and dynamic intrusion detection by means of idiotypic networks paradigm
—In this paper we present a novel intrusion detection architecture based on Idiotypic Network Theory (INIDS), that aims at dealing with large scale network attacks featuring vari...
Marek Ostaszewski, Pascal Bouvry, Franciszek Sered...
IPPS
2007
IEEE
14 years 4 months ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Linear Networks
In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignme...
Thomas E. Carroll, Daniel Grosu
IPPS
2000
IEEE
14 years 2 months ago
A Decision-Process Analysis of Implicit Coscheduling
ThispaperpresentsatheoreticalframeworkbasedonBayesian decision theory for analyzing recently reported results on implicit coscheduling of parallel applications on clusters of work...
Radha Poovendran, Peter J. Keleher, John S. Baras
CMA
2011
13 years 5 months ago
Detecting critical regions in multidimensional data sets
We propose a new approach, based on the Conley index theory, for the detection and classification of critical regions in multidimensional data sets. The use of homology groups ma...
Madjid Allili, David Corriveau, Sara Deriviè...