Sciweavers

3658 search results - page 467 / 732
» Founding properties on measurement
Sort
View
183
Voted
ISSRE
2002
IEEE
15 years 11 months ago
A Flexible Generator Architecture for Improving Software Dependability
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
Christof Fetzer, Zhen Xiao
CAIP
2001
Springer
129views Image Analysis» more  CAIP 2001»
15 years 11 months ago
MPEG 2-Based Video Coding with Three-Layer Mixed Scalability
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
Marek Domanski, Slawomir Mackowiak
188
Voted
CONCUR
2001
Springer
15 years 11 months ago
Probabilistic Information Flow in a Process Algebra
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
Alessandro Aldini
EMMCVPR
2001
Springer
15 years 11 months ago
Averaged Template Matching Equations
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
Anil N. Hirani, Jerrold E. Marsden, James Arvo
GI
2001
Springer
15 years 11 months ago
Proactive Services in a Distributed Traffic Telematics Application
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
Nils Gura, Albert Held, Jörg Kaiser