Sciweavers

810 search results - page 54 / 162
» Continuous cartogram construction
Sort
View
MFCS
1993
Springer
14 years 1 months ago
Real Number Computability and Domain Theory
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
Pietro Di Gianantonio
EUROSYS
2007
ACM
14 years 26 days ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali
SIGGRAPH
1995
ACM
14 years 15 days ago
Image metamorphosis using snakes and free-form deformations
This paper presents new solutions to the following three problems in image morphing: feature specification, warp generation, and transition control. To reduce the burden of featu...
Seungyong Lee, Kyung-Yong Chwa, Sung Yong Shin
FORTE
2004
13 years 10 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
ECIS
2003
13 years 10 months ago
An alternative theory of legacy information systems
Organisational dependence upon IT continues to grow yet experiences of satisfaction vary widely. Problematic, aged IT is often cited as being a fundamental problem in this respect...
Ben Light