7099 search results - page 287 / 1420 » Context for models of concurrency |
199
click to vote
LPNMR
2001
Springer
15 years 12 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
199
click to vote
IJMI
2002
15 years 7 months ago
2002
Representation of clinical practice guidelines in a computer-interpretable format is a critical issue for guideline development, implementation, and evaluation. We studied 11 type...
185
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose the technique to define the metrics of model transformation using a meta-modeling technique and a graph rewriting techniques in a Model Driven Developmen...
241
click to vote
ADBIS
2004
Springer
16 years 25 days ago
2004
Springer
In this paper we consider concurrent execution of multiple data mining queries in the context of discovery of frequent itemsets. If such data mining queries operate on similar part...
175
click to vote
ICADL
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. In this paper we discuss the problem of handling many classification schemes within the context of a single digital library concurrently, which we term multischeming. We...