45 search results - page 2 / 9 » Stream-Based Reasoning Support for Autonomous Systems |
ICAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
IEE
2011
13 years 10 days ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
SASO
2010
IEEE
13 years 3 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
IEEEAMS
2003
IEEE
13 years 10 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...