Sciweavers

458 search results - page 67 / 92
» Monitoring of a Class of Timed Discrete Events Systems
Sort
View
WDAG
2007
Springer
132views Algorithms» more  WDAG 2007»
14 years 2 months ago
Detecting Temporal Logic Predicates on Distributed Computations
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
Vinit A. Ogale, Vijay K. Garg
EPEW
2008
Springer
13 years 10 months ago
Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust
The problem of finding trust paths and estimating the trust one can place in a partner arises in various application areas, including virtual organisations, authentication systems ...
Huqiu Zhang, Aad P. A. van Moorsel
AUIC
2004
IEEE
14 years 15 days ago
Rapidly Prototyping Single Display Groupware through the SDGToolkit
Researchers in Single Display Groupware (SDG) explore how multiple users share a single display such as a computer monitor, a large wall display, or an electronic tabletop display...
Edward Tse, Saul Greenberg
IJCNN
2006
IEEE
14 years 2 months ago
A Monte Carlo Sequential Estimation for Point Process Optimum Filtering
— Adaptive filtering is normally utilized to estimate system states or outputs from continuous valued observations, and it is of limited use when the observations are discrete e...
Yiwen Wang 0002, António R. C. Paiva, Jose ...
MCSS
2007
Springer
13 years 8 months ago
A complete model of a finite-dimensional impedance-passive system
We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...
Mikael Kurula, Olof J. Staffans