2958 search results - page 132 / 592 » Extending and Implementing RASP |
ISSAC
2005
Springer
14 years 2 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...
OTM
2005
Springer
14 years 2 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...
ACRI
2004
Springer
14 years 2 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...
EUROPAR
2004
Springer
14 years 2 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...
JELIA
2004
Springer
14 years 2 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...