1750 search results - page 296 / 350 » Formal multiple-bernoulli models for language modeling |
114
click to vote
SP
2010
IEEE
14 years 7 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
PODS
2006
ACM
15 years 10 months ago
2006
ACM
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
104
click to vote
VLDB
2007
ACM
15 years 3 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...