Sciweavers

11973 search results - page 172 / 2395
» Methods for organizational development
Sort
View
IADIS
2003
15 years 6 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 6 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
143
Voted
FTRTFT
1998
Springer
15 years 9 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
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 9 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
DESRIST
2009
Springer
143views Education» more  DESRIST 2009»
15 years 9 months ago
Designing for complex innovations in health care: design theory and realist evaluation combined
Innovations in health care are often characterized by complexity and fuzzy boundaries, involving both the elements of the innovation and the organizational structure required for ...
Christina Keller, Klas Gäre, Mats Edenius, St...