Sciweavers

4445 search results - page 498 / 889
» Reflective Authorization Systems
Sort
View
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
15 years 1 months ago
Construction of Lyapunov functions for piecewise-deterministic Markov processes
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
Alexandre R. Mesquita, João Pedro Hespanha
GIS
2010
ACM
15 years 1 months ago
Geoblogging: user-contributed geospatial data collection and fusion
One cannot deny that space and time are important to us. We perceive our world with respect to where and when we do things. We advocate geoblogging as a tool to capture such exper...
Dieter Pfoser, Charikleia Lontou, Euthymios Drymon...
SBMF
2010
Springer
164views Formal Methods» more  SBMF 2010»
15 years 1 months ago
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Io...
BMCBI
2011
15 years 1 months ago
Was the Scanner Calibration Slide Used for Its Intended Purpose?
In the article, Scanner calibration revisited, BMC Bioinformatics 2010, 11:361, Dr. Pozhitkov used the Scanner Calibration Slide, a key product of Full Moon BioSystems to generate...
Shannon Zhang, Yaping Zong
PODC
2012
ACM
13 years 9 months ago
Iterative approximate byzantine consensus in arbitrary directed graphs
This paper proves a necessary and sufficient condition for the existence of iterative algorithms that achieve approximate Byzantine consensus in arbitrary directed graphs, where e...
Nitin H. Vaidya, Lewis Tseng, Guanfeng Liang