Sciweavers

925 search results - page 15 / 185
» A Solution to the Extended GCD Problem
Sort
View
SCS
2001
13 years 9 months ago
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
Simon Connelly, Jay Burmeister, Anthony MacDonald,...
ICUMT
2009
13 years 5 months ago
Extending middleware frameworks for Wireless Sensor Networks
We define sensor middleware as the binding code mainly running between the sensor OS and applications g programming abstractions to bridge the gap between application developers an...
Syed Rehan Afzal, Christophe Huygens, Wouter Joose...
MP
2006
90views more  MP 2006»
13 years 7 months ago
Solving multistage asset investment problems by the sample average approximation method
The vast size of real world stochastic programming instances requires sampling to make them practically solvable. In this paper we extend the understanding of how sampling affects ...
Jörgen Blomvall, Alexander Shapiro
AIPS
2003
13 years 9 months ago
A Framework for Planning with Extended Goals under Partial Observability
Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have b...
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pis...
CCS
2008
ACM
13 years 9 months ago
VEP: a virtual machine for extended proof-carrying code
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
Heidar Pirzadeh, Danny Dubé