891 search results - page 117 / 179 » Towards Reasoning Pragmatics |
107
click to vote
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...
CHI
1993
ACM
15 years 4 months ago
1993
ACM
A design rationale (DR) is a representation of the reasoning which has been invested in a design [1]. This short paper describes the use of the QOC Design Space Analysis approach ...
131
click to vote
CONCUR
1994
Springer
15 years 4 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
116
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...