143 search results - page 16 / 29 » A Formal Component Concept for the Specification of Industri... |
SAC
2010
ACM
14 years 15 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
ADAEUROPE
2008
Springer
14 years 1 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
We describe an architecture-centric design and implementation approach for building self-adapting and selfmanaging robotics systems. The basis of our approach is the concept of me...
XPS
1997
13 years 8 months ago
1997
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...