19003 search results - page 298 / 3801 » We Need Assurance |
166
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...
172
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
We look at the essential thinking skills students need to learn in the introductory computer science course based on object-oriented programming. We create a framework for such a ...
172
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
168
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
147
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...