2324 search results - page 296 / 465 » Benchmark Generation Using Domain Specific Modeling |
240
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
167
click to vote
EUROMICRO
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
179
click to vote
AH
2008
Springer
16 years 23 days ago
2008
Springer
This paper presents an approach to exploit widely used tag annotations to address two important issues in user-adaptive systems: the cold-start problem and the integration of distr...
155
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...
135
click to vote
IJCAI
2001
15 years 7 months ago
2001
The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains...