5433 search results - page 940 / 1087 » Tool Support for Traceability-Adaptation |
188
click to vote
HPDC
2008
IEEE
16 years 28 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
153
click to vote
NOMS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
204
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
168
click to vote
FOCS
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we resolve the smoothed and approximative complexity of low-rank quasi-concave minimization, providing both upper and lower bounds. As an upper bound, we provide th...
171
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...