2131 search results - page 347 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
ICCCN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This work is concerned with definining a performance index that can be used as an objective measure in the evaluation and comparison of ad hoc networking protocols. Sp...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
APSCC
2009
IEEE
14 years 2 months ago
2009
IEEE
Enterprise Architecture (EA) has become an important means to acquire and maintain knowledge about the structure and behavior of the enterprises and to develop the required IT sys...
APSCC
2008
IEEE
13 years 11 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
ESORICS
2012
Springer
11 years 11 months ago
2012
Springer
Although recent compromises and admissions have given new credibility to claimed encounters of Man-in-the-middle (MitM) attacks on SSL/TLS, very little proof exists in the public r...