16206 search results - page 2870 / 3242 » Software Engineering is Not Enough |
190
click to vote
IUI
2003
ACM
16 years 2 days ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
188
click to vote
IUI
2003
ACM
16 years 2 days ago
2003
ACM
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
244
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
208
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
184
click to vote
AC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...