1124 search results - page 48 / 225 » Refined quorum systems |
111
click to vote
FORTE
1990
15 years 3 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
104
click to vote
APPML
2005
15 years 1 months ago
2005
Three iterative refinement schemes are studied for approximating the solutions of linear weakly singular Fredholm integral equations of the second kind. The rates of convergence a...
139
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
130
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
141
click to vote
AIIA
2001
Springer
15 years 6 months ago
2001
Springer
– This paper proposes a knowledge-based neurocomputing approach to extract and refine a set of linguistic rules from data. A neural network is designed along with its learning al...