3104 search results - page 86 / 621 » Using quantitative analysis to implement autonomic IT system... |
118
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...
125
Voted
WSCG
2003
15 years 4 months ago
2003
This paper describes an autonomous vision system for realization of tasks consist of following a person with a mobile robot as well as interpreting some static and dynamic command...
127
Voted
SERA
2007
Springer
15 years 9 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
140
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
145
click to vote
ICONS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...