536 search results - page 13 / 108 » Reusing Models of Different Abstraction Levels |
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
IADIS
2004
13 years 11 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
ICALT
2006
IEEE
14 years 3 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...
BPSC
2009
13 years 10 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...