900 search results - page 119 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
119
click to vote
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
119
click to vote
ICDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
109
click to vote
HCI
2007
15 years 2 months ago
2007
We present our current research on the implementation of gaze as an efficient and usable pointing modality supplementary to speech, for interacting with augmented objects in our da...
125
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
114
click to vote
MMSP
2008
IEEE
15 years 7 months ago
2008
IEEE
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...