|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, SSR 2001, May 18-20, 2001, Toronto, Ontario, Canada, pp. 58-66, 2001, ACM, 1-58113-358-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 272-288, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Geoffrey K. Pullum, Barbara C. Scholz |
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings, pp. 17-43, 2001, Springer, 3-540-42273-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Melluish, Craig Saunders, Ilia Nouretdinov, Volodya Vovk |
Comparing the Bayes and Typicalness Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings, pp. 360-371, 2001, Springer, 3-540-42536-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Virginia Dignum, Frank Dignum |
Modelling Agent Societies: Co-ordination Frameworks and Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 191-204, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 33(10), pp. 40-47, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Manoel G. Mendonça, Victor R. Basili |
Validation on an Approach for Improving Existing Measurement Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(6), pp. 484-499, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents Workshop on Infrastructure for Multi-Agent Systems ![In: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, International Workshop on Infrastructure for Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000, Revised Papers, pp. 64-71, 2000, Springer, 3-540-42315-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe |
UML-F: A Modeling Language for Object-Oriented Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, pp. 63-82, 2000, Springer, 3-540-67660-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Carsten Schürmann |
Tutorial: Meta-logical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 507-508, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Hsiangchu Lai, Tsai-Hsin Chu |
Knowledge Management: A Review of Theoretical Frameworks and Industrial Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 148-157, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Ali Arsanjani |
Analysis, Design and Implementation of Distributed Java Business Frameworks Using Domain Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 490-500, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Massonet, Axel van Lamsweerde |
Analogical Reuse of Requirements Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 26-, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (24) ![In: TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China, pp. 151-158, 1997, IEEE Computer Society, 0-8186-8551-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Gärtner, Emo Welzl |
Linear Programming - Randomization and Abstract Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 669-687, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Altmeyer, Stefan Ohnsorge, Bernd Schürmann |
Reuse of design objects in CAD frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1994, San Jose, California, USA, November 6-10, 1994, pp. 754-761, 1994, IEEE Computer Society / ACM, 0-89791-690-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Yunhong Gu, Robert L. Grossman |
Toward Efficient and Simplified Distributed Data Intensive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 22(6), pp. 974-984, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 11th Annual International Symposium on Applications and the Internet, SAINT 2011, Munich, Germany, 18-21 July, 2011, Proceedings, pp. 56-64, 2011, IEEE Computer Society, 978-1-4577-0531-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011, Helsinki, Finland, August 29 - September 2, 2011, pp. 304-313, 2011, IEEE Computer Society, 978-1-4577-0869-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 14(2), pp. 89-92, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Web services, functional programming, HTTP, Erlang, REST, Web frameworks |
12 | David Geer |
Whatever Happened to Network-Access-Control Technology? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 43(9), pp. 13-16, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Proceedings of the 18th Euromicro Conference on Parallel, Distributed and Network-based Processing, PDP 2010, Pisa, Italy, February 17-19, 2010, pp. 419-427, 2010, IEEE Computer Society, 978-0-7695-3939-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: The Fourth International Conference on Digital Society, ICDS 2010, 10.16 February 2010, St. Maarten, Netherlands Antilles, pp. 339-344, 2010, IEEE Computer Society, 978-0-7695-3953-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: The Fourth International Conference on Digital Society, ICDS 2010, 10.16 February 2010, St. Maarten, Netherlands Antilles, pp. 92-97, 2010, IEEE Computer Society, 978-0-7695-3953-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSN ![In: International Conference on Body Sensor Networks, BSN 2010, Singapore, 7-9 June, 2010, pp. 228-233, 2010, IEEE, 978-1-4244-5817-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Tenth Annual International Symposium on Applications and the Internet, SAINT 2010, Seoul, Korea, 19-23 July, 2010, Proceedings, pp. 113-116, 2010, IEEE Computer Society, 978-1-4244-7526-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Ubiquitous Computing, Context Awareness, Synchronization, Accelerometer, Middleware Frameworks |
12 | Ariel Ortiz |
Building server-side web language processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 2-6, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 27-38, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the Eighth ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010, pp. 295-302, 2010, IEEE Computer Society, 978-0-7695-4075-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010, pp. 25-36, 2010, ACM, 978-1-60558-958-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010, pp. 1-12, 2010, ACM, 978-1-60558-958-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2010, Samos, Greece, June 23-25, 2010, 2010, ACM, 978-1-4503-0071-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 55(2-3), pp. 155-176, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(1-3), pp. 331-357, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Res. Dev. ![In: Comput. Sci. Res. Dev. 23(3-4), pp. 159-167, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 14(3), pp. 177-207, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(3), pp. 9:1-9:49, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 14-18, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 721-722, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 2072-2076, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, Fourth International Conference, PERSUASIVE 2009, Claremont, California, USA, April 26-29, 2009. Proceedings, pp. 42, 2009, ACM, 978-1-60558-376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 60-64, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 89-100, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 131-136, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 2223-2232, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings of the 8th International Conference on Virtual Reality Continuum and its Applications in Industry, VRCAI 2009, Yokohama, Japan, December 14-15, 2009, pp. 363-368, 2009, ACM, 978-1-60558-912-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 83-92, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 590-594, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009. Proceedings, pp. 1-20, 2009, Springer, 978-3-642-10444-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009, 1-4 September 2009, Auckland, New Zealand, pp. 163-172, 2009, IEEE Computer Society, 978-0-7695-3785-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 12(4), pp. 299-306, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 23:1-23:49, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 14(1), pp. 15-32, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 9(1), pp. 19-27, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 2(2-3), pp. 93-110, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 50(5), pp. 400-407, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 6(2), pp. 195-213, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 23(1), pp. 69-71, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, pp. 434-435, 2008, IEEE Computer Society, 978-1-4244-3380-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scientific workflow frameworks, cloud computing, data management, eScience |
12 | Carsten Schürmann 0001, Jeffrey Sarnat |
Structural Logical Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 69-80, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 253-263, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 241-252, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
computation, binding, logical frameworks, polarity, sequent calculus |
12 | Christian Urban, James Cheney, Stefan Berghofer |
Mechanizing the Metatheory of LF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 45-56, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 371-382, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, 5th International Conference, CDVE 2008, Calvià, Mallorca, Spain, September 21-25, 2008, Proceedings, pp. 1-10, 2008, Springer, 978-3-540-88010-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings, pp. 164-176, 2008, Springer, 978-3-540-68500-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers, pp. 281-288, 2008, Springer, 978-3-540-92830-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 144-151, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2008, Montreal, Quebec, Canada, May 12-13, 2008, Proceedings, pp. 145-158, 2008, ACM, 978-1-60558-101-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 171-180, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adaptation, frameworks, refactoring, maintenance |
12 | Jeffrey Stylos, Brad A. Myers |
The implications of method placement on API learnability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 105-112, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ServiceWave ![In: Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings, pp. 220-229, 2008, Springer, 978-3-540-89896-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 459-462, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 22-28, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 313-314, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 163-173, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI ![In: International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, University of Salamanca, Spain, 22th-24th October 2008, pp. 142-151, 2008, Springer, 978-3-540-85862-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 426-430, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 12(3), pp. 243-274, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(4), pp. 31-37, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(2), pp. 66-72, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 3(3), pp. 157-165, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 39(1), pp. 1-47, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 22(6), pp. 66-74, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMS ![In: Proceedings of the First Workshop on CyberInfrastructure: Information Management in eScience, CIMS 2007, Sixteenth ACM Conference on Information and Knowledge Management, CIKM 2007, Lisbon, Portugal, November 9, 2007, pp. 23-30, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 2, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007, pp. 23-26, 2007, BCS, 978-1-902505-95-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 876-877, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 819-820, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 761-762, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 773-774, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 884-885, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007, Proceedings, pp. 16-30, 2007, Springer, 978-3-540-74138-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 173-184, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I, pp. 132-139, 2007, Springer, 978-3-540-74817-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 1034-1041, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 775-776, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 15-25, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings, pp. 386-400, 2007, Springer, 3-540-70927-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 25-29 June 2007, Monterey, California, USA, pp. 213-214, 2007, ACM, 978-1-59593-673-8. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|