To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...