817 search results - page 48 / 164 » A Declarative Framework for Analysis and Optimization |
ENTCS
2006
13 years 7 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
SAB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
P2P
2007
IEEE
14 years 2 months ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
—We present a game-theoretic study on the power and rate control problem in IEEE 802.11 WLANs where network participants choose appropriate transmission power and data rate to ac...