Sciweavers

13913 search results - page 353 / 2783
» models 2007
Sort
View
NETWORKING
2004
15 years 9 months ago
Performance Modelling and Evaluation of Firewall Architectures for Multimedia Applications
Firewalls are a well-established security mechanism to restrict the traffic exchanged between networks to a certain subset of users and applications. In order to cope with new appl...
Utz Roedig, Jens Schmitt
MMNS
2000
127views Multimedia» more  MMNS 2000»
15 years 9 months ago
Hierarchical Rerouting Model for Fault Tolerance in Multi-Network Environment
: ATM virtual path has recently been paying attention to the effective deployment of IP over ATM. The effective IP service provisioning depends fully on the reliability and optimal...
Won-Kuy Hong, Dong-Il Kim, Seong-Sook Yoon, Seong-...
SEC
1997
15 years 9 months ago
A formal model to aid documenting and harmonizing of information security requirements
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...
Jussipekka Leiwo, Yuliang Zheng
CLIMA
2007
15 years 9 months ago
Formal Modelling of Emotions in BDI Agents
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
David Pereira, Eugénio C. Oliveira, Nelma M...
IJCAI
1989
15 years 8 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...