2638 search results - page 110 / 528 » A Framework for Automatic Debugging |
92
Voted
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
100
click to vote
ICEGOV
2007
ACM
15 years 5 months ago
2007
ACM
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and pr...
95
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
69
Voted
EACL
1989
ACL Anthology
15 years 2 months ago
1989
ACL Anthology
A framework for translating speaker's meaning or intention is proposed based on two notions, Illocutionary Force Types (IFTs) for analysis and Decision Parameters (DPs) for g...