Sciweavers

11462 search results - page 120 / 2293
» Developing Application-Centric Methods
Sort
View
IADIS
2003
15 years 4 months ago
Adaptive Hypermedia System Design: A Method From Practice
Adaptive Hypermedia Systems represent a great potential for e-learning; nevertheless instructors and designers find it difficult to develop adaptive application within their frame...
Jacopo Armani, Luca Botturi
CLEF
2010
Springer
15 years 4 months ago
Exploring Fingerprinting as External Plagiarism Detection Method - Lab Report for PAN at CLEF 2010
This paper outlines the main approach and the general design of the plagiarism detection prototype application we have developed to take part in the 2nd International Plagiarism De...
Yurii Palkovskii, Alexei Belov, Irina Muzika
FTRTFT
1998
Springer
15 years 7 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
158
Voted
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 7 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
DOLAP
2005
ACM
15 years 5 months ago
Applying MDA to the development of data warehouses
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
Jose-Norberto Mazón, Juan Trujillo, Manuel ...