3. NDDL / 1. VVEIS 2003: Angers, France

Pedro T. Isaías, Florence Sedes, Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): 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, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003. ICEIS Press 2003, ISBN 972-98816-2-6 BibTeX

@proceedings{DBLP:conf/nddl/2003,
  editor    = {Pedro T. Isa\'{\i}as and
               Florence Sedes and
               Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {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,
               VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April
               2003},
  booktitle = {NDDL/VVEIS},
  publisher = {ICEIS Press},
  year      = {2003},
  isbn      = {972-98816-2-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

New Developments in Digital Libraries

Offer Drori: Identifying the Subject of Documents in Digital Libraries Automatically Using Frequently Occurring Words - Study and Findings. 3-12 BibTeX
Offer Drori: How to Display Search Results in Digital Libraries - User Study. 13-28 BibTeX
Chris Rose: Web Site Naming and Search Engines. 29-35 BibTeX
Rui Amaral, Isabel Trancoso: Indexing Broadcast News. 36-45 BibTeX
Oriana Licchelli, Floriana Esposito, Giovanni Semeraro, Luciana Bordoni: Personalization to improve searching in a Digital Library. 46-55 BibTeX
Rahat Iqbal, Anne E. James, Richard A. Gatward: A Framework For Integration Of Heterogeneous Systems. 56-65 BibTeX

Validation and Verification of Software for Enterprise Information Systems

Simon St. James, Ulrich Ultes-Nitsche: An Optimised Partial-Order Approach to the Verification of System Components. 69-81 BibTeX
Cyrille Artho, Klaus Havelund, Armin Biere: High-Level Data Races. 82-93 BibTeX
Jérôme Delatour, Florent de Lamotte: ArgoPN: a CASE Tool Merging UML and Petri Nets. 94-102 BibTeX
Phong Tran, Jeffrey Gosper, Ian Gorton: Measurement Metric and Performance of Messaging Systems. 103-112 BibTeX
Leandro Dias da Silva, Angelo Perkusich: Formal Verification of Component-Based Software Systems. 113-124 BibTeX