2324 search results - page 296 / 465 » Benchmark Generation Using Domain Specific Modeling |
168
click to vote
SAC
2008
ACM
15 years 1 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...
112
click to vote
EUROMICRO
2006
IEEE
15 years 8 months 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...
126
click to vote
AH
2008
Springer
15 years 8 months 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...
103
click to vote
FLAIRS
2006
15 years 3 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...
IJCAI
2001
15 years 3 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...