7139 search results - page 1340 / 1428 » Language Engineering in Practice |
128
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
265
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
247
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
264
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
147
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...