9067 search results - page 277 / 1814 » Adaptive Model Checking |
182
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
156
click to vote
ENTCS
2002
15 years 6 months ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
155
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
We are presenting a progress overview associated with our work on a data-driven environment for multiphysics applications (DDEMA). In this paper, we emphasize the dynamic-data-driv...
169
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
We consider open learner models (OLM) with reference to adaptive navigation support and learner control. Our purpose is to assess the potential of a greater range of OLMs in adapti...
214
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...