561 search results - page 93 / 113 » Research in Software Engineering: Paradigms and Methods |
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
Published data is prone to privacy attacks. Sanitization methods aim to prevent these attacks while maintaining usefulness of the data for legitimate users. Quantifying the trade-...
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
UIST
2003
ACM
14 years 27 days ago
2003
ACM
This paper describes a new music-playback interface for trial listening, SmartMusicKIOSK. In music stores, short trial listening of CD music is not usually a passive experience â€...
CN
2006
13 years 7 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...