1894 search results - page 253 / 379 » Towards Mobile Reasoning |
148
Voted
ASP
2003
Springer
15 years 8 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...
132
Voted
IPPS
1997
IEEE
15 years 7 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...
116
Voted
CHI
1993
ACM
15 years 7 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 ...
173
Voted
CONCUR
1994
Springer
15 years 7 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...
154
Voted
AGTIVE
2007
Springer
15 years 7 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...