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