15,349 Hits in 8.2 sec

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

Jasmin Christian Blanchette
2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019  
At the heart of the project is the conviction that proof assistants have become mature enough to actually help researchers in automated reasoning when they develop new calculi and tools.  ...  In this paper, I describe and reflect on three verification subprojects to which I contributed: a first-order resolution prover, an imperative SAT solver, and generalized term orders for λ-free higher-order  ...  Automated reasoning is near ideal territory for proof assistants.  ... 
doi:10.1145/3293880.3294087 dblp:conf/cpp/Blanchette19 fatcat:n7delklh2nejvh4zspbcljamwy

Exploration of practitioner experiences of flexibility and transparency to improve BIM-based model checking systems

Peter N. Gade, Kjeld Svidt
2021 Journal of Information Technology in Construction  
The use of BIM-based Model Checking (BMC) has the potential to improve building design processes by enabling the automation of building assessments.  ...  To explore these challenges, a Design Science Research methodology was used to design a BMC prototype to improve the socio-technical challenges of BMC systems, specifically challenges of transparency and  ...  BMC is related to the many terms describing the process of automatically assessing BIM model performance and is also known as rule checking, model validation, quality checking, automated code checking,  ... 
doi:10.36680/j.itcon.2021.055 fatcat:sibcja6qdndnhd6yftm5ylkvdy

A Unified Approach to Architecture Conformance Checking

Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz
2015 2015 12th Working IEEE/IFIP Conference on Software Architecture  
Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools.  ...  We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context.  ... 
doi:10.1109/wicsa.2015.11 dblp:conf/wicsa/CaraccioloLN15 fatcat:p7645eykmfgc3aopopwwmwplu4

The Challenges of Weak Persistency (Invited Talk)

Viktor Vafeiadis, Fabio Gadducci, Alexandra Silva
This short paper and the associated talk outline the challenges caused by NVM and the research opportunities for PL researchers.  ...  As such, there is a lot of interest in exploiting this technology to improve the performance of existing disk-bound applications and to find new applications for it.  ...  [1] , and (3) to develop automated techniques for checking and/or proving persistent linearizability.  ... 
doi:10.4230/lipics.calco.2021.4 fatcat:qqkzvbbib5ccdpwcuifkn5boe4

Software Development Process Mining: Discovery, Conformance Checking and Enhancement

Joao Caldeira, Fernando Brito e Abreu
2016 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)  
That population was invited to participate by email.  ...  For this reason, we publish our final dataset to enable replication and thus allowing for further validation.  ...  This Appendix presents the tools used to perform current research and in writing this dissertation. A.1 Companion Tools  ... 
doi:10.1109/quatic.2016.061 dblp:conf/quatic/CaldeiraA16 fatcat:acb3seoe7vh6hamsvwor2qzcou

Models@run.time (Dagstuhl Seminar 11481)

Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France, Marc Herbstritt
2012 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 11481 "  ...  This motivates our interest in M@RT, and especially in continuous re-appraisal of requirements at run-time, which calls for effective and light-way methods for model representation and reasoning at run-time  ...  In our approach the requirements problem is represented through a goal-oriented model, which needs to be dynamically updated in order to reflect run-time changes in the requirements problem.  ... 
doi:10.4230/dagrep.1.11.91 dblp:journals/dagstuhl-reports/AssmannBCF11 fatcat:zqd4mbzyanepzme3jncojaj6rq

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)

Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, Steffen Zschaler
2020 Dagstuhl Reports  
communities to establishing the foundations for a common understanding on the modularity and composition of modeling languages and model-based analyses.  ...  This report documents the program and the outcomes of the Dagstuhl Seminar 19481 "Composing Model-Based Analysis Tools".  ...  Timed Rebeca Model Checking Tool -Afra, a tool for model checking and debugging a timed actor-based language, by Marjan Sirjani. Horus, for Business Process / Enterprise Modelling, by Arthur Vetter.  ... 
doi:10.4230/dagrep.9.11.97 dblp:journals/dagstuhl-reports/DuranHPTZ19 fatcat:f3noqtkj3bg6zdy5fym5yrzuda

The Relevance of Model-Driven Engineering Thirty Years from Now [chapter]

Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benoit Combemale, Robert B. France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle (+3 others)
2014 Lecture Notes in Computer Science  
In order to better understand the reasons for this, as well as to identify future opportunities for MDE, we carried out a week-long design thinking experiment with 15 MDE experts.  ...  The outcome is a reflection of the current strengths of MDE, an outlook of the most pressing challenges for society at large over the next three decades, and an analysis of key future MDE research opportunities  ...  aspect of a system, and the translation of models to a format amenable to automated analysis, including static analysis, model checking, and other types of behavioral and performance analyses.  ... 
doi:10.1007/978-3-319-11653-2_12 fatcat:b5ilj62d2bd6nk3tcwy5jw2gpi

Reports of the AAAI 2010 Conference Workshops

David W. Aha, Mark Boddy, Vadim Bulitko, Artur S. D'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher Geib, Piotr Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles Isbell, Darsana Josyula (+20 others)
2010 The AI Magazine  
Security, Interactive Decision Theory and Game Theory, Metacognition for Robust Social Systems, Model Checking and Artificial Intelligence, Neural-Symbolic Learning and Reasoning, Plan, Activity, and Intent  ...  Recognition, Statistical Relational AI, Visual Representations and Reasoning, and Abstraction, Reformulation, and Approximation.  ...  In addition to the four themes, we invited three experts from a disparate set of industries to talk about challenges and opportunities for AI and fun: Miguel Encarnacao, director of emerging technology  ... 
doi:10.1609/aimag.v31i4.2318 fatcat:niss5pwei5hytcof433r45okja

Reports of the AAAI 2011 Conference Workshops

Noa Agmon, Vikas Agrawal, David W. Aha, Yiannis Aloimonos, Donagh Buckley, Prashant Doshi, Christopher Geib, Floriana Grasso, Nancy Green, Benjamin Johnston, Burt Kaliski, Christopher Kiekintveld (+21 others)
2012 The AI Magazine  
: The Conquest of Complexity; AI for Data Center Management and Cloud Computing; Automated Action Planning for Autonomous Mobile Robots; Computational Models of Natural Argument; Generalized Planning;  ...  The titles of the workshops were Activity Context Representation: Techniques and Languages; Analyzing Microtext; Applied Adversarial Reasoning and Risk Modeling; Artificial Intelligence and Smarter Living  ...  Alessandro Cimatti's invited talk described a sophisticated framework for combining automated planning and symbolic model checking for safe and adaptive planning in autonomous spacecraft.  ... 
doi:10.1609/aimag.v33i1.2390 fatcat:ux56aljo35f4zcbjur3spdz27y

Modeling Cyber Threat Intelligence

Siri Bromander, Morton Swimmer, Martin Eian, Geir Skjotskift, Fredrik Borg
2020 Proceedings of the 6th International Conference on Information Systems Security and Privacy  
The authors would like to thank the anonymous reviewer for valuable input that improved the paper and the respondents of the questionnaire who contributed to this study.  ...  The authors would like to thank the anonymous reviewers for valuable input that improved the paper.  ...  For the aforementioned reason we do not classify CIO, since details can be found by checking the relevant taxonomies and sharing standards described in this paper. V.  ... 
doi:10.5220/0008875302730280 dblp:conf/icissp/BromanderSESB20 fatcat:han5vxdbpffhdnm7caoqy2ourm

Defining Near-Term to Long-Term Research Opportunities to Advance Metrics, Models, and Methods for Smart and Sustainable Manufacturing

Arvind Shankar Raman, Karl R Haapala, Kamyar Raoufi, Barbara S Linke, William Z Bernstein, K C Morris
2020 Smart and Sustainable Manufacturing Systems  
Experts from academia and government labs presented invited lightning talks to discuss their perspectives on current advanced manufacturing research challenges.  ...  The aim was to define advanced manufacturing research and educational needs for improving manufacturing process performance through improved sustainability metrics, modeling approaches, and decision support  ...  The authors wish to thank the NSF, the invited speakers, and workshop participants for their contributions. The authors also gratefully acknowledge the assistance of Mr.  ... 
pmid:33043276 pmcid:PMC7542542 fatcat:pmsnanxg5zhm7hhhxk6hmvc4tu

Maintaining mental models

Thomas D. LaToza, Gina Venolia, Robert DeLine
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
We use data to characterize these and other problems and draw implications for the design of tools for their solution.  ...  To understand developers' typical tools, activities, and practices and their satisfaction with each, we conducted two surveys and eleven interviews.  ...  taxonomy, and Andrew Ko, Marwan Abi-Antoun, Jim Herbsleb, and Brad Myers for careful readings of earlier drafts and helpful suggestions.  ... 
doi:10.1145/1134285.1134355 dblp:conf/icse/LaTozaVD06 fatcat:jd7z6kmtmfekpi6iaa23olopum

Changing Approaches In Campus Placements - A New Futuristic Model

Sreeramana Aithal, Varun Shenoy
2016 Zenodo  
The paper contains the details on this new proposed model and strategy to be followed by the student to get good challenging job offers from reputed international companies and hard and smart work he/she  ...  But as time progress, the model of campus placement is going to change and it is predicted that industries are thinking of adopting new model of placement through online.  ...  Opportunities and Challenges for the Students: On-line oriented industry placement process will definitely open door for experimenting more on on-line industry internships and work projects.  ... 
doi:10.5281/zenodo.160966 fatcat:vonrgypq5behpknox7a5bgbnvu

Promoting colorectal cancer screening through a new model of delivering rural primary care in the USA: a qualitative study

Jungyoon Kim, Lufei Young, Sarbinaz Bekmuratova, Daniel J Schober, Hongmei Wang, Shreya Roy, Soumitra S Bhuyan, Alice Schumaker, Li-Wu Chen
2017 Rural and remote health  
Results: The study found that the new healthcare delivery model can offer opportunities to promote cancer screening in rural areas through enhanced electronic health record use, information sharing and  ...  Participants were asked about their views on opportunities and challenges to promote CRC screening in an ACO context. Data were analyzed using a grounded theory approach.  ...  generous support for data collection and recruitment for the study.  ... 
doi:10.22605/rrh4187 fatcat:vzsndfdijbeqlpo6lc3v5yznma
« Previous Showing results 1 — 15 out of 15,349 results