691 search results - page 66 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
JAIR
2008
13 years 8 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
ENTCS
2008
13 years 8 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
ICALT
2003
IEEE
14 years 1 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...