26151 search results - page 244 / 5231 » Parameterized system design |
158
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The online trust discussion is focused on mechanisms for building and maintaining user trust. This paper introduces the relevance of providing for the repair of trust breakdowns. ...
169
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a novel architecture to support large scale stream processing services in a widely distributed environment. The proposed system, COSMOS, distinguishes it...
173
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
Consumers have high expectations about the video and audio quality delivered by media processing devices like TVsets, DVD-players and digital radios. Predictable heterogenous appl...
142
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
210
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...