6474 search results - page 523 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
216
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
191
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Internet users interact with multiple Web Service Providers (WSP), and therefore, must remember and manage multiple passwords. Users try to overcome the burden of password manag...
206
click to vote
VMCAI
2005
Springer
16 years 17 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
194
click to vote
WOSS
2004
ACM
16 years 16 days ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
204
click to vote
SEM
2004
Springer
16 years 14 days ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...