1406 search results - page 137 / 282 » Software trace cache |
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This work proposes a new methodology for intelligent classification and retrieval of software components based on user–defined requirements. The classification scheme utilizes a...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
SOFTVIS
2003
ACM
14 years 3 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
ETRA
2006
ACM
14 years 4 months ago
2006
ACM
This paper describes an empathic software agent (ESA) interface using eye movement information to facilitate empathy-relevant reasoning and behavior. Eye movement tracking is used...
DSN
2008
IEEE
14 years 3 days ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...