45 search results - page 3 / 9 » Automatic Modeling and Validation of Pipeline Specifications... |
JWSR
2006
13 years 5 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
ADAEUROPE
2007
Springer
13 years 7 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
DAC
2009
ACM
14 years 6 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
JUCS
2008
13 years 5 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
FASE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...