7139 search results - page 1312 / 1428 » Language Engineering in Practice |
131
click to vote
WSC
1989
15 years 5 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
178
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 5 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
170
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
135
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
133
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...