2638 search results - page 114 / 528 » A Framework for Automatic Debugging |
128
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
107
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
124
click to vote
ICEIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
Assigning bug reports to individual developers is typically a manual, time-consuming, and tedious task. In this paper, we present a framework for automated assignment of bug-fixi...
141
click to vote
ICDCSW
2007
IEEE
15 years 8 months ago
2007
IEEE
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...