Sciweavers

840 search results - page 133 / 168
» Programming the future
Sort
View
WSC
2007
13 years 10 months ago
A test implementation of the core manufacturing simulation data specification
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
Marcus Johansson, Björn Johansson, Anders Sko...
AUTONOMICS
2008
ACM
13 years 9 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
CHI
2005
ACM
13 years 9 months ago
Designs for home life
In this Special Interest Group (SIG) we intend to consider the increasingly popular area of interactive systems design for the home. Aiming to incorporate a wide range of perspect...
A. J. Bernheim Brush, Leysia Palen, Laurel Swan, A...
ICSE
2010
IEEE-ACM
13 years 9 months ago
Requirements reflection: requirements as runtime entities
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony ...
CPAIOR
2008
Springer
13 years 9 months ago
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization
The one-step anticipatory algorithm (1s-AA) is an online algorithm making decisions under uncertainty by ignoring future non-anticipativity constraints. It makes near-optimal decis...
Luc Mercier, Pascal Van Hentenryck