807 search results - page 39 / 162 » Modeling Hybrid Domains Using Process Description Language |
118
click to vote
VISUAL
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
123
click to vote
GRID
2003
Springer
15 years 7 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
112
Voted
ISIM
2007
15 years 3 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
146
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
115
click to vote
SE
2010
15 years 3 months ago
2010
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...