1580 search results - page 168 / 316 » Modules for Crosscutting Models |
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
ACNS
2006
Springer
13 years 10 months ago
2006
Springer
In this paper, we model the adversary (eavesdropper) present in the wireless communication medium using probabilistic models. We precisely formulate the security-throughput optimiz...
WSC
2000
13 years 9 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
NPL
2000
13 years 8 months ago
2000
The paper describes the implementation of competitive neural structures based on a spiking neural model that includes multiplicative or shunting synapses enabling non-saturated sta...
IJON
2002
13 years 7 months ago
2002
On the basis of a computational and neurodynamical model, we investigate a cognitive impairment in stroke patients termed visual neglect. The model is based on the "biased co...