2501 search results - page 110 / 501 » Obligations and Their Interaction with Programs |
IWPC
2005
IEEE
14 years 2 months ago
2005
IEEE
Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...
LOPSTR
1995
Springer
14 years 13 days ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
Grants are offered for faculty to develop technology courseware projects in universities including Hangzhou Dianzi University (HDU). One of the important factors in courseware deve...
ICLP
2010
Springer
14 years 24 days ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
CHI
1998
ACM
14 years 1 months ago
1998
ACM
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...