Sciweavers

17129 search results - page 2940 / 3426
» Applied Computing
Sort
View
POLICY
2005
Springer
16 years 11 days ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
PROFES
2005
Springer
16 years 10 days ago
Framework for Integrating Usability Practices into the Software Process
Software development organizations wanting to introduce usability practices into their defined software process have to undertake laborious efforts for that purpose, since, for the...
Xavier Ferré, Natalia Juristo Juzgado, Ana ...
SSD
2005
Springer
98views Database» more  SSD 2005»
16 years 10 days ago
Medoid Queries in Large Spatial Databases
Assume that a franchise plans to open k branches in a city, so that the average distance from each residential block to the closest branch is minimized. This is an instance of the ...
Kyriakos Mouratidis, Dimitris Papadias, Spiros Pap...
WLP
2005
Springer
16 years 10 days ago
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints
Abstract. Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, on...
Marco Alberti, Federico Chesani, Alessio Guerri, M...
137
Voted
DSOM
2005
Springer
16 years 10 days ago
Can Dynamic Provisioning and Rejuvenation Systems Coexist in Peace?
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...
Raquel Vigolvino Lopes, Walfredo Cirne, Francisco ...
« Prev « First page 2940 / 3426 Last » Next »