Sciweavers

8278 search results - page 453 / 1656
» Context-Aware Process Networks
Sort
View
157
Voted
ICASSP
2009
IEEE
16 years 1 months ago
Evaluating digital audio authenticity with spectral distances and ENF phase change
This paper discusses the use of spectral distances obtained from adaptive filters employed as linear predictors and phase change of the electric network frequency to evaluate dig...
Daniel Patricio Nicolalde, Jose Antonio Apolinario
ICASSP
2009
IEEE
16 years 1 months ago
Interval consensus: From quantized gossip to voting
We design distributed and quantized average consensus algorithms on arbitrary connected networks. By construction, quantized algorithms cannot produce a real, analog average. Inst...
Florence Bénézit, Patrick Thiran, Ma...
RP
2009
Springer
110views Control Systems» more  RP 2009»
16 years 1 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
DSRT
2008
IEEE
16 years 1 months ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
NCA
2008
IEEE
16 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou