Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
In response to the difficulties experienced by the automotive industry in adopting new procurement technology this research investigates an emerging phenomenon: electronic interor...
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang,...
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
Automatic segmentation of bony structures in CT angiography datasets is an essential pre-processing step necessary for most visualization and analysis tasks. Since traditional den...