107 search results - page 13 / 22 » A domain-specific language for industrial automation |
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
QUATIC
2007
IEEE
15 years 6 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...
MIC
2003
15 years 1 months ago
2003
The paper deals with the discrete event simulation of a modular assembly plant for automotive derivation boxes. A simulation package has been developed in objectoriented language ...
103
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...