488 search results - page 26 / 98 » Derivation of Java Monitors |
110
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Calibrated strategies can be obtained by performing strategies that have no internal regret in some auxiliary game. Such strategies can be constructed explicitly with the use of B...
110
click to vote
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
136
click to vote
COLT
2003
Springer
15 years 7 months ago
2003
Springer
We study on-line play of repeated matrix games in which the observations of past actions of the other player and the obtained reward are partial and stochastic. We define the Part...
76
Voted
GIS
2010
ACM
15 years 27 days ago
2010
ACM
Monitoring vegetation condition is an important issue in the Mediterranean region, in terms of both securing food and preventing fires. Vegetation indices (VIs), mathematical tran...
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the problem of selection and discovery of a consistent availability monitoring overlay for computer hosts in a large-scale distributed application, where host...