1528 search results - page 178 / 306 » Performance Assertion Checking |
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Test sets that detect each target fault n times (n-detection test sets) are typically generated for restricted values of n due to the increase in test set size with n. We perform ...
112
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Peer-to-Peer protocols and applications have drawn much attention. Freenet is a groundbreaking Peer-to-Peer system that protects the anonymity of information producers, consumers,...
104
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
128
click to vote
ICAPR
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a method for accurately segmenting moving container trucks in image sequences. This task allows to increase the performance of a recognition system that must id...
144
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...