: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
Michael Rovatsos, Felix A. Fischer, Gerhard Wei&sz...
Web Engineering is going through several major changes. New promising application fields related to the Web such as the Semantic Web and Web Services, and its combination, Semantic...
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...