Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
47 | Yi Huang, Dennis Gannon |
A Flexible and Efficient Approach to Reconcile Different Web Services-based Event Notification Specifications. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Jan-Willem Maessen, Arvind, Xiaowei Shen |
Improving the Java memory model using CRF. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
commit/reconcile/fence, Java, Java, compilation, memory models |
36 | Xiaowei Shen, Arvind, Larry Rudolph |
Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. |
ISCA |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Hong Liu, Xingkai Yang |
The relation between the right to knowledge and the right to privacy in e-commerce. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
reconcile, the right to knowledge, the right to privacy, e-commerce, conflict |
25 | Eliane Bucher, Christian Fieseler, Christoph Lutz, Alexander Buhmann |
Professionals, purpose-seekers, and passers-through: How microworkers reconcile alienation and platform commitment through identity work. |
New Media Soc. |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Zihan Wang 0001, Tianle Wang 0003, Dheeraj Mekala, Jingbo Shang |
A Benchmark on Extremely Weakly Supervised Text Classification: Reconcile Seed Matching and Prompting Approaches. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Justin Chih-Yao Chen, Swarnadeep Saha, Mohit Bansal |
ReConcile: Round-Table Conference Improves Reasoning via Consensus among Diverse LLMs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Zihan Wang 0001, Tianle Wang 0003, Dheeraj Mekala, Jingbo Shang |
A Benchmark on Extremely Weakly Supervised Text Classification: Reconcile Seed Matching and Prompting Approaches. |
ACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ho Tuan Dung, Tran Cao Son |
On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model? |
ICLP Technical Communications / Doctoral Consortium |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Dor Bitan, Ran Canetti, Shafi Goldwasser, Rebecca Wexler |
Using Zero-Knowledge to Reconcile Law Enforcement Secrecy and Fair Trial Rights in Criminal Cases. |
CSLAW |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Shoufeng Cao, Warwick Powell, Marcus Foth, Valeri Natanelov, Thomas Miller, Uwe Dulleck |
Strengthening consumer trust in beef supply chain traceability with a blockchain-based human-machine reconcile mechanism. |
Comput. Electron. Agric. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Keyang Wang, Lei Zhang 0038 |
Reconcile Prediction Consistency for Balanced Object Detection. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Keyang Wang, Lei Zhang 0038 |
Reconcile Prediction Consistency for Balanced Object Detection. |
ICCV |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Carmine Abate, Matteo Busi 0001, Stelios Tsampas 0001 |
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Tobias Klaus, Matthias Becker 0004, Wolfgang Schröder-Preikschat, Peter Ulbrich |
Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads. |
RTAS |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Nader Bazyari, Hedieh Sajedi |
A Reconcile of Density Based and Hierarchical Clustering Based on the Laws of Physics. |
IMCOM |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Steinerberger |
The Best Way to Reconcile Your Past Is Exponentially. |
Am. Math. Mon. |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Kellie Vella, Jessica L. Oliver, Tshering Dema, Margot Brereton, Paul Roe |
Ecology Meets Computer Science: Designing Tools to Reconcile People, Data, and Practices. |
CHI |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ricardo Alvarez, Nick Sims, Christian Servin, Martine Ceberio, Vladik Kreinovich |
How to Reconcile Randomness with Physicists' Belief that Every Theory Is Approximate: Informal Knowledge Is Needed. |
NAFIPS |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Hichem Chaalal, Nicolas Travers, Hafida Belbachir |
T-plotter: A new data structure to reconcile OLAP and OLTP models. |
Multiagent Grid Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Stephanie Elisabeth Galaitsi, Benjamin D. Trump, Jeffrey M. Keisler, Igor Linkov |
The Need to Reconcile Concepts that Characterize Systems Withstanding Threats. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
25 | Alberto Giaretta 0001, Stefano Pepe, Nicola Dragoni |
UniquID: A Quest to Reconcile Identity Access Management and the Internet of Things. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
25 | Alberto Giaretta 0001, Stefano Pepe, Nicola Dragoni |
UniquID: A Quest to Reconcile Identity Access Management and the IoT. |
TOOLS |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Pietro Hiram Guzzi, Tijana Milenkovic |
Survey of local and global biological network alignment: the need to reconcile the two sides of the same coin. |
Briefings Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Pedro Benedicte, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla |
HWP: Hardware Support to Reconcile Cache Energy, Complexity, Performance and WCET Estimates in Multicore Real-Time Systems. |
ECRTS |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Jean Marie Rodrigues, Stefan Schulz 0001, Bassim Mizen, Béatrice Trombert, Alan L. Rector |
Scrutinizing SNOMED CT's Ability to Reconcile Clinical Language Ambiguities with an Ontology Representation. |
MIE |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Pierre Monnin, Clément Jonquet, Joël Legrand, Amedeo Napoli, Adrien Coulet |
PGxO: A very lite ontology to reconcile pharmacogenomic knowledge units. |
PeerJ Prepr. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | James Rankin, Frédéric Chavane |
Neural field model to reconcile structure with function in primary visual cortex. |
PLoS Comput. Biol. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar |
A DSL Approach to Reconcile Equivalent Divergent Program Executions. |
USENIX Annual Technical Conference |
2017 |
DBLP BibTeX RDF |
|
25 | Wen Wang, Wenbo He, Jinshu Su |
Redactor: Reconcile network control with declarative control programs In SDN. |
ICNP |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Chaithan Prakash, Jeongkeun Lee, Yoshio Turner, Joon-Myung Kang, Aditya Akella, Sujata Banerjee, Charles Clark, Yadi Ma, Puneet Sharma, Ying Zhang |
PGA: Using Graphs to Express and Automatically Reconcile Network Policies. |
SIGCOMM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Dayse Silveira de Almeida, Carmem Satie Hara, Cristina Dutra de Aguiar Ciferri |
What if Multiusers Wish to Reconcile Their Data?. |
ICEIS (1) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Faisal L. Kadri |
Understanding and learning to reconcile differences between disciplines through constructing an artificial personality. |
Kybernetes |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Wolfgang Spohn |
How Essentialism Properly Understood Might Reconcile Realism and Social Constructivism. |
New Directions in the Philosophy of Science |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Geva Vashitz, Mark E. Nunnally, Yisrael Parmet, Yuval Bitan, Michael F. O'Connor, Richard I. Cook |
How do clinicians reconcile conditions and medications? The cognitive context of medication reconciliation. |
Cogn. Technol. Work. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Richard L. Kravitz, Robert A. Bell |
Media, messages, and medication: strategies to reconcile what patients hear, what they want, and what they need from medications. |
BMC Medical Informatics Decis. Mak. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Richard M. Anderson, Robert T. Clemen |
Toward an Improved Methodology to Construct and Reconcile Decision Analytic Preference Judgments. |
Decis. Anal. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Moritz Hardt, Ankur Moitra |
Can We Reconcile Robustness and Efficiency in Unsupervised Learning? |
CoRR |
2012 |
DBLP BibTeX RDF |
|
25 | Rebecca Lawler, Hui Yang 0002, Kathryn Woods, Josh Kaminker |
Open Reconcile: A Practical Open-sourced Ontology-driven Webservice. |
EDOC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Guillaume Drion, Laurent Massotte, Rodolphe Sepulchre, Vincent Seutin |
How Modeling Can Reconcile Apparently Discrepant Experimental Results: The Case of Pacemaking in Dopaminergic Neurons. |
PLoS Comput. Biol. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Johann Cas |
Ubiquitous Computing, Privacy and Data Protection: Options and Limitations to Reconcile the Unprecedented Contradictions. |
Computers, Privacy and Data Protection |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Veselin Stoyanov, Uday Babbar, Pracheer Gupta, Claire Cardie |
Reconciling OntoNotes: Unrestricted Coreference Resolution in OntoNotes with Reconcile. |
CoNLL Shared Task |
2011 |
DBLP BibTeX RDF |
|
25 | Youngjun Kim, Ellen Riloff, Nathan Gilbert |
The Taming of Reconcile as a Biomedical Coreference Resolver. |
BioNLP@ACL (Shared Task) |
2011 |
DBLP BibTeX RDF |
|
25 | Sami El Boustani, Alain Destexhe |
Brain Dynamics at Multiple Scales: Can One Reconcile the Apparent Low-Dimensional Chaos of Macroscopic Variables with the seemingly Stochastic Behavior of Single Neurons? |
Int. J. Bifurc. Chaos |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Lorenz 0001, Bernd Mohr, Christian Rössel, Dirk Schmidl, Felix Wolf 0001 |
How to Reconcile Event-Based Performance Analysis with Tasking in OpenMP. |
IWOMP |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Lorenzo Blanco, Valter Crescenzi, Paolo Merialdo, Paolo Papotti |
Probabilistic Models to Reconcile Complex Data from Inaccurate Data Sources. |
CAiSE |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Veselin Stoyanov, Claire Cardie, Nathan Gilbert, Ellen Riloff, David Buttler, David Hysom |
Coreference Resolution with Reconcile. |
ACL (2) |
2010 |
DBLP BibTeX RDF |
|
25 | Antoine Bommier, Stéphane Zuber |
Can preferences for catastrophe avoidance reconcile social discounting with intergenerational equity? |
Soc. Choice Welf. |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Julio C. Urenda, Olga Kosheleva |
How to reconcile physical theories with the idea of free will: From analysis of a simple model to interval and fuzzy approaches. |
FUZZ-IEEE |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Christopher P. Nemeth, Mark E. Nunnally, Michael F. O'Connor, Marian Brandwijk, Julie Kowalsky, Richard I. Cook |
Regularly irregular: how groups reconcile cross-cutting agendas and demand in healthcare. |
Cogn. Technol. Work. |
2007 |
DBLP DOI BibTeX RDF |
Technical work, Healthcare, Cognition, Resilience, Cognitive systems engineering |
25 | Vessela Tz. Krasteva, Peter L. M. Kerkhof |
On the optimal defibrillation Waveform-how to reconcile theory and experiment? |
IEEE Trans. Biomed. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Robert A. Malkin, Stephanie R. Jackson, Jennifer Nguyen, Zhao Yang, Dongxu Guan |
Reply to "On the optimal defibrillation waveform-how to reconcile theory and experiment?". |
IEEE Trans. Biomed. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Adrien Coulet, Malika Smaïl-Tabbone, Pascale Benlian, Amedeo Napoli, Marie-Dominique Devignes |
SNP-Converter: An Ontology-Based Solution to Reconcile Heterogeneous SNP Descriptions for Pharmacogenomic Studies. |
DILS |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Prashanti R. Srinivas, Shang-Heng Wei, Nello Cristianini, Edward G. Jones, F. A. Gorin |
Comparison of vector space model methodologies to reconcile cross-species neuroanatomical concepts. |
Neuroinformatics |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Gregory Vert, Jill Heaton, Ashley Morris |
A Fuzzy Method to Reconcile Spatial Object Discrepancies In A New Peer To Peer Based Database System. |
PDPTA |
2005 |
DBLP BibTeX RDF |
|
25 | Willy Wriggers, Pablo Chacón, Julio A. Kovacs, Florence Tama, Stefan Birmanns |
Topology representing neural networks reconcile biomolecular shape, structure, and dynamics. |
Neurocomputing |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Fabien L. Gandon, Norman M. Sadeh |
Semantic web technologies to reconcile privacy and context awareness. |
J. Web Semant. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Francis Rousseaux, Alain Bonardi |
Reconcile art and culture on the web. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
media mining, on-line music distribution, artificial intelligence, intelligent user interface, computing theory, content based indexing and retrieval, computer art |
25 | Francis Rousseaux, Alain Bonardi |
Reconcile Art and Culture on the Web. |
WSPI |
2004 |
DBLP BibTeX RDF |
|
25 | David J. Martin 0002 |
Extending the automated zoning procedure to reconcile incompatible zoning systems. |
Int. J. Geogr. Inf. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Fabien Gandon, Norman M. Sadeh |
A Semantic E-Wallet to Reconcile Privacy and Context Awareness. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Rand Guthrie |
Predicting Organizational Transformation in ERP Adoption: Using a Multi-Level Model to Reconcile Vvariance and Process Theories. |
AMCIS |
2003 |
DBLP BibTeX RDF |
|
25 | Debbie Richards 0001, Anne-Britt Fure, Oscar Aguilera |
An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Stefano Carpin, Carlo Ferrari, Enrico Pagello |
Map focus: A way to reconcile reactivity and deliberation in multirobot systems. |
Robotics Auton. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ulrich Schmid 0001, Klaus Schossmaier |
How to reconcile fault-tolerant interval intersection with the Lipschitz condition. |
Distributed Comput. |
2001 |
DBLP DOI BibTeX RDF |
Fault-tolerant interval intersection, Marzullo function, Interval-based clock synchronization, Hybrid fault models |
25 | Angelo Corsaro, Christopher Gill 0001, Ron Cytron, Douglas C. Schmidt |
Formalizing Meta-Programming Techniques to Reconcile Heterogeneous Scheduling Disciplines in Open Distributed Real-Time Systems. |
DOA |
2001 |
DBLP DOI BibTeX RDF |
Real-Time and Distributed Systems, Meta-programming Architectures, CORBA, Dynamic Scheduling |
25 | Pierre E. Bonzon |
Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. |
WLP |
2000 |
DBLP BibTeX RDF |
|
25 | Luc Goossens |
An Aggregation Based Approach to Reconcile Expressiveness and Unambiguity in Object Oriented Modelling Languages. |
ICEIS |
1999 |
DBLP BibTeX RDF |
|
25 | Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre |
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming |
25 | Robert A. Kowalski |
Using Meta-Logic to Reconcile Reactive with Rational Agents. |
PAAM |
1996 |
DBLP BibTeX RDF |
|
22 | Felix Hupfeld |
Log-Structured Storage for Efficient Weakly-Connected Replication. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Astrid Wichmann, Joshua Gottdenker, David Jonassen, Marcelo Milrad |
Developing a Framework for Conceptual Change within Scientific Inquiry. |
ICALT |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Donald L. Shell |
The Share 709 System: A Cooperative Effort. |
J. ACM |
1959 |
DBLP DOI BibTeX RDF |
|
11 | Magnus Skjegstad, Torleiv Maseng |
Low complexity set reconciliation using Bloom filters. |
FOMC |
2011 |
DBLP DOI BibTeX RDF |
|
11 | David S. Kirk, Abigail Sellen, Xiang Cao |
Home video communication: mediating 'closeness'. |
CSCW |
2010 |
DBLP DOI BibTeX RDF |
video-mediated communication, vmc, home users |
11 | Kathi Fisler, Shriram Krishnamurthi |
A model of triangulating environments for policy authoring. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
authoring environments, policy authoring |
11 | Grace YoungJoo Jeon, Yong-Mi Kim, Yan Chen 0014 |
Re-examining price as a predictor of answer quality in an online q&a site. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
knowledge market, online community, question-answering, information quality, information exchange |
11 | Joëlle Coutaz |
User interface plasticity: model driven engineering to the limit! |
EICS |
2010 |
DBLP DOI BibTeX RDF |
user interface composition, service-oriented architecture (soa), model driven engineering (mde), user interface generation, run time adaptation, user interface adaptation, dynamic service composition, user interface plasticity |
11 | Keith L. Downing |
The baldwin effect in developing neural networks. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
genetic algorithm, neural network, baldwin effect |
11 | Gianluca Correndo, Manuel Salvadores, Ian Millard, Hugh Glaser, Nigel Shadbolt |
SPARQL query rewriting for implementing data integration over linked data. |
EDBT/ICDT Workshops |
2010 |
DBLP DOI BibTeX RDF |
RDF, SPARQL, query rewriting |
11 | Hakan Erdogmus |
Cost effectiveness analysis in software engineering. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
software quality, productivity, cost-benefit analysis, cost effectiveness, software economics |
11 | Maxim Raya, Reza Shokri, Jean-Pierre Hubaux |
On the tradeoff between trust and privacy in wireless ad hoc networks. |
WISEC |
2010 |
DBLP DOI BibTeX RDF |
privacy, trust, game theory |
11 | Stephen J. Willson |
Robustness of Topological Supertree Methods for Reconciling Dense Incompatible Data. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
Trees, Graph algorithms, phylogenetic tree, supertree |
11 | Matteo Ceriotti 0001, Luca Mottola, Gian Pietro Picco, Amy L. Murphy, Stefan Guna, Michele Corrà, Matteo Pozzi, Daniele Zonta, Paolo Zanon |
Monitoring heritage buildings with wireless sensor networks: The Torre Aquila deployment. |
IPSN |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Shifting the stage: staging with delimited control. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects |
11 | Fabio Simeoni, Leonardo Candela, David Lievens, Pasquale Pagano, Manuele Simi |
Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach. |
ECDL |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Vijay Varadharajan |
Evolution and challenges in trust and security in information system infrastructures. |
SIN |
2009 |
DBLP DOI BibTeX RDF |
trust enhanced security, trust management, trust models |
11 | Yi Shi 0001, Y. Thomas Hou 0001, Jia Liu 0002, Sastry Kompella |
How to correctly use the protocol interference model for multi-hop wireless networks. |
MobiHoc |
2009 |
DBLP DOI BibTeX RDF |
physical model, multi-hop wireless network, cross-layer optimization, interference modeling, protocol model |
11 | Jinquan Dai |
Design Patterns for Internet-Scale Services. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Christian Faubel, Gregor Schöner |
A neuro-dynamic architecture for one shot learning of objects that uses both bottom-up recognition and top-down prediction. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Keith Andrews, Martin Wohlfahrt, Gerhard Wurzinger |
Visual Graph Comparison. |
IV |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Peter de Vries, Thomas J. L. Van Rompay |
Subtle persuasion: the unobtrusive effect of website-banner congruence on trust. |
PERSUASIVE |
2009 |
DBLP DOI BibTeX RDF |
congruity, initial trust, trustworthiness, congruence, online trust |
11 | Carlos Eduardo S. Pires, Damires Souza, Thiago Pachêco, Ana Carolina Salgado |
A Semantic-Based Ontology Matching Process for PDMS. |
Globe |
2009 |
DBLP DOI BibTeX RDF |
Semantic Correspondences, Similarity Measure, Ontology Matching, Semantic Matching, PDMS |
11 | Devis Bianchini, Cinzia Cappiello, Valeria De Antonellis, Barbara Pernici |
Semantic Service Design for Collaborative Business Processes in Internetworked Enterprises. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Walid Fdhila, Ustun Yildiz, Claude Godart |
A Flexible Approach for Automatic Process Decentralization Using Dependency Tables. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Georg Neis, Derek Dreyer, Andreas Rossberg |
Non-parametric parametricity. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations |
11 | Lou Schwartz, Laurent Vergnol, Guillaume Gronier, Alain Vagner, Thomas Altenburger, Sophie Battisti |
Comment concilier agilité et conception centrée utilisateurs dans un projet de développement? |
IHM |
2009 |
DBLP DOI BibTeX RDF |
usability, user-centered design, methodology, agile methods, iterative process |
11 | Joseph Porter, Gabor Karsai, Janos Sztipanovits |
Towards a time-triggered schedule calculation tool to support model-based embedded software design. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
constraint programming, model-based design, time triggered architecture |
11 | Chung Hsien Lan, K. Robert Lai, Chung Cheng Tseng |
Incorporating Agent Negotiation into Adaptive Learning Environment to Balance the Perspectives between Learners and Instructors. |
ICALT |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt 0001, Johannes Buchmann 0001 |
Towards long-term free and secret electronic elections providing voter-verifiability in the bulletin board model. |
ICEGOV |
2009 |
DBLP DOI BibTeX RDF |
long-term anonymity, electronic voting, security requirements, verifiability |