1528 search results - page 178 / 306 » Performance Assertion Checking |
144
click to vote
DATE
2005
IEEE
15 years 12 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 ...
164
click to vote
HICSS
2005
IEEE
15 years 12 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,...
152
click to vote
GECCO
2005
Springer
15 years 12 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...
187
click to vote
ICAPR
2005
Springer
15 years 12 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...
217
click to vote
ICTAC
2005
Springer
15 years 12 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...