New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, - researchr publication

researchr

You are not signed in
Sign in
Sign up

Pedro T. Isaías, Florence Sedes, Juan Carlos Augusto, Ulrich Ultes-Nitsche, editors, New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, . ICEIS Press, 2003.

Conference: nddl2003

Abstract is missing.

Identifying the Subject of Documents in Digital Libraries Automatically Using Frequently Occurring Words - Study and FindingsOffer Drori. 3-12

How to Display Search Results in Digital Libraries - User StudyOffer Drori. 13-28

Web Site Naming and Search EnginesChris Rose. 29-35

Indexing Broadcast NewsRui Amaral, Isabel Trancoso. 36-45

Personalization to improve searching in a Digital LibraryOriana Licchelli, Floriana Esposito, Giovanni Semeraro, Luciana Bordoni. 46-55

A Framework For Integration Of Heterogeneous SystemsRahat Iqbal, Anne E. James, Richard A. Gatward. 56-65

An Optimised Partial-Order Approach to the Verification of System ComponentsSimon St. James, Ulrich Ultes-Nitsche. 69-81

High-Level Data RacesCyrille Artho, Klaus Havelund, Armin Biere. 82-93

ArgoPN: a CASE Tool Merging UML and Petri NetsJérôme Delatour, Florent de Lamotte. 94-102

Measurement Metric and Performance of Messaging SystemsPhong Tran, Jeffrey Gosper, Ian Gorton. 103-112

Formal Verification of Component-Based Software SystemsLeandro Dias da Silva, Angelo Perkusich. 113-124

runs on WebDSL