Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
In this paper, we present the concept for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of translation usin...
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...