Sciweavers

443 search results - page 45 / 89
» Compensation-Aware Runtime Monitoring
Sort
View
102
Voted
RTAS
2008
IEEE
15 years 7 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
ACSAC
2002
IEEE
15 years 5 months ago
Enforcing Resource Bound Safety for Mobile SNMP Agents
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
Weijiang Yu, Aloysius K. Mok
97
Voted
CIMCA
2005
IEEE
15 years 6 months ago
RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
Adrian Paschke
80
Voted
IPPS
2003
IEEE
15 years 6 months ago
Resource Management for Parallel Adaptive Components
This paper reports the development of the Concerto platform, which is dedicated to supporting the deployment of parallel adaptive components on clusters of workstations. The curre...
Luc Courtrai, Frédéric Guidec, Nicol...
94
Voted
MODELS
2010
Springer
14 years 11 months ago
Inferring Meta-models for Runtime System Data from the Clients of Management APIs
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
Hui Song, Gang Huang, Yingfei Xiong, Franck Chauve...