6474 search results - page 934 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
217
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
1 As systems evolve and their structure decays, maintainers need accurate and automatic identification of the design problems. Current approaches for automatic detection of design...
209
click to vote
IUI
2011
ACM
14 years 10 months ago
2011
ACM
This paper describes an approach to allow end users to define new procedures through tutorial instruction. Our approach allows users to specify procedures in natural language in t...
192
click to vote
STEP
2005
IEEE
16 years 1 months ago
2005
IEEE
Software process improvement is an iterative activity, normally involving measurement, analysis, and change. For most organizations, the existing software process has substantial ...
206
click to vote
TACAS
2004
Springer
16 years 29 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
201
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally propos...