1953 search results - page 71 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
We introduce a network-based problem detection framework for distributed systems, which includes a data-mining method for discovering dynamic dependencies among distributed servic...
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
IWSSD
2000
IEEE
14 years 1 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
ESANN
2007
13 years 10 months ago
2007
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...