885 search results - page 31 / 177 » A Software Architecture for Industrial Automation |
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Computing systems have become so complex that the IT industry recognizes the necessity of deliberative methods to make these systems self-configuring, self-healing, selfoptimizin...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
QUATIC
2007
IEEE
14 years 3 months ago
2007
IEEE
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside t...
JAR
2006
13 years 8 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...