3429 search results - page 471 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
133
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
161
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
147
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
142
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
155
click to vote
CICLING
2010
Springer
15 years 7 months ago
2010
Springer
We present a new ensemble method that uses Entropy Guided Transformation Learning (ETL) as the base learner. The proposed approach, ETL Committee, combines the main ideas of Baggin...