Sciweavers

3706 search results - page 554 / 742
» The Transformational Approach to Program Development
Sort
View
3DPVT
2004
IEEE
176views Visualization» more  3DPVT 2004»
15 years 6 months ago
3D Model Retrieval Based on 2D Slice Similarity Measurements
In this paper, we present an approach based on 2D slices for measuring similarity between 3D models. The key idea is to represent the 3D model by a series of slices along certain ...
Jiantao Pu, Yi Liu, Guyu Xin, Hongbin Zha, Weibin ...
130
Voted
APSEC
2004
IEEE
15 years 6 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
EDBTW
2006
Springer
15 years 6 months ago
Dynamic Plan Migration for Snapshot-Equivalent Continuous Queries in Data Stream Systems
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
Jürgen Krämer, Yin Yang, Michael Cammert...
HYBRID
2000
Springer
15 years 6 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
PDPTA
2008
15 years 4 months ago
Intrusion-Tolerant Dissemination in Large-Scale Systems
Abstract - With the growth of the Internet and increased demand for Web Services has come a heightened need for scalable wide-area group communication systems. The need for trust i...
Kim Potter Kihlstrom, Robin Elliott, Kelsey Marshm...