Sciweavers

14360 search results - page 2468 / 2872
» Time Modeling in MARTE
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks
Mobile ad hoc networks (MANETs) define a challenging computing scenario where access to resources is restrained by connectivity among hosts. Replication offers an opportunity to in...
Amy L. Murphy, Gian Pietro Picco
CP
2006
Springer
15 years 10 months ago
Distributed Constraint-Based Local Search
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...
Laurent Michel, Andrew See, Pascal Van Hentenryck
CSCLP
2006
Springer
15 years 10 months ago
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...
Francisco Azevedo
DRM
2006
Springer
15 years 10 months ago
Proteus: virtualization for diversified tamper-resistance
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
Bertrand Anckaert, Mariusz H. Jakubowski, Ramarath...
ECAI
2006
Springer
15 years 10 months ago
The Incompleteness of Planning with Volatile External Information
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
Tsz-Chiu Au, Dana S. Nau
« Prev « First page 2468 / 2872 Last » Next »