7380 search results - page 708 / 1476 » Engineering Software Intensive Systems |
192
click to vote
VMCAI
2004
Springer
16 years 18 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
200
click to vote
IUI
2003
ACM
16 years 15 days ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
152
click to vote
IUI
2003
ACM
16 years 15 days ago
2003
ACM
This paper describes an approach to digesting threads of archived discussion lists by clustering messages into approximate topical groups, and then extracting shorter overviews, a...
192
click to vote
PPPJ
2003
ACM
16 years 15 days ago
2003
ACM
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
180
click to vote
PPPJ
2003
ACM
16 years 15 days ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...