Sciweavers

2560 search results - page 201 / 512
» Analysis Tool for Honeypot Systems
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
WSC
2001
15 years 8 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
15 years 1 months ago
Observer design for Lipschitz systems with discrete-time measurements
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...
Vincent Andrieu, Madiha Nadri
PROMAS
2005
Springer
16 years 4 days ago
Implementing Multi-agent Systems Organizations with INGENIAS
In a multi-agent system, the organization determines the architecture of the whole system, and the way and policies for agent collaboration and interactions. Although this is a key...
Jorge J. Gómez-Sanz, Juan Pavón
OOPSLA
2004
Springer
16 years 8 hour ago
A framework for detecting, assessing and visualizing performance antipatterns in component based systems
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
Trevor Parsons