249 search results - page 9 / 50 » Validating Architectural Feature Descriptions using LOTOS |
75
Voted
IJPRAI
2002
14 years 9 months ago
2002
This paper presents a new approach for shape description and invariant recognition by geometric-normalization implemented by neural networks. The neural system consists of a shape...
JUCS
2000
14 years 9 months ago
2000
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...
CERA
2010
2010
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
14 years 9 months ago
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
112
click to vote
TVLSI
2008
14 years 9 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...