1356 search results - page 70 / 272 » The ideal of verified software |
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
145
click to vote
HASE
2002
IEEE
15 years 4 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
102
click to vote
ICEIS
2009
IEEE
15 years 6 months ago
2009
IEEE
Many researchers in the software agent field use the financial domain as a test bed to develop adaptation, cooperation and learning skills of software agents. However, there are no...
CGO
2005
IEEE
15 years 5 months ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...