6040 search results - page 608 / 1208 » Generating Instance Models from Meta Models |
204
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
205
click to vote
SPIN
2004
Springer
16 years 16 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
178
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we present a new model of snow accumulation and stability for computergraphics. Our contribution is divided into two major components, each essential for modelling ...
203
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
This paper proposes a learning approach for the merging process in multilingual information retrieval (MLIR). To conduct the learning approach, we also present a large number of f...
264
click to vote
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...