696 search results - page 43 / 140 » Explaining abstract counterexamples |
129
click to vote
ACIVS
2006
Springer
15 years 12 months ago
2006
Springer
A new design for image processing frameworks is proposed. The new design addresses high-level abstractions suited for componentbased image processing applications, in particular re...
163
click to vote
CD
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
178
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
124
click to vote
DBISP2P
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we describe the design of PIRS, a peer-topeer information retrieval system. PIRS satisfies many of the goals of P2P computing in a way that other P2P IR s...
144
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...