2236 search results - page 421 / 448 » Language Independence and Language Tolerance in Logic Progra... |
108
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
ICML
2005
IEEE
16 years 16 days ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
SIGMOD
1999
ACM
15 years 4 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
190
click to vote
ICDE
2001
IEEE
16 years 1 months ago
2001
IEEE
The paper studies the impact of several lock manager designs on the overhead imposed to a persistent programming language by automated object locking. Our study reveals that a loc...
ICALP
2009
Springer
16 years 11 hour ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...