Sciweavers

4285 search results - page 204 / 857
» Differential Behavioral Analysis
Sort
View
PIMRC
2008
IEEE
16 years 29 days ago
Sub-band analysis of NLoS indoor channel responses
—Key factors of indoor NLoS radio channels are examined, namely the number of channel taps, the mean delay, the RMS delay spread and the channel gain. We analyze wideband (2-11 G...
Dana Porrat, Yuval Serfaty
LPAR
2007
Springer
16 years 22 days ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
TGC
2005
Springer
16 years 1 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
ITC
1994
IEEE
111views Hardware» more  ITC 1994»
15 years 10 months ago
Simulation Results of an Efficient Defect-Analysis Procedure
For obtaining a zero defect level, a high fault coverage with respect to the stuck-at fault model is often not sufficient as there are many defects that show a more complex behavi...
Olaf Stern, Hans-Joachim Wunderlich
WSC
2007
15 years 9 months ago
Stability analysis of the supply chain by using neural networks and genetic algorithms
Effectively managing a supply chain requires visibility to detect unexpected variations in the dynamics of the supply chain environment at an early stage. This paper proposes a me...
Alfonso Sarmiento, Luis Rabelo, Ramamoorthy Lakkoj...