|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 439 occurrences of 375 keywords
|
|
|
Results
Found 822 publication records. Showing 822 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Leslie C. Lander, Sandeep Mitra |
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings, pp. 165-181, 1992, Springer, 3-540-55585-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
69 | Greg Walsh, Allison Druin, Mona Leigh Guha, Elizabeth Foss, Evan Golub, Leshell Hatley, Elizabeth M. Bonsignore, Sonia Franckel |
Layered elaboration: a new technique for co-design with children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1237-1240, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
layered elaboration, low-tech prototyping, children, co-design, storyboarding, cooperative inquiry |
69 | Damien Pous |
Weak Bisimulation Up to Elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 390-405, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary |
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 41-50, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages |
59 | Arran Derbyshire, Tobias Becker, Wayne Luk |
Incremental elaboration for run-time reconfigurable hardware designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 93-102, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
incremental elaboration, run-time reconfiguration, hardware compilation |
53 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. ![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. 89-102, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
53 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 121-130, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
49 | Stephen A. Edwards, Jia Zeng |
Static elaboration of recursion for concurrent software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 71-80, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SHIM, static elaboration, concurrency, recursion, partial evaluation |
49 | Anke Dittmar, Andreas Gellendin, Peter Forbrig |
Requirements Elicitation and Elaboration in Task-Based Design Needs More Than Task Modelling: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 275-291, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Task models in user-centered software design, Early requirements, elicitation and elaboration for task-based design, User-task elicitation, Task-based design |
49 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Behaviour model elaboration using partial labelled transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 19-27, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model elaboration, partial LTS, synthesis, scenarios |
48 | Todd B. Knoblock, Jakob Rehof |
Type elaboration and subtype completion for Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(2), pp. 243-272, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language |
48 | T. R. Girill |
Example elaboration as a neglected instructional strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: The Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, SIGDOC 2001, Santa Fe, New Mexico, USA, October 21-24, 2001, pp. 39-46, 2001, ACM, 1-58113-295-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
example design, self-explanation, teaching technical writing, usability, documentation, cognitive psychology |
48 | Todd B. Knoblock, Jakob Rehof |
Type Elaboration and Subtype Completion for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 228-242, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Sevan G. Ficici, Anthony Bucci |
Advanced tutorial on coevolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 3172-3204, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CCEA, archive methods, complexification, order theory, evaluation, dynamical systems, coevolution, neuroevolution, evolutionary game theory, NEAT, cooperative coevolution, pareto coevolution, elaboration, coevolutionary algorithm |
42 | Colin Potts, Kenji Takahashi, Jeffrey D. Smith, Kenji Ota |
An evaluation of inquiry-based requirements analysis for an Internet service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 172-180, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
inquiry-based requirements analysis, inquiry cycle, generic process model, requirements elaboration, requirements expression, Tuiqiao, requirements analysis phase, commercial consumer information service, qualitative classification schemes, synchronous meetings, work patterns, Internet, systems analysis, wide area networks, commitment, information services, Internet service, quantitative measures, discussion |
38 | Axel van Lamsweerde, Robert Darimont, Philippe Massonet |
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 194-203, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
goal-directed elaboration, requirements engineering languages, nontrivial benchmark, complex requirements engineering tasks, distributed meeting scheduler system, KAOS goal directed language, goal identification, deidelization, interfering goals, abstract descriptions, retractable assumptions, hybrid acquisition strategies, scheduling, formal specification, groupware, case study, specification languages, requirements traceability, formal reasoning, meeting scheduler |
38 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 13(1), pp. 37-85, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
implied scenarios, negative scenarios, MSC, LTSA |
38 | Dario Bonino, Fulvio Corno, Laura Farinetti, Andrea Ferrato |
Multilingual semantic elaboration in the DOSE platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1642-1646, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Semantic Web, multilingual ontology |
38 | Patrick Heymans, Eric Dubois 0001 |
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 3(3/4), pp. 202-218, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Formal methods, Animation, Scenarios, Message sequence charts |
38 | Adolfo Villafiorita |
Abstraction as a Form of Elaboration Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 427-437, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Marc Meunier, Rozenn Baudet, Nadine Vigouroux, Frédéric Vella |
Élaboration d'un indice de complexité des éditeurs d'équations : L'exemple de la comparaison de HandiMathKey et Libreoffice: Elaboration of an equation editor complexity index: Example of the comparison between HandMathKey and Libre Office. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM (Extended Abstracts) ![In: IHM '21 - 32e Conférence Francophone sur l'Interaction Homme-Machine, Virtual Event, France, April 13 - 16, 2021 - Extended Abstracts., pp. 5:1-5:6, 2021, ACM, 978-1-4503-8377-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Yinuo Li |
Elaboration of personalized projects for users in social and medico-social sector : automatic planning and data objectification. (Élaboration de projets personnalisés pour les usagers du secteur social et médico-social : planification automatique et ob- jectivation des données). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
34 | Robin Héron |
Le toucher social médié par la technologie : approche interactionniste de la co-élaboration des fonctions du toucher. (Technology-mediated social touch : an interactionist approach to the co-elaboration of touch functions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
34 | Olivier Jacq |
Détection, analyse contextuelle et visualisation de cyber-attaques en temps réel: élaboration de la Cyber Situational Awareness du monde maritime. (Real-time detection, contextual analysis and visualization of cyberattacks : Cyber Situational Awareness elaboration for the maritime sector). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
34 | Delphine Guillon |
Assistance à l'élaboration d'offres du produit au service : proposition d'un modèle générique centré connaissances et d'une méthodologie de déploiement et d'exploitation. (How to assist in bid elaboration from products to services : proposal of a knowledge-based generic model and a methodology for deployment and exploitation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
34 | Jorge Gaona |
Elaboración de un sistema de evaluación en línea como proceso de formación de profesores de matemáticas. (Elaboration of an online assessment system as a training process for mathematics teachers / Élaboration d'une base d'exercices comme processus de formation des professeurs de mathématique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
34 | Elena Arsevska |
Élaboration d'une méthode semi-automatique pour l'identification et le traitement des signaux d'émergence pour la veille internationale sur les maladies animales infectieuses. (Elaboration of a Semi-Automatic Method for Identification and Analysis of Signals of Emergence of Animal Infectious Diseases at International Level). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
34 | Morgan Magnin |
Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
34 | Sékou Kangoye |
Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test. (Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
34 | Thomas Lecorre |
Des conditions de conception d'une ingénierie didactique relative à la définition de la notion de limite : élaboration d'un cadre basé sur un modèle de rationalités pour l'accès aux objets mathématiques complexes. (Conditions for the conception of didactical design for the definition of the notion of limit : elaboration of a frame based on a model of rationalities for the access of complex mathematical objects). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
34 | Riadh Ben Salah |
Élaboration d'une méthode tomographique de reconstruction 3D en vélocimétrie par image de particules basée sur les processus ponctuels marqués. (Elaboration of 3D reconstruction tomographic method in particle image velocimetry based on marked point process). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
34 | Philippe Chazara |
Outils d'élaboration de stratégie de recyclage basée sur la gestion des connaissances : application au domaine du génie des procédés. (Tools of elaboration of strategy of waste recycling based on knowledge management : application on process engineering). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
34 | Maxime Yves Julien Manifi Abouh, Etienne Sadembouo |
Designing technical concepts in the elaboration of a thematic bilingual French/Yambeta agricultural lexicon (De la dénomination des concepts techniques dans l'élaboration d'un lexique thématique agricole bilingue français yambetta) [in French]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALAf@TALN ![In: Traitement Automatique des Langues Africaines (TALAf 2014: African Language Processing), TALAf@TALN 2014, Workshop, Marseille, France, Juillet 2014, pp. 159-171, 2014, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
34 | Julie Bolley |
Elaboration et caractérisation d'agents de contraste IRM pour le ciblage des intégrines αvβ3. (Elaboration and characterisation of MRI contrast agents targeting αvβ3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
34 | Khanh Nguyen-Trong |
éLaboration d'un processus et conception des outils pour introduire la Collaboration dans simulation. (Elaboration of a process and design of tools to introduce the collaboration in simulation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
34 | Hélène Marie |
Elaboration of a new sensor based on molecularly imprinted polymers for the detection of molecules in physiological fluids. (Elaboration de polymères à empreinte moléculaire pour la détection optique de molécule dans un fluide physiologique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
34 | Clémentine Adam, Marianne Vergez-Couret |
Exploiting naive vs expert discourse annotations: an experiment using lexical cohesion to predict Elaboration / Entity-Elaboration confusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAW@ACL ![In: Proceedings of the Sixth Linguistic Annotation Workshop, LAW@ACL 2012, July 12-13, 2012, Jeju Island, Republic of Korea, pp. 22-30, 2012, The Association for Computer Linguistics, 978-1-937284-32-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
34 | Antoine Lambert |
Visualisation interactive de graphes : élaboration et optimisation d'algorithmes à coûts computationnels élevés. (Interactive graph visualization : elaboration and optimisation of algorithms with high computationnal cost). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
34 | Thomas Collonvillé |
Elaboration de processus de développements logiciels spécifiques et orientés modèles : application aux systèmes à évenements discrets. (Elaboration of specific model-driven software development processes : application to discrete event systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
34 | Élise Gendron |
Cadre conceptuel pour l'élaboration d'indicateurs de collaboration à partir des traces d'activité. (Framework for the elaboration of collaboration indicators from activity traces). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
34 | Alexandre Carra |
Modèle physique discret et systèmes différentiels: vers l'élaboration d'un simulateur cellulaire. (Physically based discrete model and differential systems: towards the elaboration of a cellular simulator). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
34 | Ludovic Garreau |
Élaboration d'une interface tangible pour l'assemblage en CAO. (Elaboration of a tangible user interface for CAD assembly). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
34 | Meriem Riahi |
Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine: Application à l'outil Ergo-Conceptor+. (Contribution to the elaboration of a methodology for the specification, verification and semi-automatic generation of human-machine interfaces: Application to the Ergo-Conceptor + tool). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
32 | Dario Fischbein, Sebastián Uchitel |
On correct and complete strong merging of partial behaviour models. ![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. 297-307, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modal transition systems, partial behaviour models, merge, elaboration |
32 | Antonella Galizia, Federica Viti, Alessandro Orro, Daniele D'Agostino, Ivan Merelli, Luciano Milanesi, Andrea Clematis |
TMAinspect, an EGEE Framework for Tissue MicroArray Image Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 741-746, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TMA, EGEE Grid, image elaboration, parallel coputing library |
32 | Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey, Matthieu Imbert |
ORCHESTRA: Formalism to Express Mobile Cooperative Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings, pp. 163-178, 2006, Springer, 3-540-39591-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Specific description language, MDA inspired elaboration process, transformation process, formalism meta-model and examples |
32 | Didier Rémy |
Simple, partial type-inference for System F based on type-containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 130-143, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type containment, type reconstruction, polymorphism, type inference, System F, elaboration |
32 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Monitoring and control in scenario-based requirements analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 382-391, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
implied scenarios, scenario-based requirements elaboration, message sequence charts |
32 | Catherine Vaucelle, Tristan Jehan |
Dolltalk: a computational toy to enhance children's creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, CHI 2002, Minneapolis, Minnesota, USA, April 20-25, 2002, pp. 776-777, 2002, ACM, 1-58113-454-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
motion and speech detection, narrative elaboration, performance, children, tangible interface, toy, perspective-taking |
32 | Annie I. Antón |
Goal-Based Requirements Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 2nd International Conference on Requirements Engineering, ICRE '96, Colorado Springs, Colorado, USA, April 15-18, 1996, pp. 136-144, 1996, IEEE Computer Society, 0-8186-7252-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
goal identification, goal elaboration, goal refinement, requirements methods, requirements engineering, scenario analysis |
32 | Eric Dubois 0001, Philippe Du Bois, Michaël Petit |
Elicitating and Formalising Requirements for C.I.M. Information Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'93, Paris, France, June 8-11, 1993, Proceedings, pp. 252-274, 1993, Springer, 3-540-56777-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
O-O requirements engineering, CIM applications, elaboration of the requirements document, agents, formal language, actions |
32 | Eric Dubois 0001, Philippe Du Bois, Michaël Petit |
O-O Requirements Analysis: an Agent Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 458-481, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
O-O requirements analysis, first-order, temporal and deontic logic, elaboration of the requirements document, agents, formal language, actions |
31 | Bruno Campagnolo, Cesar Augusto Tacla, Emerson Cabrera Paraiso, Gilson Yukio Sato, Milton Pires Ramos |
An architecture for supporting small collocated teams in cooperative software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, CSCWD 2009, April 22-24, 2009, Santiago, Chile, pp. 264-269, 2009, IEEE, 978-1-4244-3534-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Cristen Torrey, Aaron Powers, Susan R. Fussell, Sara B. Kiesler |
Exploring adaptive dialogue based on a robot's awareness of human gaze and task progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, HRI 2007, Arlington, Virginia, USA, March 10-12, 2007, pp. 247-254, 2007, ACM, 978-1-59593-617-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
adaptive dialogue, human-robot dialogue, human-robot interaction, social robots |
31 | Azzedine Boukerche, Alessandro Fabbri, Armin R. Mikler |
Distributed Simulation over Loosely Coupled Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 4th International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2000), 25-17 August 2000, San Francisco, CA, USA, pp. 18-, 2000, IEEE Computer Society, 0-7695-0837-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Local Time Warp, Distributed Simulation, Flow Control, Resource Control, Loosely Coupled Systems |
31 | Anas Tarah, Christian Huitema |
Associating Metrics to Certification Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings, pp. 175-189, 1992, Springer, 3-540-56246-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar |
Elaboration of use case specifications: an approach based on use case fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 614-618, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information systems specification, use case fragments, use cases |
27 | Kelly J. Fadel, Alexandra Durcikova, Hoon S. Cha |
Elaboration Likelihood in Knowledge Management: A Model and Experimental Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 359, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | David Ginat |
Hasty design, futile patching and the elaboration of rigor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 161-165, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
patching, rigor, programming errors |
27 | Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel |
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETX ![In: Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, ETX 2007, Montreal, Quebec, Canada, October 21, 2007, pp. 6-10, 2007, ACM, 978-1-60558-015-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FLTL, synthesis, scenarios, Eclipse, MTS |
27 | Antonis C. Kakas, Loizos Michael, Rob Miller 0002 |
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 211-226, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 597-601, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Dario Bonino, Fulvio Corno, Laura Farinetti |
DOSE: A Distributed Open Semantic Elaboration Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 3-5 November 2003, Sacramento, California, USA, pp. 580-588, 2003, IEEE Computer Society, 0-7695-2038-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Luca Vollero, Giulio Iannello, Francesco Delfino |
An Open Software Architecture for Structured Data Elaboration and Transcoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2003 International Symposium on Information Technology (ITCC 2003), 28-30 April 2003, Las Vegas, NV, USA, pp. 681-, 2003, IEEE Computer Society, 0-7695-1916-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
code reusability, Transcoding, real-time processing, software modularity |
21 | Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey |
ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 1082-1091, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CSoCW, Specific Description Language, MDA inspired elaboration process, transformation process, formalism meta-model, description patterns |
21 | Renée M. B. Fountain |
Conceptual enhancement via textual plurality: : a pedagogical Wiki bow towards collaborative structuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2007 International Symposium on Wikis, 2007, Montreal, Quebec, Canada, October 21-25, 2007, pp. 43-46, 2007, ACM, 978-1-59593-861-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
co-elaboration, communal constructivism, intertextuality, intratextuality, collaboration, wikis, technology, higher education, concept development |
21 | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 317-324, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic, SystemC, parser, static, front-end, elaboration |
21 | Eric Potratz |
A practical comparison between Java and Ada in implementing a real-time embedded system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003, pp. 71-83, 2003, ACM, 1-58113-476-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
conditional synchronization, package elaboration, scheduling, Java, performance, real-time systems, embedded systems, Ada, concurrency, object-oriented programming, memory management, drivers, priority inversion |
21 | Serafín Olcoz, Lorenzo Ayuda, Ivan Izaguirre, Olga Peñalba |
VHDL Teamwork, Organization Units and Workspace Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 297-302, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
VHDL analysis, simulation, management, Teamwork, cooperative work, workspace, elaboration |
21 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel |
A Sound Observational Semantics for Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 215-230, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | François Picard, Pascal Estraillier |
Enhancing a motion capture interface by introducing context management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 439-440, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
movement interpretation, motion capture, interactive system, game development, context management, adaptive execution |
21 | José Arnaldo Barra Montevechi, Rafael Florencio da Silva Costa, Fabiano Leal, Alexandre Ferreira de Pinho, Fernando Augusto Silva Marins, Fabio Ferreira Marins, Jose Tadeu de Jesus |
Combined use of modeling techniques for the development of the conceptual model in simulation projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 987-995, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Francesco Bruschi, Vincenzo Rana, Donatella Sciuto |
An architecture for dynamically reconfigurable real time audio processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008, pp. 81-86, 2008, IEEE Computer Society, 978-1-4244-2612-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jennifer Black, Philip Koopman |
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 184-191, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ludwik Kuzniarz, Lars Pareto, Jean-Louis Sourrouille, Miroslaw Staron |
Third Intenational Workshop on Quality in Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, pp. 271-274, 2007, Springer, 978-3-540-69069-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Caterina Mariani, Antonella Tronchi, Luigi Oncini, Osvaldo Pirani, Roberto Murri |
Analysis of the X-ray Work Flow in Two Diagnostic Imaging Departments With and Without a RIS/PACS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 19(S-1), pp. 18-28, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
RIS/PACS, workflow, X-rays |
21 | Michael Attig, Gordon J. Brebner |
Systematic Characterization of Programmable Packet Processing Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 14th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2006), 24-26 April 2006, Napa, CA, USA, Proceedings, pp. 195-204, 2006, IEEE Computer Society, 0-7695-2661-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sriram Sankaranarayanan 0001, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta |
Static Analysis in Disjunctive Numerical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 3-17, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | François Pottier |
From ML type inference to stratified type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 1, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Salvatore Vitabile, Vincenzo Conti, Giuseppe Lentini, Filippo Sorbello |
An Intelligent Sensor for Fingerprint Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 27-36, 2005, Springer, 3-540-30807-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente |
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6-8 June 2005, Stockholm, Sweden, pp. 181-190, 2005, IEEE Computer Society, 0-7695-2265-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jun Yan 0005, Yun Yang 0001, Gitesh K. Raikundalia |
Towards Incompletely Specified Process Support in SwinDeW - A Peer-to-Peer Based Workflow System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected papers) ![In: Computer Supported Cooperative Work in Design I, 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004, Revised Selected Papers, pp. 328-338, 2004, Springer, 3-540-29400-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Sebastián Uchitel, Marsha Chechik |
Merging partial behavioural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 43-52, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
partial behaviour models, merge, MTS |
21 | David Ginat |
Colorful examples for elaborating exploration of regularities in high-school CS1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland, June 11-13, 2000, pp. 81-84, 2000, ACM, 1-58113-207-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
high-school CS1, problem analysis, regularities, invariant properties |
21 | Alessandro Fava, Emanuele Fava, Massimo Bertozzi |
MPIPOV: A Parallel Implementation of POV-Ray Based on MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 426-433, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Dong Mei Zhang, Leila Alem |
A Generic Case-Based Framework for Assisting Instructional Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWCBR ![In: Advances in Case-Based Reasoning, 4th European Workshop, EWCBR-98, Dublin, Ireland, September 1998, Proceedings, pp. 322-333, 1998, Springer, 3-540-64990-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Qin Chen, Jiahua Jin, Xiangbin Yan |
Impact of online physician service quality on patients' adoption behavior across different stages: An elaboration likelihood perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 176, pp. 114048, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Qin Yang, Young-Chan Lee |
The effect of live streaming commerce quality on customers' purchase intention: extending the elaboration likelihood model with herd behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behav. Inf. Technol. ![In: Behav. Inf. Technol. 43(5), pp. 907-928, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Rubio, Ismael Gallardo, Felipe Besoain |
Promoting Healthy Behaviors Through an RPG Videogame: An Elaboration Likelihood Model Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Games ![In: IEEE Trans. Games 16(1), pp. 241-246, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Stacy Miller, Philip Menard, David Bourrie, Scott M. Sittig |
Integrating truth bias and elaboration likelihood to understand how political polarisation impacts disinformation engagement on social media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. J. ![In: Inf. Syst. J. 34(3), pp. 642-679, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Haoran Liao, Jidong Tian, Shaohua Hu, Hao He 0007, Yaohui Jin |
Look Before You Leap: Problem Elaboration Prompting Improves Mathematical Reasoning in Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15764, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Jacob Chia-An Tsai, Gary Klein 0001, Carol S. Saunders, James J. Jiang |
Information Elaboration and Coopetition: Participation in the Replacement of Legacy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 2683-2697, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Casper Bach Poulsen, Cas van der Rest |
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1801-1831, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yang Li, Zeshui Xu, Yixin Zhang |
A Dynamic Product Evaluation Model Based on Online Customer Reviews from the Perspective of the Elaboration Likelihood Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 2023, pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Warut Khern-am-nuai, Matthew J. Hashim, Alain Pinsonneault, Weining Yang, Ninghui Li |
Augmenting Password Strength Meter Design Using the Elaboration Likelihood Model: Evidence from Randomized Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Res. ![In: Inf. Syst. Res. 34(1), pp. 157-177, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yaojie Li, Xuan Wang, Craig Van Slyke |
Determinants of online professor reviews: an elaboration likelihood model perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Res. ![In: Internet Res. 33(6), pp. 2086-2108, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Zhen Shao, Lin Zhang, Zhengyuan Pan, Jose Benitez 0001 |
Uncovering the dual influence processes for click-through intention in the mobile social platform: An elaboration likelihood model perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 60(5), pp. 103799, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Thiago Felicissimo, Frédéric Blanqui |
Sharing proofs with predicative theories through universe polymorphic elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15465, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Haitao Lin, Yufei Huang, Haotian Zhang, Lirong Wu, Siyuan Li, Zhiyuan Chen 0008, Stan Z. Li |
Functional-Group-Based Diffusion for Pocket-Specific Molecule Generation and Elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13769, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 822 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|