9732 search results - page 205 / 1947 » Modelling Adaptivity with Aspects |
118
click to vote
IGPL
2006
15 years 3 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
143
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
141
click to vote
ASPDAC
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we propose a new wideband model order reduction method for interconnect circuits by using a novel adaptive sampling and error estimation scheme. We try to address t...
129
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
109
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper introduces a quantitative method for social data analysis, which is based on the use of categorical data clustering. More specifically, we employ categorical data cl...