531 search results - page 76 / 107 » An Argumentation-Based Approach for Practical Reasoning |
117
Voted
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
128
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
126
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
142
Voted
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
111
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...