696 search results - page 43 / 140 » Explaining abstract counterexamples |
97
Voted
ACIVS
2006
Springer
15 years 9 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...
123
click to vote
CD
2005
Springer
15 years 8 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...
137
Voted
VSTTE
2005
Springer
15 years 8 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...
DBISP2P
2004
Springer
15 years 8 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...
124
click to vote
EMSOFT
2003
Springer
15 years 8 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...