Sciweavers

824 search results - page 78 / 165
» Model-Based Monitoring of Dynamic Systems
Sort
View
127
Voted
IIWAS
2008
15 years 4 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
ICAC
2006
IEEE
15 years 9 months ago
Autonomic Provisioning of Backend Databases in Dynamic Content Web Servers
— In autonomic provisioning, a resource manager allocates resources to an application, on-demand, e.g., during load spikes. Modelling-based approaches have proved very successful...
Jin Chen, Gokul Soundararajan, Cristiana Amza
GI
2004
Springer
15 years 8 months ago
Collaborative Decision Making in Organic Business Environments
Abstract: This paper presents a multiagent architecture and algorithms for collaborative, self-organizing learning in distributed, heterogeneous and dynamic business systems, where...
Yutao Guo, Jörg P. Müller
CASES
2005
ACM
15 years 4 months ago
Anomalous path detection with hardware support
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
Tao Zhang, Xiaotong Zhuang, Santosh Pande, Wenke L...
HPDC
2000
IEEE
15 years 7 months ago
Synchronizing Network Probes to Avoid Measurement Intrusiveness with the Network Weather Service
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...
Richard Wolski, Benjamin Gaidioz, Bernard Touranch...