Sciweavers

1003 search results - page 109 / 201
» How to Parallelize Sequential Processes
Sort
View
ECOOPW
1994
Springer
14 years 1 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
AGILEDC
2005
IEEE
14 years 2 months ago
Case Study of Customer Input For a Successful Product
Both agile development and User Centered Design stress collaboration between customers and product teams, but getting these methodologies to work well together is not easy. This p...
Lynn Miller
ICMLA
2010
13 years 6 months ago
Robust Learning for Adaptive Programs by Leveraging Program Structure
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...
Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
PE
2011
Springer
365views Optimization» more  PE 2011»
13 years 3 months ago
Optimal resource allocation for time-reservation systems
This paper studies the optimal resource allocation in time-reservation systems. Customers arrive at a service facility and receive service in two steps; in the first step informa...
Ran Yang, Sandjai Bhulai, Rob van der Mei, Frank J...
SG
2007
Springer
14 years 3 months ago
Visualization of Uncertainty and Reasoning
This article gathers and consolidates the issues involved in uncertainty relating to reasoning and analyzes how uncertainty visualizations can support cognitive and meta-cognitive ...
Torre Zuk, M. Sheelagh T. Carpendale