Sciweavers

1529 search results - page 58 / 306
» Energy-Based Models of P Systems
Sort
View
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
14 years 10 months ago
On robustness of constrained discrete-time systems to state measurement errors
In this note we show that robustness with respect to additive disturbances implies robustness with respect to state measurement errors and additive disturbances for a class of dis...
B. J. P. Roset, W. P. M. H. Heemels, Mircea Lazar,...
WSC
2001
14 years 11 months ago
Generic models in the advanced IRCM assessment model
The Advanced IRCM Assessment Model (AIRSAM) simulates an infrared (IR) guided missile engaging an aircraft equipped with infrared countermeasures (IRCM). Analysts currently use AI...
David P. Forrai, James J. Maier
PDP
2009
IEEE
15 years 4 months ago
Modelling the Internet Delay Space Based on Geographical Locations
Existing approaches for modelling the Internet delay space predict end-to-end delays between two arbitrary hosts as static values. Further, they do not capture the characteristics...
Sebastian Kaune, Konstantin Pussep, Christof Leng,...
ICC
2007
IEEE
102views Communications» more  ICC 2007»
15 years 4 months ago
A Markov Model for the EpiChord Peer-to-Peer Overlay in an XCAST enabled Network
— Structured Peer to Peer (P2P) overlay networks are becoming increasingly popular. Multi-hop systems achieve a successful lookup in O(log N) hops, whereas one-hop systems approa...
Mario Kolberg, Florence Kolberg, Alan Brown, John ...
IPL
2010
94views more  IPL 2010»
14 years 8 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...