3792 search results - page 397 / 759 » Techniques for Trusted Software Engineering |
155
click to vote
PEPM
2004
ACM
16 years 4 days ago
2004
ACM
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
170
click to vote
VMCAI
2004
Springer
16 years 4 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...
162
click to vote
AUIC
2003
IEEE
16 years 3 days ago
2003
IEEE
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
171
click to vote
IWPC
2003
IEEE
16 years 2 days ago
2003
IEEE
Source code clones are copies or near-copies of other portions of code, often created by copying and pasting portions of source code. This working session is concerned with buildi...
179
click to vote
IUI
2003
ACM
16 years 1 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...