1940 search results - page 21 / 388 » Dependable Software: An Oxymoron |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
INFORMATIKTAGE
2008
13 years 9 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
ICSE
2009
IEEE-ACM
14 years 3 days ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE