3951 search results - page 273 / 791 » Automatic amortized analysis |
157
click to vote
IEEESCC
2005
IEEE
16 years 6 days ago
2005
IEEE
In today’s IT service market customers urge providers to grant guarantees for quality of service (QoS) which are laid down in Service Level Agreements (SLAs). To satisfy custome...
152
click to vote
IWINAC
2005
Springer
16 years 3 days ago
2005
Springer
spike separation is a basic prerequisite for analyzing of the cooperative neural behavior and neural code when registering extracelluIarly. Final performance of any spike sorting m...
161
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
167
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
167
click to vote
ACMICEC
2003
ACM
15 years 12 months ago
2003
ACM
The Platform for Privacy Preferences (P3P) provides a standard computer-readable format for privacy policies and a protocol that enables web browsers to read and process these pol...