498 search results - page 65 / 100 » Model Validation using Automatically Generated Requirements-... |
WCE
2007
13 years 9 months ago
2007
—This paper presents one of the outcomes of a research project concerned with the development of a method for synthesizing, under controlled conditions in the laboratory, the ran...
SLE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
LCTRTS
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
PRL
2007
13 years 8 months ago
2007
A simple and general-purpose system to recognize biological particles is presented. It is composed of four stages. First (if necessary) promising locations in the image are detect...