|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3816 occurrences of 1990 keywords
|
|
|
Results
Found 5199 publication records. Showing 5199 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Miggie Pickton, Debra Morris, Stephanie Meece, Simon J. Coles, Steve Hitchcock |
Preserving repository content: practical tools for repository managers. |
J. Digit. Inf. |
2011 |
DBLP BibTeX RDF |
|
23 | Dimo Boyadzhiev |
The Ultimate Repository System in the Educational World - Larger Number of Repository Systems Can only Waste Users' Time and Cause Distractions. |
CSEDU (1) |
2011 |
DBLP BibTeX RDF |
|
23 | Julia Kelly, Louise Letnes |
AgEcon Search: A case study on the differences between operating a subject repository and an institutional repository. |
J. Digit. Inf. |
2010 |
DBLP BibTeX RDF |
|
23 | Chris Armbruster, Laurent Romary |
Comparing Repository Types - Challenges and barriers for subject-based repositories, research repositories, national repository systems and institutional repositories in serving scholarly communication |
CoRR |
2010 |
DBLP BibTeX RDF |
|
23 | Chris Armbruster, Laurent Romary |
Comparing Repository Types - Challenges and barriers for subject-based repositories, research repositories, national repository systems and institutional repositories in serving scholarly communication |
CoRR |
2010 |
DBLP BibTeX RDF |
|
23 | Chris Armbruster, Laurent Romary |
Comparing Repository Types: Challenges and Barriers for Subject-Based Repositories, Research Repositories, National Repository Systems and Institutional Repositories in Serving Scholarly Communication. |
Int. J. Digit. Libr. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Priscilla Caplan |
Repository to Repository Transfer of Enriched Archival Information Packages. |
D Lib Mag. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Margaret Pickton, Cliff McKnight |
Is there a role for research students in an institutional repository? Some repository managers' views. |
J. Libr. Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Joanne Kaczmarek, Patricia Hswe, Janet Eke, Thomas G. Habing |
Using the Audit Checklist for the Certification of a Trusted Digital Repository as a Framework for Evaluating Repository Software Applications: A Progress Report. |
D Lib Mag. |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Beth Goldsmith, Frances Knudson |
Repository Librarian and the Next Crusade: The Search for a Common Standard for Digital Repository Metadata. |
D Lib Mag. |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ilia Petrov 0001, Stefan Jablonski, Marc Holze |
Towards efficient locking of repository objects in OMG MOF repository systems. |
ICWI |
2004 |
DBLP BibTeX RDF |
|
23 | Cecil Chua, Lan Cao, Karlene Cousins, Kannan Mohan, Detmar W. Straub, Vijay K. Vaishnavi |
IS Bibliographic Repository (ISBIB): A Central Repository of Research Information for the IS Community. |
Commun. Assoc. Inf. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | William L. Scherlis |
Repository Interoperability Workshop: Towards a Repository Reference Model. |
D Lib Mag. |
1996 |
DBLP BibTeX RDF |
|
22 | Antonio Sarasa Cabezuelo, Jose Manuel Canabal Barreiro, Juan Carlos Sacristán Heras |
Agrega: A Distributed Repository Network of Standardised Learning Objects. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
ims dri, web services, e-learning, interoperability |
22 | Shadi Abou-Zahra, Michael Cooper |
WCAG 2.0 Test Samples Repository. |
HCI (7) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Rachid Chreyh, Gabriel A. Wainer |
CD++ repository: an internet based searchable database of DEVS models and their experimental frames. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
experimental frames, model libraries, model re-use, DEVS, CD++ |
22 | Philip C. Cooley, D. Roberts, Vesselina D. Bakalov, S. Bikmal, Susanna Cantor, T. Costandine, Laxminarayana Ganapathi, B. J. Golla, G. Grubbs, Craig R. Hollingsworth, Sheping Li, Ying Qin, William Savage, D. Simoni, E. Solano, Diane K. Wagener |
The Model Repository of the Models of Infectious Disease Agent Study. |
IEEE Trans. Inf. Technol. Biomed. |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Arash Joorabchi, Abdulhussain E. Mahdi |
Development of a National Syllabus Repository for Higher Education in Ireland. |
ECDL |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Gang Wu, Juanzi Li, Jianqiang Hu, Kehong Wang |
System II: A Native RDF Repository Based on the Hypergraph Representation for RDF Data Model. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Alta van der Merwe, Jan H. Kroeze |
Development and implementation of an institutional repository within a science, engineering and technology (SET) environment. |
SAICSIT |
2008 |
DBLP DOI BibTeX RDF |
full text access, research documentation, research publications, institutional repositories, open access |
22 | Yong Lu, Hanqing Hou |
Research on Automatic Acquiring of Chinese Synonyms from Wiki Repository. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Nathan Botts, Benjamin L. Schooley, Thomas A. Horan |
Learning Object Development and Repository Design for Digital Government Instruction. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Junya Debari, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama |
On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository. |
ICSP |
2008 |
DBLP DOI BibTeX RDF |
project improvement actions, cost overrun, association rule mining |
22 | Hend S. Al-Khalifa |
Building an Arabic learning object repository with an ad hoc recommendation engine. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
recommender engine, digital libraries, Arabic, learning object repositories |
22 | Abdoulmajid Hakki, Arto Kaarna |
Data Repository and Data Layer in Hyperbook System Using XML RDBS. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Hyperbook, XML RDBS, XML, Relational Database, Schema |
22 | Ron Chernich, Jane Hunter 0001, Alex Davies |
VIRGIL - Providing Institutional Access to a Repository of Access Grid Sessions. |
ECDL |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Linh Ngo, Amy W. Apon |
Using Shibboleth for Authorization and Authentication to the Subversion Version Control Repository System. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Gayatri Doctor, Smitha Ramachandran |
Enabling Knowledge Sharing with an Institutional Repository. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Sulayman K. Sowe, Lefteris Angelis, Ioannis Stamelos, Yannis Manolopoulos |
Using Repository of Repositories (RoRs) to Study the Growth of F/OSS Projects: A Meta-Analysis Research Approach. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
Open Source Software Repositories, Missing Values Estimation, Projects Growth, Linear Trend, Open Source Databases, Metadata, Time Series Analysis |
22 | Bill Gregg, Horacio D'Agostino, Eduardo Gonzalez Toledo |
Creating an IHE ATNA-Based Audit Repository. |
J. Digit. Imaging |
2006 |
DBLP DOI BibTeX RDF |
ATNA, XML, Audit, NET, IHE, Microsoft Access, audit trail |
22 | Jirí Starý, Radim Blaheta, Ondrej Jakl, Roman Kohut |
Parallel Simulation of T-M Processes in Underground Repository of Spent Nuclear Fuel. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Steven Xia, David Sun, Chengzheng Sun, David Chen 0002 |
An Integrated Session and Repository Management Approach for Real-Time Collaborative Editing Systems. |
C5 |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Kamil Kuliberda, Radoslaw Adamus, Jacek Wislicki, Krzysztof Kaczmarski, Tomasz Marek Kowalski, Kazimierz Subieta |
Autonomous Layer for Data Integration in a Virtual Repository, . |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Kamil Kuliberda, Piotr Blaszczyk, Grzegorz Balcerzak, Krzysztof Kaczmarski, Radoslaw Adamus, Kazimierz Subieta |
Virtual Repository Supporting Integration of Pluginable Resources. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Cheryl Z. Qian, Victor Y. Chen, Robert F. Woodbury |
NEAR: Visualizing Information Relations in a Multimedia Repository. |
Smart Graphics |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Glêdson Elias da Silveira, Jorge Dias Jr., Sindolfo Miranda Filho, Gustavo Cavalcanti, Michael Schuenck, Yuri Negócio |
Improving Reuse of Off-the-Shelf Components with Shared, Distributed Component Repository Systems. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Cândida G. Silva, Vitaliy Ostropytskyy, Nuno Loureiro-Ferreira, Daniel P. Berrar, Martin T. Swain, Werner Dubitzky, Rui M. M. Brito |
P-found: The Protein Folding and Unfolding Simulation Repository. |
CIBCB |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jie Jiang, Deren Chen, Tim Chen 0004, Xiaodong Shen |
A Security Grid Portal Using PKI and Online Proxy Certificate Repository. |
IMSCCS (2) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Haifeng Shen, Chengzheng Sun, Suiping Zhou, Zaw Wai Phyo |
A Generic WebDAV-Based Document Repository Manager for Collaborative Systems. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Frank McCown, Michael L. Nelson |
Evaluation of crawling policies for a web-repository crawler. |
Hypertext |
2006 |
DBLP DOI BibTeX RDF |
crawler policy, website reconstruction, search engine, digital preservation |
22 | Tanay Krishna, Rakesh Kumar Thakur, Deepak Kumar |
Cost effective Document Repository Management. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Atanas Kiryakov, Damyan Ognyanov, Dimitar Manov |
OWLIM - A Pragmatic Semantic Repository for OWL. |
WISE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Antonio J. Dorta, Casiano Rodríguez, Francisco de Sande, Arturo González-Escribano |
The OpenMP Source Code Repository. |
PDP |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Iman Saleh 0002, Noha Adly, Magdy Nagi |
DAR: A Digital Assets Repository for Library Collections. |
ECDL |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Robert W. Brennan |
An Initial Automation Object Repository for OOONEIDA. |
HoloMAS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Philippos Pouyioutas, Maria Poveda |
Designing a Learning Objects Repository -The Views of Higher Education Faculty. |
ICWL |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Malika Smaïl-Tabbone, Shazia Osman, Nizar Messai, Amedeo Napoli, Marie-Dominique Devignes |
BioRegistry: A Structured Metadata Repository for Bioinformatic Databases. |
CompLife |
2005 |
DBLP DOI BibTeX RDF |
|
22 | John Anvik, Lyndon Hiew, Gail C. Murphy |
Coping with an open bug repository. |
eTX |
2005 |
DBLP DOI BibTeX RDF |
bugzilla, machine learning, duplicate detection, triage |
22 | Gregor von Laszewski, Deepti Kodeboyina |
A Repository Service for Grid Workflow Components. |
ICAS/ICNS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yin Li, Futai Zou, Fanyuan Ma, Minglu Li 0001 |
Build a Distributed Repository for Web Service Discovery Based on Peer-to-Peer Network. |
NPC |
2004 |
DBLP DOI BibTeX RDF |
|
22 | MacKenzie Smith, Richard Rodgers, Julie Harford Walker, Robert Tansley |
DSpace: A Year in the Life of an Open Source Digital Repository System. |
ECDL |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Henry N. Jerez, Xiaoming Liu 0005, Patrick Hochstenbach, Herbert Van de Sompel |
The multi-faceted use of the OAI-PMH in the lanl repository. |
JCDL |
2004 |
DBLP DOI BibTeX RDF |
digital libraries, interoperability, federation, OAI-PMH |
22 | Colin Storey, Rita Wong, Kevin Leung, Ernest Yik |
The Institutional Repository: The Chinese University of Hong Kong 'SIR' Model. |
ICADL |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ty Mey Eap, Marek Hatala, Griff Richards |
Digital repository interoperability: design, implementation and deployment of the ecl protocol and connecting middleware. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
middleware, protocols, interoperability |
22 | Pedro Cano, Markus Koppenberger, Sira Ferradans, Alvaro Martinez, Fabien Gouyon, Vegard Sandvold, Vadim Tarasov, Nicolas Wack |
MTG-DB: A Repository for Music Audio Processing. |
WEDELMUSIC |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Wang Lam, Hector Garcia-Molina |
Multicasting a Changing Repository. |
ICDE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Koji Kamei, Sen Yoshida, Kazuhiro Kuwabara, Jun-ichi Akahani, Tetsuji Satoh |
An Agent Framework for Inter-personal Information Sharing with an RDF-Based Repository. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Ulrike Kölsch, René Witte |
Fuzzy Extensions for Reverse Engineering Repository Models. |
WCRE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Elaine Isnard, Radu Bercaru, Alexandra Galatescu, Vladimir Florian, Laura Costea, Dan Conescu |
An XML Repository Manager for Software Maintenance and Adaptation. |
Xsym |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jim Hamilton, Eric W. Olsen |
Design and Implementation of a Storage Repository Using Commonality Factoring. |
IEEE Symposium on Mass Storage Systems |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Torgeir Dingsøyr, Emil Røyrvik |
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Raimund L. Feldmann, Markus Pizka |
An On-Line Software Engineering Repository for Germany?s SME ? An Experience Report. |
LSO |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Noriaki Izumi, Takahira Yamaguchi |
Semantic Integration of E-business Models Based on Multi-layered Repository. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Henry Song, Hao-Hua Chu, Nayeem Islam, Shoji Kurakake, Masaji Katagiri |
Browser State Repository Service. |
Pervasive |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Takahiro Uchiya, Takashi Katoh, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori |
An Architecture of Agent Repository for Adaptive Multiagent System. |
ICOIN (2) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Wolfgang Mahnke, Norbert Ritter |
The ORDB-Based SFB-501-Reuse-Repository. |
EDBT |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Takeshi Yoshioka, George Herman, JoAnne Yates, Wanda J. Orlikowski |
Genre taxonomy: A knowledge repository of communicative actions. |
ACM Trans. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
genre systems, taxonomy, grammar, Genre, information search and retrieval |
22 | Edward W. Christensen, James R. Bailey |
Repository Choice: An Exploration of Accessibility, Satisfaction, and Usefulness. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Eddy Forte, Florence Haenni, Ken Warkentyne, Erik Duval, Kris Cardinaels, E. Vervaet, Koen Hendrikx, Maria Wentland Forte, Florence Simillion |
Semantic and Pedagogic Interoperability Mechanisms in the ARIADNE Educational Repository. |
SIGMOD Rec. |
1999 |
DBLP DOI BibTeX RDF |
ARIADNE |
22 | Eric Grosse |
Repository Mirroring. |
ACM Trans. Math. Softw. |
1995 |
DBLP DOI BibTeX RDF |
distributed administration, archives, checksum, ftp, electronic distribution |
22 | Tuncer I. Ören, Douglas G. King |
Computer-Aided Systems Technology for CAD Environments: Complexity Issues and a Repository-Based Approach. |
EUROCAST |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Mark S. Day |
Replication, reconfiguration, and the Argus mail repository. |
ACM SIGOPS European Workshop |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Amir Ghazvinian, Natalya Fridman Noy, Clément Jonquet, Nigam H. Shah, Mark A. Musen |
What Four Million Mappings Can Tell You about Two Hundred Ontologies. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Michael K. Baldwin |
xDOC: a system for XML based document annotation and searching. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaoming Liu 0005, Sandy Payette, Herbert Van de Warner |
Pathways: augmenting interoperability across scholarly repositories. |
Int. J. Digit. Libr. |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Philipp Kärger, Erica Melis, Carsten Ullrich |
Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
22 | John Anvik, Lyndon Hiew, Gail C. Murphy |
Who should fix this bug? |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
bug report assignment, bug triage, machine learning, issue tracking, problem tracking |
22 | Vijayalakshmi Amudhan, Devi Thirupathi |
Traffic Adaptive Optimum Updating Scheme for Search Engines. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
22 | John Moses, Malcolm Farrow |
Assessing Variation in Development Effort Consistency Using a Data Source with Missing Data. |
Softw. Qual. J. |
2005 |
DBLP DOI BibTeX RDF |
MCAR, Development Type, Language Type, deviance statistic, negative log likelihood statistic, RSQ Adjusted, Bayesian inference, Function Points, MAR, linear regression models |
22 | A. Ramnishath, Francis Jayakanth, Filbert Minj, T. B. Rajashekar |
Adapting Kepler Framework for Enriching Institutional Repositories: An Experimental Study. |
ECDL |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Amit Kumar 0005, Alejandro Bia, Martin Holmes, Susan Schreibman, Ray Siemens, John A. Walsh |
: Bridging the Gap Between a Simple Set of Structured Documents and a Functional Digital Library. |
ECDL |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Jian Qin 0001, Foster Zhang |
Managing Digital Repositories Through an Ontology-Based Design. |
ICADL |
2004 |
DBLP DOI BibTeX RDF |
|
22 | E. James Whitehead Jr., Guozheng Ge, Kai Pan |
Automatic generation of hypertext system repositories: a model driven approach. |
Hypertext |
2004 |
DBLP DOI BibTeX RDF |
containment modeling framework, hypertext data models, open hyperbase, model-driven development, automatic code generation |
22 | Christoph Bussler |
B2B Integration Technology Architecture. |
WECWIS |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Philip A. Bernstein |
Repositories and Object Oriented Databases. |
SIGMOD Rec. |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Ron Musick, Christopher Miller 0002 |
Report on the Second IEEE Metadata Conference (Metadata '97). |
SIGMOD Rec. |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Deborah Knox |
On-line publication of CS laboratories. |
SIGCSE |
1997 |
DBLP DOI BibTeX RDF |
Internet, Internet |
19 | Lucian Voinea, Alexandru C. Telea |
Visual querying and analysis of large software repositories. |
Empir. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Repository mining, Software visualization, Evolution visualization |
19 | Koraljka Golub, Jim Moon, Douglas Tudhope, Catherine Mary Jones, Brian Matthews, Bartlomiej Puzon, Marianne Lykke Nielsen |
EnTag: enhancing social tagging for discovery. |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
ACM computing classification scheme, dewey decimal classification, intute, subject indexing, folksonomies, social tagging, controlled vocabularies, institutional repository, digital collection |
19 | Leo Freitas, Jim Woodcock 0001 |
Mechanising Mondex with Z/Eves. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
19 | Walter Waterfeld, Moritz Weiten, Peter Haase 0001 |
Ontology Management Infrastructures. |
Ontology Management |
2008 |
DBLP DOI BibTeX RDF |
OWL, reasoner, rules, repository, Ontology management, registry |
19 | Tomasz Miaskiewicz, Tamara Sumner, Kenneth A. Kozar |
A latent semantic analysis methodology for the identification and creation of personas. |
CHI |
2008 |
DBLP DOI BibTeX RDF |
user abstraction, cluster analysis, personas, latent semantic analysis, institutional repository |
19 | Chenhui Zhao, Huilong Duan, Xudong Lu |
An Integration Approach of Healthcare Information System. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
Integration Engine, Clinical Data Repository, Healthcare Information System |
19 | Carlos Ordonez 0001, Zhibo Chen 0002, Javier García-García 0001 |
Metadata management for federated databases. |
CIMS |
2007 |
DBLP DOI BibTeX RDF |
interoperability, metadata, repository |
19 | Leo Freitas, Jim Woodcock 0001 |
Proving Theorems About JML Classes. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository |
19 | Hyunil Shin, Ho-Jin Choi, Jongmoon Baik |
Jasmine: A PSP Supporting Tool. |
ICSP |
2007 |
DBLP DOI BibTeX RDF |
Electronic Process Guide, Automated Data Collection, Experience Repository, Personal Software Process |
19 | Chris D. Nugent, Dewar D. Finlay, Richard J. Davies, Haiying Wang 0001, Huiru Zheng, Josef Hallberg, Kåre Synnes, Maurice D. Mulvenna |
homeML - An Open Standard for the Exchange of Data Within Smart Environments. |
ICOST |
2007 |
DBLP DOI BibTeX RDF |
Smart environments, heterogeneous data, data repository, xml schema |
19 | Michael A. Bender, Martin Farach-Colton, Jeremy T. Fineman, Yonatan R. Fogel, Bradley C. Kuszmaul, Jelani Nelson |
Cache-oblivious streaming B-trees. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
buffered repository tree, cache-oblivious B-tree, cascading array, deamortized, lookahead array, shuttle tree |
19 | Diana Tanase, Michael Bruce, Jonathan Stuart-Moore, David A. Joiner |
Scaffolding the infrastructure of the computational science digital library. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
metadata repository, computational science, content management system |
19 | Yuko Murakami, Jun Adachi |
Institutional Repositories in Japan. |
ICADL |
2006 |
DBLP DOI BibTeX RDF |
universities in Japan, Institutional repository, open access |
Displaying result #201 - #300 of 5199 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|