Sciweavers

3973 search results - page 672 / 795
» Complex adaptation and system structure
Sort
View
IRI
2007
IEEE
14 years 4 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
SMC
2007
IEEE
110views Control Systems» more  SMC 2007»
14 years 4 months ago
A validity index based on cluster symmetry
— An important consideration in clustering is the determination of the correct number of clusters and the appropriate partitioning of a given data set. In this paper, a newly dev...
Sriparna Saha, Sanghamitra Bandyopadhyay
AIIA
2007
Springer
14 years 4 months ago
Building Quality-Based Views of the Web
Due to the fast growing of the information available on the Web, the retrieval of relevant content is increasingly hard. The complexity of the task is concerned both with the seman...
Enrico Triolo, Nicola Polettini, Diego Sona, Paolo...
MODELS
2007
Springer
14 years 4 months ago
Statechart Development Beyond WYSIWYG
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
Steffen Prochnow, Reinhard von Hanxleden
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
14 years 4 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri