3440 search results - page 621 / 688 » Logics For Context-Free Languages |
164
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
151
click to vote
AI
2007
Springer
16 years 17 days ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘or...
180
click to vote
ESORICS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
149
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
173
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...