7766 search results - page 1231 / 1554 » Testing Nondeterminate Systems |
134
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In ongoing research, a collaborative peer network application is being proposed to address the scalability limitations of centralized search engines. Here we introduce a local ada...
110
Voted
WWW
2002
ACM
16 years 4 months ago
2002
ACM
We present an algorithm for translating XSLT programs into SQL. Our context is that of virtual XML publishing, in which a single XML view is defined from a relational database, an...
225
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
115
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to e...
126
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...