1739 search results - page 202 / 348 » Writing Good Software Engineering Research Paper |
113
click to vote
IUI
2000
ACM
15 years 7 months ago
2000
ACM
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...
134
Voted
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...
129
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
128
click to vote
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
130
Voted
COMPSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...