2747 search results - page 402 / 550 » Non-oblivious Strategy Improvement |
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
CRW
1998
Springer
15 years 3 months ago
1998
Springer
A well designed cooperation strategy for a task oriented multi-agent team is important as it can improve performance. A challenging research issue in cooperation concerns the exten...
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
This paper presents an approach to the study of cognitive activities in collaborative software development. This approach has been developed by a multidisciplinary team made up of...
IPPS
1997
IEEE
15 years 3 months ago
1997
IEEE
WWW-based Internet information service has grown enormously during the last few years, and major performance bottlenecks have been caused by WWW server and Internet bandwidth inad...
ACSE
1997
ACM
15 years 3 months ago
1997
ACM
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...