2958 search results - page 132 / 592 » Extending and Implementing RASP |
160
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
143
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
152
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
187
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
We present hoc: a fast, scalable object repository providing programmers with a general storage module. hoc may be used to implement DSMs as well as distributed cache subsystems. h...
186
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...