Search Sciweavers | Sciweavers

15614 search results - page 277 / 3123

» The State of State

140

Voted

CDC
2009
IEEE

103views Control Systems» more CDC 2009»

Networked state estimation over a Gilbert-Elliot type channel

15 years 11 months ago

Download www.kth.se

Abstract— We characterize the stability and achievable performance of networked estimation under correlated packet losses described by the Gilbert-Elliot model. For scalar contin...

Peter Almstrom, Maben Rabi, Mikael Johansson

claim paper

Read More »

165

Voted

COLCOM
2009
IEEE

185views Distributed And Parallel Com...» more COLCOM 2009»

Building a stateful reference monitor with coloured petri nets

15 years 11 months ago

Download www.list.gmu.edu

The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...

Basel Katt, Michael Hafner, Xinwen Zhang

claim paper

Read More »

157

click to vote

APLAS
2009
ACM

122views Programming Languages» more APLAS 2009»

15 years 11 months ago

Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable

Download basics.sjtu.edu.cn

In this paper we present polynomial time algorithms deciding branching bisimilarity between ﬁnite-state systems and several classes of inﬁnite-state systems: BPA and normed BPP...

Hongfei Fu

claim paper

Read More »

136

click to vote

OTM
2009
Springer

104views Internet Technology» more OTM 2009»

Achieving Maturity: The State of Practice in Ontology Engineering in 2009

15 years 11 months ago