2638 search results - page 262 / 528 » A Framework for Automatic Debugging |
195
click to vote
CIKM
2005
Springer
16 years 21 days ago
2005
Springer
A framework for describing semantic relationships among nodes in XML documents is presented. In contrast to earlier work, the XML documents may have ID references (i.e., they corr...
187
click to vote
ATAL
2004
Springer
16 years 16 days ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
212
click to vote
MSR
2009
ACM
15 years 11 months ago
2009
ACM
Software repositories provide abundance of valuable information about open source projects. With the increase in the size of the data maintained by the repositories, automated ext...
249
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
Many real-world tasks can be decomposed into pipelines of sequential operations (where subtasks may themselves be composed of one or more pipelines). JGram is a framework enabling...
184
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...