Sciweavers

1296 search results - page 225 / 260
» Design and Implementation of Semantic Web Applications
Sort
View
CCECE
2006
IEEE
14 years 2 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ESOP
2004
Springer
14 years 2 months ago
Linear Types for Packet Processing
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
Robert Ennals, Richard Sharp, Alan Mycroft
ACMSE
2007
ACM
14 years 20 days ago
Hierarchical land cover information retrieval in object-oriented remote sensing image databases with native queries
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
Jiang Li
AVI
2004
13 years 10 months ago
A graph-based interface to complex hypermedia structure visualization
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
Manuel Freire, Pilar Rodríguez
IJVR
2008
100views more  IJVR 2008»
13 years 8 months ago
User Pluggable Animation Components in Multi-user Virtual Environment
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
Yu-Lin Chu, Tsai-Yen Li, Cheng-Chia Chen