263 search results - page 52 / 53 » The Conceptual Integration Modeling Framework: Abstracting f... |
PVLDB
2008
13 years 5 months ago
2008
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
TACAS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
SIAMCO
2010
13 years 1 months ago
2010
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...
KIVS
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
KI
2010
Springer
13 years 4 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...