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

@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
Offer Drori: How to Display Search Results in Digital Libraries - User Study. 13-28
Chris Rose: Web Site Naming and Search Engines. 29-35
Rui Amaral, Isabel Trancoso: Indexing Broadcast News. 36-45
Oriana Licchelli, Floriana Esposito, Giovanni Semeraro, Luciana Bordoni: Personalization to improve searching in a Digital Library. 46-55
Rahat Iqbal, Anne E. James, Richard A. Gatward: A Framework For Integration Of Heterogeneous Systems. 56-65

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
Cyrille Artho, Klaus Havelund, Armin Biere: High-Level Data Races. 82-93
Jérôme Delatour, Florent de Lamotte: ArgoPN: a CASE Tool Merging UML and Petri Nets. 94-102
Phong Tran, Jeffrey Gosper, Ian Gorton: Measurement Metric and Performance of Messaging Systems. 103-112
Leandro Dias da Silva, Angelo Perkusich: Formal Verification of Component-Based Software Systems. 113-124

Last update Fri May 25 08:28:51 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page