524 search results - page 49 / 105 » Modeling of Self-Organizing Systems: An Overview |
CONCUR
1989
Springer
15 years 1 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
ECAL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...
129
click to vote
WOSP
1998
ACM
15 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...