Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Classical approaches for supporting tutoring services face several limitations for ill-defined domains. To overcome these limitations, we argue for the utilization of hybrid approa...
Philippe Fournier-Viger, Roger Nkambou, Engelbert ...
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
Data protection and data security become more significant since telecommunication services and innovative applications based on these services handle an increasing amount of sensi...
This paper provides an intelligent multiagent approach to incorporate human temperaments into the filtering process of an information recommendation service. Our approach is to de...