3691 search results - page 504 / 739 » Bayesian Logic Programs |
143
Voted
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
173
click to vote
IFL
2005
Springer
16 years 1 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
164
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
175
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
193
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...