Sciweavers

1529 search results - page 58 / 306
» Energy-Based Models of P Systems
Sort
View
119
Voted
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
15 years 3 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,...
118
Voted
WSC
2001
15 years 4 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
126
Voted
PDP
2009
IEEE
15 years 10 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 9 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 ...
132
Voted
IPL
2010
94views more  IPL 2010»
15 years 1 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...