1204 search results - page 109 / 241 » Termination of Polynomial Programs |
114
click to vote
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
77
Voted
WSC
2008
15 years 3 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
91
Voted
NIPS
2000
15 years 2 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
120
click to vote
SP
2008
IEEE
15 years 19 days ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
104
Voted
LOGCOM
2007
15 years 18 days ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...