1054 search results - page 52 / 211 » Model Transformations in the Model-Based Development of Real... |
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
FUIN
2006
13 years 8 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
SPAA
1998
ACM
14 years 13 days ago
1998
ACM
In this paper we develop models for and analyze several randomized work stealing algorithms in a dynamic setting. Our models represent the limiting behavior of systems as the numb...
KI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
We proposea new ngerprint imagecompressionscheme based on the hybrid model of image. Our scheme uses the essential steps of a typical automated ngerprint identi cation system (AFI...