Sciweavers

4139 search results - page 472 / 828
» Designing and Implementing Combinator Languages
Sort
View
SSS
2010
Springer
103views Control Systems» more  SSS 2010»
15 years 5 months ago
A Provably Starvation-Free Distributed Directory Protocol
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...
Hagit Attiya, Vincent Gramoli, Alessia Milani
BIOCOMP
2010
15 years 5 months ago
A Hierarchical Decision Engine for Computer Aided Lung Nodule Detection from CT Images
- We present a novel hierarchical modular decision engine for lung nodule detection from CT images implemented by Artificial Neural Networks. The proposed Computer Aided Detection ...
Ömer M. Soysal, Jianhua Chen, Steven Bujenovi...
AOSD
2005
ACM
16 years 1 months ago
Adaptive programming in JAsCo
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
Wim Vanderperren, Davy Suvée, Bart Verheeck...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
16 years 1 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ICLP
1999
Springer
15 years 11 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo