531 search results - page 68 / 107 » An Argumentation-Based Approach for Practical Reasoning |
161
Voted
ISCAPDCS
2004
15 years 5 months ago
2004
Increasing multimedia applications such as teleconferencing and video-on-demand require the Internet to effectively provide high-performance multicast support. One of the promisin...
112
Voted
ECMDAFA
2010
Springer
15 years 3 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
128
Voted
ACTA
2010
15 years 3 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
138
Voted
ENTCS
2006
15 years 3 months ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
123
Voted
JMLR
2002
15 years 3 months ago
2002
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...