2697 search results - page 171 / 540 » Collaborative interactive evolution |
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
APAQS
2001
IEEE
15 years 2 months ago
2001
IEEE
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
JCAL
2002
14 years 10 months ago
2002
As computing technology has increasingly become relevant to people's everyday lives, emphasis is being placed on ensuring Computer Assisted Learning (CAL) tools support users ...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
Computer gaming offers a unique test-bed and market for advanced concepts in computer science, such as Human Computer Interaction (HCI), computer-supported collaborative work (CSC...
CRIWG
2001
14 years 12 months ago
2001
This paper analyzes some of the factors that prevent knowledge construction and reuse in traditional library settings and describes VRef, an environment designed to provide users ...