Sciweavers

10996 search results - page 1860 / 2200
» Future Directions in Computing
Sort
View
CONCUR
2003
Springer
15 years 12 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
DBPL
2003
Springer
73views Database» more  DBPL 2003»
15 years 12 months ago
Updates and Incremental Validation of XML Documents
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
Béatrice Bouchou, Mirian Halfeld Ferrari Al...
ECAL
2003
Springer
15 years 12 months ago
Low-Level Visual Homing
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...
Andrew Vardy, Franz Oppacher
GCC
2003
Springer
15 years 12 months ago
A Collaborative Multimedia Authoring System
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...
Mee Young Sung, Do Hyung Lee
GCC
2003
Springer
15 years 12 months ago
Dominating-Set-Based Searching in Peer-to-Peer Networks
— The peer-to-peer network for sharing information and data through direct exchange has emerged rapidly in recent years. The searching problem is a basic issue that addresses the...
Chunlin Yang, Jie Wu
« Prev « First page 1860 / 2200 Last » Next »