7766 search results - page 1025 / 1554 » Testing Nondeterminate Systems |
330
click to vote
PLDI
2009
ACM
16 years 8 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
213
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
A number of recent scams and security attacks (phishing, spyware, fake terminals, ...) hinge on a crook's ability to observe user behavior. In this paper, we describe the des...
177
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Both Repetitive Stress Injuries and laptop use have increased. The poor ergonomic design of laptops has the potential to create or exacerbate existing RSI. We propose a persuasive...
203
Voted
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data Stream Management Systems (DSMSs) must support optimized execution scheduling of multiple continuous queries on massive, and frequently bursty, data streams. Previous approac...
195
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...