6574 search results - page 437 / 1315 » Current Signatures: Application |
188
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
188
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Data mining techniques and machine learning methods are commonly used in several disciplines. It is possible that they could also provide a basis for quality assessment of softwar...
200
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
190
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
141
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we propose a Web Services based solution to exchange learner's information among different elearning systems described following a Web Ontology. The Web Service...