9732 search results - page 205 / 1947 » Modelling Adaptivity with Aspects |
170
click to vote
IGPL
2006
15 years 7 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...
191
click to vote
ICALT
2006
IEEE
16 years 1 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...
206
Voted
ASPDAC
2010
ACM
15 years 5 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...
193
click to vote
WWW
2005
ACM
16 years 7 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...
170
click to vote
CIMCA
2005
IEEE
16 years 19 days 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...