Sciweavers

8109 search results - page 219 / 1622
» A Model of Component-Based Programming
Sort
View
SAGA
2009
Springer
16 years 27 days ago
Scenario Reduction Techniques in Stochastic Programming
Stochastic programming problems appear as mathematical models for optimization problems under stochastic uncertainty. Most computational approaches for solving such models are base...
Werner Römisch
HICSS
2005
IEEE
112views Biometrics» more  HICSS 2005»
15 years 12 months ago
Activity Patterns of Pair Programming
This paper reports results from an exploratory study investigating the activity patterns of pair programming using a student project conducted over a period of nine weeks. We foun...
Lan Cao, Peng Xu
WLP
2004
Springer
15 years 11 months ago
Solving Alternating Boolean Equation Systems in Answer Set Programming
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
Misa Keinänen, Ilkka Niemelä
AGP
2003
IEEE
15 years 11 months ago
Enhancing Disjunctive Logic Programming for Ontology Specification
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
Francesco Calimeri, Stefania Galizia, Massimo Ruff...
FMICS
2006
Springer
15 years 10 months ago
jmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
Ben Krause, Tim Wahls