1469 search results - page 174 / 294 » Study of virtual organizations using multi-agent system |
141
click to vote
CBMS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we propose a CBIR system for retrieval ofnormal anatomical regions present in Computed Tomography studies of the chest and abdomen. We implement and compare eight si...
154
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
214
click to vote
IC
2003
15 years 7 months ago
2003
: Remote real laboratories deal with performing real lab experiments remotely via Internet. Recent advances in Internet/web technologies and computer-controlled instrumentation all...
186
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
183
click to vote
FCS
2006
15 years 7 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...