Sciweavers

2143 search results - page 263 / 429
» corr 2010
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 6 months ago
Certification Authority Monitored Multilevel and Stateful Policy Based Authorization in Services Oriented Grids
Services oriented grids will be more prominent among other kinds of grids in the present distributed environments. With the advent of online government services the governmental g...
Ajay Prasad, Saurabh Singh Verma, Ashok Kumar Shar...
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 6 months ago
Decomposition of the NVALUE constraint
We study decompositions of the global NVALUE constraint. Our main contribution is theoretical: we show that there are propagators for global constraints like NVALUE which decomposi...
Christian Bessiere, George Katsirelos, Nina Narody...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 6 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
CORR
2010
Springer
76views Education» more  CORR 2010»
15 years 6 months ago
Queue Length Asymptotics for Generalized Max-Weight Scheduling in the presence of Heavy-Tailed Traffic
We investigate the asymptotic behavior of the steady-state queue length distribution under generalized maxweight scheduling in the presence of heavy-tailed traffic. We consider a s...
Krishna P. Jagannathan, Mihalis Markakis, Eytan Mo...
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Stable partitions in additively separable hedonic games
Abstract. We present computational results concerning stable partitions in additively separable hedonic games. First, we propose a polynomial-time algorithm to compute a contractua...
Haris Aziz, Felix Brandt, Hans Georg Seedig