Sciweavers

4743 search results - page 640 / 949
» The PlusCal Algorithm Language
Sort
View
ESOP
2009
Springer
14 years 4 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
CIKM
2009
Springer
14 years 4 months ago
A query model based on normalized log-likelihood
Leveraging information from relevance assessments has been proposed as an effective means for improving retrieval. We introduce a novel language modeling method which uses inform...
Edgar Meij, Wouter Weerkamp, Maarten de Rijke
CIKM
2009
Springer
14 years 4 months ago
A translation model for matching reviews to objects
We develop a generic method for the review matching problem, which is to match unstructured text reviews to a list of objects, where each object has a set of attributes. To this e...
Nilesh N. Dalvi, Ravi Kumar, Bo Pang, Andrew Tomki...
SEMWEB
2009
Springer
14 years 4 months ago
On Detecting High-Level Changes in RDF/S KBs
An increasing number of scientific communities rely on Semantic Web ontologies to share and interpret data within and across research domains. These common knowledge representatio...
Vicky Papavassiliou, Giorgos Flouris, Irini Fundul...
FOAL
2009
ACM
14 years 4 months ago
Enhancing base-code protection in aspect-oriented programs
Aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is cri...
Mohamed ElBendary, John Boyland