The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for frameworks with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1987 (17) 1988-1989 (21) 1990 (42) 1991-1992 (58) 1993 (31) 1994 (52) 1995 (36) 1996 (59) 1997 (90) 1998 (154) 1999 (160) 2000 (241) 2001 (193) 2002 (275) 2003 (242) 2004 (374) 2005 (477) 2006 (573) 2007 (537) 2008 (628) 2009 (431) 2010 (259) 2011 (235) 2012 (132) 2013 (166) 2014 (256) 2015 (230) 2016 (213) 2017 (223) 2018 (316) 2019 (358) 2020 (342) 2021 (344) 2022 (365) 2023 (358) 2024 (91)
Publication types (Num. hits)
article(2274) book(17) data(1) incollection(168) inproceedings(5870) phdthesis(195) proceedings(54)
Venues (Conferences, Journals, ...)
CoRR(384) LSFA(176) TAG+(143) HICSS(91) LFMTP(71) PRO-VE(69) COMMA(54) IEEE Access(54) Cognitive Internet of Things(50) ISESS(50) DFMA(49) OOPSLA Companion(48) SAC(47) TAG(45) SFCM(41) ICSE(38) More (+10 of total 2760)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5238 occurrences of 2695 keywords

Results
Found 8579 publication records. Showing 8579 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
15Jun-Jang Jeng An approach to designing reusable service frameworks via virtual service machine. Search on Bibsonomy SSR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF service computing platform, service framework, software architecture, object-oriented technologies
15Sylvie Doutre, Jérôme Mengin Preferred Extensions of Argumentation Frameworks: Query Answering and Computation. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Geoffrey K. Pullum, Barbara C. Scholz On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks. Search on Bibsonomy LACL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Thomas Melluish, Craig Saunders, Ilia Nouretdinov, Volodya Vovk Comparing the Bayes and Typicalness Frameworks. Search on Bibsonomy ECML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Virginia Dignum, Frank Dignum Modelling Agent Societies: Co-ordination Frameworks and Institutions. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF institutions, virtual organisations, co-ordination, Agent societies
15Simon S. Y. Shim, Vishnu S. Pendyala, Meera Sundaram, Jerry Z. Gao 0002 Business-to-Business E-Commerce Frameworks. Search on Bibsonomy Computer The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Manoel G. Mendonça, Victor R. Basili Validation on an Approach for Improving Existing Measurement Frameworks. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF AF, data mining, case study, Software metrics, knowledge discovery, GQM, experimental validation, goal-oriented measurement, method evaluation
15Leon J. Osterweil, Lori A. Clarke Frameworks for Reasoning about Agent Based Systems. Search on Bibsonomy Agents Workshop on Infrastructure for Multi-Agent Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe UML-F: A Modeling Language for Object-Oriented Frameworks. Search on Bibsonomy ECOOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Carsten Schürmann Tutorial: Meta-logical Frameworks. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Hsiangchu Lai, Tsai-Hsin Chu Knowledge Management: A Review of Theoretical Frameworks and Industrial Cases. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Knowledge Management Framework, Knowledge Management Activities, Knowledge Management, Case Study
15Herbert Praehofer, Johannes Sametinger, Alois Stritzinger Component Frameworks - A Case Study. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Ali Arsanjani Analysis, Design and Implementation of Distributed Java Business Frameworks Using Domain Patterns. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Philippe Massonet, Axel van Lamsweerde Analogical Reuse of Requirements Frameworks. Search on Bibsonomy RE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Lu Pei, Dachuan Yu, Lu Jian, David L. Shang A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models. Search on Bibsonomy TOOLS (24) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Bernd Gärtner, Emo Welzl Linear Programming - Randomization and Abstract Frameworks. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Joachim Altmeyer, Stefan Ohnsorge, Bernd Schürmann Reuse of design objects in CAD frameworks. Search on Bibsonomy ICCAD The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Yunhong Gu, Robert L. Grossman Toward Efficient and Simplified Distributed Data Intensive Computing. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF performance, frameworks, Distributed programming, distributed file systems
12Bernd Niklas Klein, Sian Lun Lau, Klaus David Evaluation of the Influence of Time Synchronisation on Classification Learning Based Movement Detection with Accelerometers. Search on Bibsonomy SAINT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Time Locality, Ubiquitous Computing, Context Awareness, Accelerometer, Time Synchronization, Middleware Frameworks
12Matthias Lange, Jan Mendling An Experts' Perspective on Enterprise Architecture Goals, Framework Adoption and Benefit Assessment. Search on Bibsonomy EDOCW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF EA Goals, EA benefit assessment, Expert Interviews, Enterprise Architecture, EA frameworks
12Justin Sheehy, Steve Vinoski Developing RESTful Web Services with Webmachine. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Web services, functional programming, HTTP, Erlang, REST, Web frameworks
12David Geer Whatever Happened to Network-Access-Control Technology? Search on Bibsonomy Computer The full citation details ... 2010 DBLP  DOI  BibTeX  RDF NAC, IEEE 802.1X, NAC frameworks, policy decision points, NAC interoperability, RADIUS, network access control
12Wael R. Elwasif, David E. Bernholdt, Aniruddha G. Shet, Samantha S. Foley, Randall Bramley, Donald B. Batchelor, Lee A. Berry The Design and Implementation of the SWIM Integrated Plasma Simulator. Search on Bibsonomy PDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Fusion Simulation, Scientific Computing, Component Frameworks
12Claus-Peter Rückemann Legal Issues Regarding Distributed and High Performance Computing in Geosciences and Exploration. Search on Bibsonomy ICDS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Legal Frameworks, Collaboration Management, Grid-GIS house, Geoscientific Information Systems, Distributed Systems, High Performance Computing, e-Science
12Juha Puustjärvi, Leena Puustjärvi Reserving Clinical Resources for Healthcare Processes. Search on Bibsonomy ICDS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF healthcare processes, coordination frameworks, transactions, business process modeling
12Raffaele Gravina, Alessandro Andreoli, Alessia Salmeri, Luigi Buondonno, Nikhil Raveendranathan, Vitali Loseu, Roberta Giannantonio, Edmund Y. W. Seto, Giancarlo Fortino Enabling Multiple BSN Applications Using the SPINE Framework. Search on Bibsonomy BSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Domain specific frameworks, Body Sensor Networks, SPINE, Health care application
12Bernd Niklas Klein, Klaus David Basic Approach of Timing in Context Aware Architectures Verified by Concrete Advantages. Search on Bibsonomy SAINT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Ubiquitous Computing, Context Awareness, Synchronization, Accelerometer, Middleware Frameworks
12Ariel Ortiz Building server-side web language processors. Search on Bibsonomy SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compilers, programming languages, interpreters, web development, web frameworks
12Kumar Avijit, Anupam Datta, Robert Harper 0001 Distributed programming with distributed authorization. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic
12Serguei A. Mokhov Cryptolysis: A Framework for Verification of Optimization Heuristics for the Automated Cryptanalysis of Classical Ciphers and Natural Language Word Segmentation. Search on Bibsonomy SERA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Cryptolysis, natural language word segmentation, MARF, frameworks, cryptanalysis
12Eli Tilevich, Myoungkyu Song Reusable enterprise metadata with pattern-based structural expressions. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF metadata, frameworks, annotations, configuration, Eclipse
12Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret Parallel dynamic analysis on multicores with aspect-oriented programming. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallelization, frameworks, multicores, programming models, dynamic program analysis, aspect weaving, data race detection
12Alessandro Andreoli, Raffaele Gravina, Roberta Giannantonio, Paola Pierleoni, Giancarlo Fortino Time-domain heart rate variability analysis with the SPINE-HRV toolkit. Search on Bibsonomy PETRA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF HRV, domain specific frameworks, health care, body sensor networks, SPINE
12Brian G. Woolley, Gilbert L. Peterson Unified Behavior Framework for Reactive Robot Control. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reactive control architecture, Software design patterns, Software frameworks, Behavior-based robotics
12Ali Göktogan, Salah Sukkarieh Distributed Simulation and Middleware for Networked UAS. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unmanned aerial system (UAS), RMUS, HWIL, Simulation, Middleware, Unmanned aerial vehicle (UAV), Software frameworks
12Klaus Iglberger, Ulrich Rüde Massively parallel rigid body dynamics simulations. Search on Bibsonomy Comput. Sci. Res. Dev. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Parallel frameworks, Parallel algorithms, Parallel programming, Parallelization, MPI, Large-scale, Massively parallel, Rigid body dynamics
12Sase Narine Singh, Carson Woo Investigating business-IT alignment through multi-disciplinary goal concepts. Search on Bibsonomy Requir. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Goal-based frameworks, Requirements engineering, Business-IT alignment
12Steve MacDonald, Kai Tan 0005, Jonathan Schaeffer, Duane Szafron Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel programming, Design patterns, software maintenance, object-oriented frameworks, design decisions
12Shengwen Zhang, Bo Wu, Xiangbing Wang An E-commerce System Structure Research Based on WSH. Search on Bibsonomy IFITA (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture, frameworks, design patterns
12Marc Erich Latoschik, Dirk Reiners, Roland Blach, Pablo A. Figueroa, Raimund Dachselt SEARIS: software engineering and architectures for realtime interactive systems. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF virtual reality, interaction, software architectures, augmented reality, frameworks, design patterns, abstraction, mixed reality, reusability, behavior
12Jordi Pujol Ahulló, Pedro García López, Marc Sánchez Artigas, Marcel Arrufat-Arias An extensible simulation tool for overlay networks and services. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF discrete event-based simulation, overlay network simulation, frameworks, design patterns
12B. J. Fogg The Behavior Grid: 35 ways behavior can change. Search on Bibsonomy PERSUASIVE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF psychological frameworks, motivation, persuasive technology, persuasion, captology, behavior change, persuasive design
12Henrik Bærbak Christensen A story-telling approach for a software engineering course design. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software architecture, frameworks, design patterns, test-driven development, agile methods, curriculum design
12Miao Song 0001, Peter Grogono Application of advanced rendering and animation techniques for 3D games to softbody modeling and animation. Search on Bibsonomy C3S2E The full citation details ... 2009 DBLP  DOI  BibTeX  RDF real-time, frameworks, collision detection, deformation, physical-based modeling, OpenGL, elastic objects, soft-body
12Miao Song 0001, Serguei A. Mokhov, Peter Grogono Designing an interactive OpenGL slide-based presentation of the softbody simulation system for teaching and learning of computer graphics techniques. Search on Bibsonomy C3S2E The full citation details ... 2009 DBLP  DOI  BibTeX  RDF softbody, real-time, education, frameworks, physical-based modeling, presentation, OpenGL
12Gilbert Cockton Getting there: six meta-principles and interaction design. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches
12Miao Song 0001, Serguei A. Mokhov, Alison R. Loader, Maureen J. Simmonds A stereoscopic OpenGL-based interactive plug-in framework for Maya and beyond. Search on Bibsonomy VRCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Maya, frameworks, OpenGL, plug-ins, stereoscopy
12Amy P. Felty, Alberto Momigliano Reasoning with hypothetical judgments and open terms in hybrid. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
12Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster Static Typing for Ruby on Rails. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type systems, scripting languages, Ruby, Ruby on Rails, web frameworks
12Rajiv Ramdhany, Paul Grace, Geoff Coulson, David Hutchison 0001 MANETKit: Supporting the Dynamic Deployment and Reconfiguration of Ad-Hoc Routing Protocols. Search on Bibsonomy Middleware The full citation details ... 2009 DBLP  DOI  BibTeX  RDF protocol frameworks, Ad-hoc routing
12José Raúl Romero, Juan Ignacio Jaen, Antonio Vallecillo Realizing Correspondences in Multi-viewpoint Specifications. Search on Bibsonomy EDOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-viewpoint specifications, viewpoint correspondences, architectural frameworks
12Andreas Schrader, Darren Carlson, Dominik Busch Modular framework support for context-aware mobile cinema. Search on Bibsonomy Pers. Ubiquitous Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mobile cinema, Context detection, Ubiquitous computing frameworks, Context interpretation, Plug-in-based software architectures, Context-awareness, RFID, Interactive TV, Infrared
12Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka Contextual modal type theory. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intuitionistic modal logic, Type theory, logical frameworks
12Xavier Amatriain, Pau Arumí, David García A framework for efficient and rapid development of cross-platform audio applications. Search on Bibsonomy Multim. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multimedia, Design patterns, Metamodels, Rapid prototyping, Software frameworks, Audio processing
12Marcia A. Mardis, Ellen S. Hoffman, Todd E. Marshall A new framework for understanding educational digital library use: re-examining digital divides in U.S. schools. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Usage frameworks, Internet, Innovation, Digital divide, Teachers, Schools
12Walid Gaaloul, Karim Baïna, Claude Godart Log-based mining techniques applied to Web service composition reengineering. Search on Bibsonomy Serv. Oriented Comput. Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Composite service mining, Service intelligence, Service analysis, Service validation, Service reengineering frameworks, Model driven reengineering, Workflow patterns
12Alexander Teubner, Tom Feller Informationstechnologie, Governance und Compliance. Search on Bibsonomy Wirtschaftsinf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF corporate compliance, frameworks, standards, information management, IT governance, IT management, IT compliance, corporate governance, IT risk management
12Andrea Pugliese 0001, Domenico Talia, Ramin Yahyapour Modeling and Supporting Grid Scheduling. Search on Bibsonomy J. Grid Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Job models, Scheduling frameworks, Grid scheduling, Resource models, Grid resource management
12Massimo Bertozzi, Luca Bombini, Alberto Broggi, Paolo Zani, Pietro Cerri, Paolo Grisleri, Paolo Medici GOLD: A Framework for Developing Intelligent-Vehicle Vision Applications. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computer vision, collision avoidance, software frameworks
12Yogesh Simmhan, Roger S. Barga, Catharine van Ingen, Edward D. Lazowska, Alexander S. Szalay On Building Scientific Workflow Systems for Data Management in the Cloud. Search on Bibsonomy eScience The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scientific workflow frameworks, cloud computing, data management, eScience
12Carsten Schürmann 0001, Jeffrey Sarnat Structural Logical Relations. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations
12Guillaume Burel A First-Order Representation of Pure Type Systems Using Superdeduction. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo
12Daniel R. Licata, Noam Zeilberger, Robert Harper 0001 Focusing on Binding and Computation. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computation, binding, logical frameworks, polarity, sequent calculus
12Christian Urban, James Cheney, Stefan Berghofer Mechanizing the Metatheory of LF. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mechanized metatheory, logical frameworks, nominal logic
12Brigitte Pientka A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type system, logical frameworks
12Egon L. van den Broek, Frank Meijer, Jan Miedema, Huaxin Wang, Mascha C. van der Voort, Joris S. M. Vergeest Synthetic Environments for Cooperative Product Design. Search on Bibsonomy CDVE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tools and systems for cooperative engineering, Industrial scenarios, case studies of cooperative engineering: in mechanical engineering, architectures, Frameworks, reference models
12Harri Oinas-Kukkonen, Marja Harjumaa A Systematic Framework for Designing and Evaluating Persuasive Systems. Search on Bibsonomy PERSUASIVE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF functionality and techniques, models and frameworks, Design, theories, strategies
12Filipe Santos, Benjamim Fonseca, Leonel Morgado, Paulo Martins 0001 A Version Control System as a Tool and Methodology to Foster Children's Collaboration in Spatial Configuration Decision Tasks. Search on Bibsonomy CRIWG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Groupware Development Frameworks, Children, Virtual Worlds, Workflow Management Systems
12R. Barzin, S. Fukushima, William E. Howden, S. Sharifi Superfit Combinational Elusive Bug Detection. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF elusive, BETUnit, SuperFIT, testing, frameworks, patterns, FIT, combinations, bugs, JUnit
12Miao Song 0001, Peter Grogono A framework for dynamic deformation of uniform elastic two-layer 2D and 3D objects in OpenGL. Search on Bibsonomy C3S2E The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real time, frameworks, deformation, physical-based modeling, OpenGL, elastic objects, soft body
12Ilie Savga, Michael Rudolf 0001, Sebastian Goetz, Uwe Aßmann Practical refactoring-based framework upgrade. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF adaptation, frameworks, refactoring, maintenance
12Jeffrey Stylos, Brad A. Myers The implications of method placement on API learnability. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF usability, user studies, frameworks, documentation, APIs, libraries
12Mauro Migliardi A Web Services Gateway for the H2O Lightweight Grid Computing Framework. Search on Bibsonomy ServiceWave The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software Components Frameworks, Web Services, Service Oriented Architecture, Grid-Computing
12Adam Belloum, Zhiming Zhao, Marian Bubak International Workshop on Applications of Workflows in Computational Science (AWCS 08). Search on Bibsonomy ICCS (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, frameworks, data management, scientific workflow, resource discovery, e-Science, application integration
12Alex Groce, Rajeev Joshi Random testing and model checking: building a common framework for nondeterministic exploration. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, dynamic analysis, random testing, test frameworks
12Ben Liblit, Atanas Rountev WODA 2008: the sixth international workshop on dynamic analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
12Brigitte Pientka, Jana Dunfield Programming with proofs and explicit contexts. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type theory, dependent types, logical frameworks
12Coromoto León, Gara Miranda, Carlos Segura A Parallel Plugin-Based Framework for Multi-objective Optimization. Search on Bibsonomy DCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF island-based models, plugin-based frameworks, evolutionary algorithms, Multi-objective optimization, parallel optimization
12Mohamed Ahmed Mgheder, Mick J. Ridley Automatic Generation of Web User Interfaces in PHP Using Database Metadata. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF frameworks, languages, Web technology
12Douglas Samuel Kirk, Marc Roper, Murray Wood Identifying and addressing problems in object-oriented framework reuse. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Framework reuse, Empirical study, Documentation, Object-oriented frameworks, Qualitative study, Software comprehension
12Frank Buschmann, Kevlin Henney, Douglas C. Schmidt Past, Present, and Future Trends in Software Patterns. Search on Bibsonomy IEEE Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pattern languages, object-oriented frameworks, software patterns
12Sunita Chulani, Padmanabhan Santhanam, Brent Hodges, Kelley Blacksten Anders Metrics-Based Management of Software Product Portfolios. Search on Bibsonomy IEEE Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software product portfolio, software product and process metrics, software measurement frameworks, knowledge management, software quality management
12Christa D. Peters-Lidard, Paul R. Houser, Yudong Tian, Sujay V. Kumar, James Geiger, S. Olden, L. Lighty, B. Doty, Paul A. Dirmeyer, J. Adams, K. Mitchell, Eric F. Wood, Justin Sheffield High-performance Earth system modeling with NASA/GSFC's Land Information System. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Land surface modeling, Earth system modeling, Interoperability, Information systems, High-performance computing, Ensemble, Object-oriented frameworks, Weather, Climate
12Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
12Paolo Torroni, Marco Gavanelli, Federico Chesani Argumentation in the Semantic Web. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF argumentation frameworks, Semantic Web, logic programming
12Stefan Jablonski, Bernhard Volz, M. Abdul Rehman A conceptual modeling and execution framework for process based scientific applications. Search on Bibsonomy CIMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF process modeling and execution, data integration, scientific workflow, scientific applications, scientific data management, architectural frameworks
12Fintan Culwin Learning beans: design, implementation & evaluation. Search on Bibsonomy BCS HCI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF learning activity management systems (lams), learning beans, learning frameworks, usability, learning objects
12Abbas Heydarnoori, Krzysztof Czarnecki 0001 Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FUDA demonstration, framework comprehension, object-oriented software frameworks, data mining, clustering, dynamic slicing
12Abbas Heydarnoori, Krzysztof Czarnecki 0001 Comprehending implementation recipes of framework-provided concepts through dynamic analysis. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FUDA, framework comprehension, object-oriented software frameworks, data mining, clustering, dynamic slicing
12M. E. Fayad, Tarek Helmy, Somenath Das, Rami Bahsoon, Dilip Patel The first international workshop on unified data mining engine: addressing challenges (UDME 2007). Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF unified software engines (USE), data mining, frameworks, architectural patterns, knowledge maps
12Torbjörn Ekman 0001, Görel Hedin The JastAdd extensible Java compiler. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF declarative frameworks, Java, compilers, OOP, modularity, extensibility
12Torbjörn Ekman 0001, Görel Hedin The JastAdd extensible Java compiler. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF declarative frameworks, Java, compilers, OOP, modularity, extensibility
12Larry Kerschberg, Hanjo Jeong, Yong Uk Song, Wooju Kim A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter. Search on Bibsonomy ICCBR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Case- Based Frameworks, Knowledge Sifter, Agents, Collaborative Filtering, Semantic Search
12Daniel K. Lee, Karl Crary, Robert Harper 0001 Towards a mechanized metatheory of standard ML. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
12Marenglen Biba, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks. Search on Bibsonomy KES (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic-statistical frameworks, machine learning, Systems biology, statistical relational learning, metabolic networks
12Gabrielle Allen Building a Dynamic Data Driven Application System for Hurricane Forecasting. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF DDDAS, hurricane forecasting, event driven computing, priority computing, coastal modeling, computational frameworks, Dynamic data driven application systems
12Gabriella Pasi, Gloria Bordogna, Robert Villa A multi-criteria content-based filtering system. Search on Bibsonomy SIGIR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF models, frameworks, content-based filtering, requirements gathering
12Fabio Mancinelli, Paola Inverardi Quantitative resource-oriented analysis of Java (Adaptable) applications. Search on Bibsonomy WOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF resource aware frameworks, adaptable applications
12Arnaud Liefooghe, Matthieu Basseur, Laetitia Jourdan, El-Ghazali Talbi ParadisEO-MOEO: A Framework for Evolutionary Multi-objective Optimization. Search on Bibsonomy EMO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF design and code reuse, evolutionary algorithms, multi-objective optimization, object-oriented frameworks
12Kostadin Damevski, Ashwin Deepak Swaminathan, Steven G. Parker CCALoop: scalable design of a distributed component framework. Search on Bibsonomy HPDC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed hash table, component frameworks
Displaying result #501 - #600 of 8579 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license