1312 search results - page 198 / 263 » Embedded contract languages |
103
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
One of the key benefits of XML is its ability to represent a mix of structured and unstructured (text) data. Although current XML query languages such as XPath and XQuery can expr...
109
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
Despite recent advances in natural language question answering technology, the problem of designing effective user interfaces has been largely unexplored. We conducted a user stud...
253
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
118
Voted
PODS
2008
ACM
16 years 3 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
108
Voted
ICCAD
2005
IEEE
16 years 9 days ago
2005
IEEE
—Existing ASIPs (application-specific instruction-set processors) and compiler-based co-processor synthesis approaches meet the increasing performance requirements of embedded ap...