Sciweavers

1631 search results - page 46 / 327
» Extreme Programming - Back to Basics
Sort
View
ENTCS
2006
114views more  ENTCS 2006»
15 years 2 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
Luca Bortolussi
LPNMR
2005
Springer
15 years 8 months ago
SELP - A System for Studying Strong Equivalence Between Logic Programs
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
Yin Chen, Fangzhen Lin, Lei Li
87
Voted
HCI
2009
15 years 7 days ago
Management of Work Site Health-Promotion Programs: A Review
The review starts with the assessment of needs for health promotion, particularly drawing upon the aging of the workforce in Europe and U.S. Basic intervention models for work site...
Bernhard Zimolong, Gabriele Elke
CONCURRENCY
2000
106views more  CONCURRENCY 2000»
15 years 2 months ago
Performance characteristics for OpenMP constructs on different parallel computer architectures
OpenMP is emerging as a quasi-standard for shared memory parallel programming on small SMP-systems. To serve as a common programming interface in shared memory parallel programmin...
Rudolf Berrendorf, Guido Nieken
ASP
2003
Springer
15 years 7 months ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke