Sciweavers

8398 search results - page 449 / 1680
» Optimal Software Testing
Sort
View
DCC
2002
IEEE
16 years 6 months ago
PPMexe: PPM for Compressing Software
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
Milenko Drinic, Darko Kirovski
CHI
2010
ACM
16 years 1 months ago
Communicating software agreement content using narrative pictograms
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
Matthew Kay, Michael Terry
ETRA
2006
ACM
165views Biometrics» more  ETRA 2006»
16 years 26 days ago
Empathic tutoring software agents using real-time eye tracking
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...
Hua Wang, Mark H. Chignell, Mitsuru Ishizuka
QSIC
2005
IEEE
16 years 14 days ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
WETICE
2005
IEEE
16 years 14 days ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop