16725 search results - page 2681 / 3345 » Engineering Software Correctness |
182
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Rank correlation statistics are useful for determining whether a there is a correspondence between two measurements, particularly when the measures themselves are of less interest...
182
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
172
click to vote
DELTA
2008
IEEE
16 years 1 months ago
2008
IEEE
The advances of CMOS technology towards 45 nm, the high costs of ASIC design, power limitations and fast changing application requirements have stimulated the usage of highly reco...
192
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—As network topologies have grown in size and complexity, it is becoming a daunting task for network administrators to keep track the capacity dimensioning of newly insta...
200
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...