Sciweavers

15860 search results - page 2641 / 3172
» Agent-Based Software Engineering
Sort
View
COMPSAC
2009
IEEE
15 years 11 months ago
Towards a Theory for Testing Non-terminating Programs
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
Arnaud Gotlieb, Matthieu Petit
COMPSAC
2009
IEEE
15 years 11 months ago
Transaction Level Control for Application Execution on the SegBus Platform
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
Tiberiu Seceleanu, Ivica Crnkovic, Cristina Cersch...
190
Voted
IUI
2009
ACM
15 years 11 months ago
Collaborative translation by monolinguals with machine translators
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...
Daisuke Morita, Toru Ishida
FASE
2009
Springer
15 years 11 months ago
Algorithms for Automatically Computing the Causal Paths of Failures
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...
William N. Sumner, Xiangyu Zhang
ICSR
2009
Springer
15 years 11 months ago
Consistency Checking for Component Reuse in Open Systems
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...
Peter Henderson, Matthew J. Henderson
« Prev « First page 2641 / 3172 Last » Next »