11022 search results - page 135 / 2205 » Programming Systems for Autonomy |
158
click to vote
ANOR
2006
15 years 4 months ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
138
click to vote
QUESTA
1998
15 years 4 months ago
1998
In this paper we study monotonicity results for optimal policies of various queueing and resource sharing models. The standard approach is to propagate, for each specific model, ...
180
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
131
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
131
click to vote
SE
2008
15 years 6 months ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...