Conferences in DBLP
Offer Drori Identifying the Subject of Documents in Digital Libraries Automatically Using Frequently Occurring Words - Study and Findings. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:3-12 [Conf ] Offer Drori How to Display Search Results in Digital Libraries - User Study. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:13-28 [Conf ] Chris Rose Web Site Naming and Search Engines. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:29-35 [Conf ] Rui Amaral , Isabel Trancoso Indexing Broadcast News. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:36-45 [Conf ] Oriana Licchelli , Floriana Esposito , Giovanni Semeraro , Luciana Bordoni Personalization to improve searching in a Digital Library. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:46-55 [Conf ] Rahat Iqbal , Anne E. James , Richard A. Gatward A Framework For Integration Of Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:56-65 [Conf ] Simon St. James , Ulrich Ultes-Nitsche An Optimised Partial-Order Approach to the Verification of System Components. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:69-81 [Conf ] Cyrille Artho , Klaus Havelund , Armin Biere High-Level Data Races. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:82-93 [Conf ] Jérôme Delatour , Florent de Lamotte ArgoPN: a CASE Tool Merging UML and Petri Nets. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:94-102 [Conf ] Phong Tran , Jeffrey Gosper , Ian Gorton Measurement Metric and Performance of Messaging Systems. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:103-112 [Conf ] Leandro Dias da Silva , Angelo Perkusich Formal Verification of Component-Based Software Systems. [Citation Graph (0, 0)][DBLP ] NDDL/VVEIS, 2003, pp:113-124 [Conf ]