6040 search results - page 275 / 1208 » Generating Instance Models from Meta Models |
137
Voted
TAMOCO
2008
15 years 1 months ago
2008
Since years the market of mobile navigation systems is growing enormously. Within this paper the goals and first results of the joint project "Mobile Navigation with 3D City ...
100
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper analyzes the scalability of the population size required in XCS to maintain niches that are infrequently activated. Facetwise models have been developed to predict the ...
115
Voted
OTM
2007
Springer
15 years 6 months ago
2007
Springer
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...