• Refine your search:
  • 
    Keyword:
    
    • Computer Programming and Software (1.166)
    • Linguistics (675)
    • FOS Computer and information sciences (355)
    • SYNTAX (251)
    • Software / Tools (236)
    • SEMANTICS (208)
    • QA76 Computer software (202)
    • COMPUTER PROGRAMS (200)
    • Computer Hardware (200)
    • COMPUTER PROGRAMMING (185)
    •   more
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (323)
    • Carbonell, Jaime G. (74)
    • Projeto Condigital MEC - MCT (66)
    • Universidade Estadual de Campinas - Unicamp - Português (66)
    • NAVAL POSTGRADUATE SCHOOL MONTEREY CA (59)
    • Universidade Estadual Paulista (UNESP) (48)
    • Bień, Janusz S. (45)
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (42)
    • CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE (37)
    • SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF (36)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...204 Hits 1 – 20 of 4.077 1 Participatory Design in Digital Language Documentation: A Web Platform Approach Hall, Patrick J. - : eScholarship, University of California, 2022 BASE Show details 2 Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice ... Borg, Markus; Bengtsson, Johan; Österling, Harald. - : arXiv, 2022 BASE Show details 3 SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations ... Niu, Changan; Li, Chuanyi; Ng, Vincent. - : arXiv, 2022 BASE Show details 4 Software interactivo como herramienta de aprendizaje para niños con discapacidad auditiva en la U.E. "Especial Maturín", estado Monagas ... Oliveira, Juan J.; Pérez, César. - : Zenodo, 2022 BASE Show details 5 Software interactivo como herramienta de aprendizaje para niños con discapacidad auditiva en la U.E. "Especial Maturín", estado Monagas ... Oliveira, Juan J.; Pérez, César. - : Zenodo, 2022 BASE Show details 6 Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache ... Weigelt, Sebastian. - : KIT Scientific Publishing, 2022 BASE Show details 7 Grenzüberschreitendes Textmining von Historischen Zeitungen - Das impresso-Projekt zwischen Text- und Bildverarbeitung, Design und Geschichtswissenschaft ... Ehrmann, Maud; Bunout, Estelle; Clematide, Simon. - : Zenodo, 2022 BASE Show details 8 Grenzüberschreitendes Textmining von Historischen Zeitungen - Das impresso-Projekt zwischen Text- und Bildverarbeitung, Design und Geschichtswissenschaft ... Ehrmann, Maud; Bunout, Estelle; Clematide, Simon. - : Zenodo, 2022 BASE Show details 9 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022 BASE Show details 10 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show details 11 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 Abstract: We present Quickstrom, a property-based testing system for acceptance testing of interactive applications. Using Quickstrom, programmers can specify the behaviour of web applications as properties in our testing-oriented dialect of Linear Temporal Logic (LTL) called QuickLTL, and then automatically test their application against the given specification with hundreds of automatically generated interactions. QuickLTL extends existing finite variants of LTL for the testing use-case, determining likely outcomes from partial traces whose minimum length is itself determined by the LTL formula. This temporal logic is embedded in our specification language, Specstrom, which is designed to be approachable to web programmers, expressive for writing specifications, and easy to analyse. Because Quickstrom tests only user-facing behaviour, it is agnostic to the implementation language of the system under test. We therefore formally specify and test many implementations of the popular TodoMVC benchmark, used for ... : 13 pages, this is a technical report of a paper to appear at Programming Languages Design and Implementation (PLDI 2022) ... Keyword: FOS Computer and information sciences; Programming Languages cs.PL; Software Engineering cs.SE URL: https://arxiv.org/abs/2203.11532 https://dx.doi.org/10.48550/arxiv.2203.11532 BASE Hide details 12 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 13 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 14 MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation ... Zhu, Wenqing; Yoshida, Norihiro; Kamiya, Toshihiro. - : arXiv, 2022 BASE Show details 15 Classification of Natural Language Processing Techniques for Requirements Engineering ... Zhao, Liping; Alhoshan, Waad; Ferrari, Alessio. - : arXiv, 2022 BASE Show details 16 Conceptual Modeling of Events Based on One-Category Ontology ... Al-Fedaghi, Sabah. - : arXiv, 2022 BASE Show details 17 Towards Property-Based Tests in Natural Language ... Gordon, Colin S.. - : arXiv, 2022 BASE Show details 18 Accelerating Code Search with Deep Hashing and Code Classification ... Gu, Wenchao; Wang, Yanlin; Du, Lun. - : arXiv, 2022 BASE Show details 19 Local Sequence Alignment Experiment (3) ... Gagniuc, Paul A.. - : figshare, 2022 BASE Show details 20 Local Sequence Alignment Experiment (3) ... Gagniuc, Paul A.. - : figshare, 2022 BASE Show details Page: 1 2 3 4 5...204

Mobile view All Catalogues UB Frankfurt Linguistik 28 IDS Mannheim 32 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 4 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 18 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 1 MPI for Psycholinguistics 18 Linked Open Data catalogues Annohub 0 Online resources Link directory 237 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 3.755 Linguistik-Repository 3 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0