Sciweavers

1572 search results - page 55 / 315
» Modeling IEEE 802.11 DCF System Dynamics
Sort
View
CSFW
2012
IEEE
13 years 4 days ago
Information-Flow Security for a Core of JavaScript
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
Daniel Hedin, Andrei Sabelfeld
LICS
2008
IEEE
15 years 4 months ago
A Logical Characterization of Individual-Based Models
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
James F. Lynch
QEST
2010
IEEE
14 years 7 months ago
Automating the Mean-Field Method for Large Dynamic Gossip Networks
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...
Rena Bakhshi, Jörg Endrullis, Stefan Endrulli...
AVSS
2006
IEEE
15 years 3 months ago
Nonparametric Background Modeling Using the CONDENSATION Algorithm
Background modeling for dynamic scenes is an important problem in the context of real time video surveillance systems. Several nonparametric background models have been proposed t...
Xingzhi Luo, Suchendra M. Bhandarkar, Wei Hua, Hai...
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
15 years 4 months ago
Dissipativity properties of detailed models of synchronous generators
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
Alvaro Giusto, Alex M. Stankovic, Romeo Ortega