2282 search results - page 272 / 457 » Active property checking |
249
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
130
click to vote
ACSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
155
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a â...
137
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
160
click to vote
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Key management is the cornerstone for secure communication in sensor networks. Researchers have recently developed many techniques to setup pairwise keys between sensor nodes. How...