Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rahat Iqbal, Anne E. James, Richard A. Gatward |
A Framework For Integration Of Heterogeneous Systems. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Rui Amaral, Isabel Trancoso |
Indexing Broadcast News. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Phong Tran, Jeffrey Gosper, Ian Gorton |
Measurement Metric and Performance of Messaging Systems. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Simon St. James, Ulrich Ultes-Nitsche |
An Optimised Partial-Order Approach to the Verification of System Components. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Cyrille Artho, Klaus Havelund, Armin Biere |
High-Level Data Races. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Offer Drori |
Identifying the Subject of Documents in Digital Libraries Automatically Using Frequently Occurring Words - Study and Findings. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Offer Drori |
How to Display Search Results in Digital Libraries - User Study. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Pedro T. Isaías, Florence Sèdes, 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 |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Jérôme Delatour, Florent de Lamotte |
ArgoPN: a CASE Tool Merging UML and Petri Nets. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Leandro Dias da Silva, Angelo Perkusich |
Formal Verification of Component-Based Software Systems. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Chris Rose |
Web Site Naming and Search Engines. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
1 | Oriana Licchelli, Floriana Esposito, Giovanni Semeraro, Luciana Bordoni |
Personalization to improve searching in a Digital Library. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|