3053 search results - page 328 / 611 » A Logic of Abstract Argumentation |
187
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—The end-to-end nature of Internet congestion control is an important factor in its scalability and robustness. However, end-to-end congestion control algorithms alone ar...
224
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
208
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
158
click to vote
ARITH
1997
IEEE
15 years 11 months ago
1997
IEEE
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
204
click to vote
ITS
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...