7918 search results - page 335 / 1584 » Model Composition Directives |
109
click to vote
CAGD
2006
15 years 4 months ago
2006
ed/Indexed in: MathSci, INSPEC, Current Contents, Pascal, UnCover, Ei Compendex, Inside Conferences. This journal is part of ContentsDirect, the free alerting service which sends t...
144
Voted
JACIII
2008
15 years 4 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
132
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
138
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
120
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...