2501 search results - page 173 / 501 » Obligations and Their Interaction with Programs |
JUCS
2007
13 years 9 months ago
2007
: Student satisfaction with distance learning is impacted by a variety of factors, including interaction with the instructor and the structure of the course. Satisfaction with dist...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
ML
1998
ACM
13 years 8 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
ATAL
2011
Springer
12 years 9 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
IPSN
2010
Springer
14 years 3 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...