Sciweavers

36 search results - page 6 / 8
» A Framework for Symbolic Distributed Computer-Aided Design o...
Sort
View
CONCUR
1998
Springer
13 years 10 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
ICMCS
2005
IEEE
126views Multimedia» more  ICMCS 2005»
13 years 11 months ago
Semantic Routing and Filtering for Large-Scale Video Streams Monitoring
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
Ching-Yung Lin, Olivier Verscheure, Lisa Amini
GIS
2005
ACM
14 years 6 months ago
Automatic extraction of road intersections from raster maps
Numerous raster maps are available on the Internet, but the geographic coordinates of the maps are often unknown. In order to determine the precise location of a raster map, we ex...
Yao-Yi Chiang, Craig A. Knoblock, Ching-Chien Chen
ICWE
2011
Springer
12 years 9 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
WIDM
2004
ACM
13 years 11 months ago
XPath lookup queries in P2P networks
We address the problem of querying XML data over a P2P network. In P2P networks, the allowed kinds of queries are usually exact-match queries over file names. We discuss the exte...
Angela Bonifati, Ugo Matrangolo, Alfredo Cuzzocrea...