Sciweavers

8499 search results - page 307 / 1700
» cans 2009
Sort
View
HM
2009
Springer
145views Optimization» more  HM 2009»
15 years 11 months ago
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovie...
174
Voted
ICWE
2009
Springer
15 years 11 months ago
Harnessing the Power of Semantics-Based, Aspect-Oriented Adaptation for amacont
Adaptivity in web applications raises several concerns. One demands it to be decoupled from the actual application and at the same time wants to use very domain-specific terms for ...
Matthias Niederhausen, Kees van der Sluijs, Jan Hi...
CSFW
2009
IEEE
15 years 10 months ago
Specification and Analysis of Dynamic Authorisation Policies
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
Moritz Y. Becker
199
Voted
ATAL
2009
Springer
15 years 7 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
GLOBECOM
2009
IEEE
15 years 4 months ago
Modelling of the WCDMA Interface in the UMTS Network with Soft Handoff Mechanism
The paper proposes an analytical approach to blocking probability calculation in the UMTS network carrying a mixture of multi-rate traffic, under the assumption that the part of re...
Maciej Stasiak, Piotr Zwierzykowski, Damian Parnie...