Search results for "omissions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
130	Yoram Moses	Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle.	DISC	2009	DBLP DOI BibTeX RDF	Simultaneous Consensus, general omissions failure model, simultaneous action, NP Oracles, synchronous systems, common knowledge
73	Christopher A. Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	2000	DBLP DOI BibTeX RDF	multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
59	Kai Chen 0010, Stephen R. Schach, Liguo Yu, A. Jefferson Offutt, Gillian Z. Heller	Open-Source Change Logs.	Empir. Softw. Eng.	2004	DBLP DOI BibTeX RDF	change log, GNUJSP, GCC-g++, Jikes, Open-source software
59	Nicola Santoro, Peter Widmayer	Distributed Function Evaluation in the Presence of Transmission Faults.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
44	Uri Dekel	Designing a prosthetic memory to support software developers.	ICSE Companion	2008	DBLP DOI BibTeX RDF	disorientation, prosthetic memory, episodic memory, omissions
44	Stephanie White	Requirements capture and analysis prior to modeling.	ECBS	1997	DBLP DOI BibTeX RDF	requirements capture, benefits analysis, collaborative effort, capture views, domain views, stakeholder views, information entities, modeling, formal specification, complex system, requirements analysis, errors, functions, behavior, requirements elicitation, stakeholders, tradeoffs, cost analysis, system requirement, risk evaluation, omissions, automated support
44	Tal Mizrahi, Yoram Moses	Continuous Consensus with Ambiguous Failures.	ICDCN	2008	DBLP DOI BibTeX RDF	continuous consensus, fault tolerance, Distributed computing, consensus
29	Tal Mizrahi, Yoram Moses	Continuous Consensus with Failures and Recoveries.	DISC	2008	DBLP DOI BibTeX RDF	Continuous Consensus, Early decision, Process recovery, Round-based computation model, Synchronous message-passing system, Distributed algorithm, Lower bound, Modularity, Consensus, Agreement problem, Common Knowledge, Simultaneity, Omission failures, Process crash failure
29	Fernando Alonso, Sonia Frutos, Loïc Martínez, César Montes	Towards a Natural Agent Paradigm Development Methodology.	MATES	2004	DBLP DOI BibTeX RDF
29	J. D. Myers	The background of INTERNIST I and QMR.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
28	Royi Rassin, Yoav Goldberg, Reut Tsarfaty	Conjunct Resolution in the Face of Verbal Omissions.	CoRR	2023	DBLP DOI BibTeX RDF
28	Elliot Schumacher, Daniel Rosenthal, Varun Nair, Luladay Price, Geoffrey J. Tso, Anitha Kannan	Extrinsically-Focused Evaluation of Omissions in Medical Summarization.	CoRR	2023	DBLP DOI BibTeX RDF
28	Josefin Hagström, Charlotte Blease, Anna Kharko, Isabella Scandurra, Maria Hägglund	Adolescents Identifying Errors and Omissions in Their Electronic Health Records: A National Survey.	MIE	2023	DBLP DOI BibTeX RDF
28	Royi Rassin, Yoav Goldberg, Reut Tsarfaty	Conjunct Resolution in the Face of Verbal Omissions.	ACL (1)	2023	DBLP DOI BibTeX RDF
28	Diana Schneider	Ensuring Privacy and Confidentiality in Social Work Through Intentional Omissions of Information in Client Information Systems: a Qualitative Study of Available and Non-available Data.	Digit. Soc.	2022	DBLP DOI BibTeX RDF
28	Kuan-Jung Huang, Adrian Staub	Why do readers fail to notice word transpositions, omissions, and repetitions? A review of recent evidence and theory.	Lang. Linguistics Compass	2021	DBLP DOI BibTeX RDF
28	Serhii Zybin, Volodymyr Khoroshko, Yuliia Khokhlachova, Valerii Kozachok	Approach of the Attack Analysis to Reduce Omissions in the Risk Management.	CPITS I	2021	DBLP BibTeX RDF
28	Takehiro Wakabayashi, Shuji Morisaki, Norimitsu Kasai, Noritoshi Atsumi, Shuichiro Yamamoto	Tool Supported Detection of Omissions by Comparing Words between Requirements and Design Document.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
28	Eileen Graf, Anna L. Theakston, Daniel Freudenthal, Elena Lieven	The Subject-Object Asymmetry Revisited: Experimental and Computational Approaches to the Role of Information Structure in Children's Argument Omissions.	IEEE Trans. Cogn. Dev. Syst.	2020	DBLP DOI BibTeX RDF
28	D. Rozo-Ibañez, Javier Ruiz-León, D. Guevara-Lozano, Carlos Renato Vázquez, Y. Yuliana Rios	Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes.	CCE	2020	DBLP DOI BibTeX RDF
28	Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere	Omissions in Constraint Acquisition.	CP	2020	DBLP DOI BibTeX RDF
28	Zhe Zhang 0004, Chung-Wei Hang, Munindar P. Singh	Octa: Omissions and Conflicts in Target-Aspect Sentiment Analysis.	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
28	Yevgeniy V. Bodyanskiy, Alina Shafronenko, Diana Rudenko	Online Neuro Fuzzy Clustering of Data with Omissions and Outliers based on Сompletion Strategy.	CMIS	2019	DBLP BibTeX RDF
28	Dai Sato, Shoko Miyagawa, Michinori Hatayama, Yoichi Kayama, Hideaki Sone	Sharing Information to Eliminate Support Irregularities and Omissions: - Cases from Disaster Information Supporters in Japan -.	ICT-DM	2019	DBLP DOI BibTeX RDF
28	Yevgeniy V. Bodyanskiy, Alina Shafronenko, Sergii Mashtalir	Online Robust Fuzzy Clustering of Data with Omissions Using Similarity Measure of Special Type.	ISDMCI	2019	DBLP DOI BibTeX RDF
28	Pascale Willemsen	Omissions and expectations: a new approach to the things we failed to do.	Synth.	2018	DBLP DOI BibTeX RDF
28	Minna Kirjavainen, Elena Lieven, Anna L. Theakston	Can Infinitival to Omissions and Provisions Be Primed? An Experimental Investigation Into the Role of Constructional Competition in Infinitival to Omission Errors.	Cogn. Sci.	2017	DBLP DOI BibTeX RDF
28	Paul Bello, Christina Wasylyshyn, Gordon Briggs, Sangeet Khemlani	Contrasts in reasoning about omissions.	CogSci	2017	DBLP BibTeX RDF
28	Takehiro Wakabayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto	An Empirical Evaluation of Detecting Omissions by Comparing Words between Requirement and Architectural Documents.	IWESEP	2017	DBLP DOI BibTeX RDF
28	Akshat Kapoor, Juhee Kim, Xiaoming Zeng, Andrew G. Anderson	Identifying Factors Associated with Problem List Omissions in Electronic Medical Records (EMR), to Assess Underdiagnosis in Obesity.	AMIA	2017	DBLP BibTeX RDF
28	Santiago Torres-Arias, Anil Kumar Ammula, Reza Curtmola, Justin Cappos	On Omitting Commits and Committing Omissions: Preventing Git Metadata Tampering That (Re)introduces Software Vulnerabilities.	USENIX Security Symposium	2016	DBLP BibTeX RDF
28	Julia M. Taylor, Victor Raskin, Louis C. Hickman	Accessing implicit meaning: Towards computational ability to reconstruct textual omissions.	SMC	2016	DBLP DOI BibTeX RDF
28	Michael W. Smith, Alexander M. Morison, Charnetta R. Brown, Charlene R. Weir, Jennifer H. Garvin	Requirements for a Proposed Distributed Attention System for Supporting Awareness of Omissions in Healthcare.	Res. Comput. Sci.	2015	DBLP BibTeX RDF
28	David Gessner, Alberto Ballesteros, Andreu Adrover, Julián Proenza	Experimental evaluation of network component crashes and trigger message omissions in the Flexible Time-Triggered Replicated Star for Ethernet.	WFCS	2015	DBLP DOI BibTeX RDF
28	Anima Singh, John V. Guttag	Collaborative Filtering for Identifying Prescription Omissions in an ICU.	HEALTHINF	2013	DBLP BibTeX RDF
28	Sharique Hasan, George T. Duncan, Daniel B. Neill, Rema Padman	Automatic detection of omissions in medication lists.	J. Am. Medical Informatics Assoc.	2011	DBLP DOI BibTeX RDF
28	Jorge Aranda, Gina Venolia	The secret life of bugs: Going past the errors and omissions in software repositories.	ICSE	2009	DBLP DOI BibTeX RDF
28	Julián Proenza, Ernesto Sigg	A First Design for CANsistant: A Mechanism to Prevent Inconsistent Omissions in CAN in the Presence of Multiple Errors.	ETFA	2009	DBLP DOI BibTeX RDF
28	James M. Bjork, Ashley R. Smith, Daniel W. Hommer	Striatal sensitivity to reward deliveries and omissions in substance dependent patients.	NeuroImage	2008	DBLP DOI BibTeX RDF
28	Andreas J. Bartsch, György Homola, Stefan Thesen, Peter Sahmer, Ralph Keim, Christian F. Beckmann, Armin Biller, Christoph Knaus, Martin Bendszus	Scanning for the scanner: FMRI of audition by read-out omissions from echo-planar imaging.	NeuroImage	2007	DBLP DOI BibTeX RDF
28	Dana Angluin, Martins Krikis, Robert H. Sloan, György Turán	Malicious Omissions and Errors in Answers to Membership Queries.	Mach. Learn.	1997	DBLP DOI BibTeX RDF
28	I. Dan Melamed	Automatic Detection of Omissions in Translations	CoRR	1996	DBLP BibTeX RDF
28	I. Dan Melamed	Automatic Detection of Omissions in Translations.	COLING	1996	DBLP BibTeX RDF
28	José Rosario Gallardo, Jaime Sánchez 0002	Omissions and ambiguities in CCITT Recommendation Q.921.	IEEE Commun. Mag.	1994	DBLP DOI BibTeX RDF
28	Linda Z. Suri	Correcting Illegal NP Omissions Using Local Focus.	ACL	1992	DBLP BibTeX RDF
15	Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil	Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names.	SAC	2010	DBLP DOI BibTeX RDF	autonomous label assignment, missing column names
15	Kevin Lano	A compositional semantics of UML-RSDS.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML semantics, UML-RSDS, Model transformations
15	Zbigniew Jerzak, Christof Fetzer	Soft state in publish/subscribe.	DEBS	2009	DBLP DOI BibTeX RDF	upper bound on message transmission delay, routing, publish/subscribe, round-trip time, soft state
15	Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos	An Architecture for Requirements-Driven Self-reconfiguration.	CAiSE	2009	DBLP DOI BibTeX RDF
15	Daniel L. Rubin	Creating and Curating a Terminology for Radiology: Ontology Modeling and Analysis.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	RadLex, Ontologies, software tools, terminologies, vocabularies
15	Marek Chrobak	SIGACT news online algorithms column 13: 2007 - an offine perspective.	SIGACT News	2008	DBLP DOI BibTeX RDF
15	José L. Fuertes, Ángel Lucas González, Gonzalo Mariscal, Carlos Ruiz	Applying a Methodology for Educating Students with Special Needs: A Case Study.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
15	Barbara Tversky, James E. Corter, Jeffrey V. Nickerson, Doris Zahner, Yun Jin Rho	Transforming Descriptions and Diagrams to Sketches in Information System Design.	Diagrams	2008	DBLP DOI BibTeX RDF	problem representation, topological diagrams, sketches, Diagrammatic reasoning, information systems design, descriptions
15	Gottfried Fuchs, Matthias Függer, Ulrich Schmid 0001, Andreas Steininger	Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip.	DSD	2008	DBLP DOI BibTeX RDF
15	Matthias Paulik, Alex Waibel	Extracting clues from human interpreter speech for spoken language translation.	ICASSP	2008	DBLP DOI BibTeX RDF
15	Diva de S. S. Rodrigues, Sean W. M. Siqueira, Maria Helena Lima Baptista Braz, Rubens Nascimento Melo	A Strategy for Achieving Learning Content Repurposing.	WSKS (1)	2008	DBLP DOI BibTeX RDF	Content Sequencing, Component Objects, Metamodel, Learning Objects, Conceptual Schema
15	Zhan Jiuhua	Intrusion Detection System Based on Data Mining.	WKDD	2008	DBLP DOI BibTeX RDF
15	Aylin Koca, Aarnout Brombacher	Extracting "broken expectations" from call center records: why and how.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	business value of usability, soft reliability, usage-failure classification
15	Xiaoyuan Su, Taghi M. Khoshgoftaar, Russell Greiner	Using Imputation Techniques to Help Learn Accurate Classifiers.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
15	Romain Robbes, Michele Lanza	Example-Based Program Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
15	Taisuke Izumi, Koichi Wada 0001	On the Probabilistic Omission Adversary.	SSS	2007	DBLP DOI BibTeX RDF
15	Denis Hatebur, Maritta Heisel, Holger Schmidt 0001	A Pattern System for Security Requirements Engineering.	ARES	2007	DBLP DOI BibTeX RDF
15	Dariusz R. Kowalski, Michal Strojnowski	On the Communication Surplus Incurred by Faulty Processors.	DISC	2007	DBLP DOI BibTeX RDF
15	Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	An Approach to Formalization and Analysis of Message Passing Libraries.	FMICS	2007	DBLP DOI BibTeX RDF
15	Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan	Warnings for Disjoint Knowledge Omission in Ontologies.	ICIW	2007	DBLP DOI BibTeX RDF	Warnings Generation, incompleteness error warning, Evaluation Case study, Ontology Evaluation
15	Yi Yang 0002, Xinran Wang, Sencun Zhu, Guohong Cao	Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks.	SRDS	2007	DBLP DOI BibTeX RDF
15	Charlene O'Hanlon	What's on your hard drive?	ACM Queue	2006	DBLP DOI BibTeX RDF
15	Bernardine M. C. Atkinson	Captology: A Critical Review.	PERSUASIVE	2006	DBLP DOI BibTeX RDF
15	Venkat Pothamsetty, Prabhaker Mateti	A case for exploit-robust and attack-aware protocol RFCs.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Joel Sommers, Paul Barford, Walter Willinger	A Proposed Framework for Calibration of Available Bandwidth Estimation Tools.	ISCC	2006	DBLP DOI BibTeX RDF
15	Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh	Applying flow-sensitive CQUAL to verify MINIX authorization check placement.	PLAS	2006	DBLP DOI BibTeX RDF	CQUAL, static analysis, type qualifiers, MINIX
15	Shijia Gao, Huaiqing Wang, Dongming Xu, Yingfeng Wang, Wenqi Shen, Siubun Yeung	Intelligent Decision Support for Family Financial Planning.	HICSS	2006	DBLP DOI BibTeX RDF
15	John A. Stewart, Sarah J. Dumoulin, Sylvie Noël	X3D Conformance Testing Factors in Creating Aviable Test Suite.	CCECE	2006	DBLP DOI BibTeX RDF
15	Takao Doi, Hirofumi Yamamoto, Eiichiro Sumita	Example-based machine translation using efficient sentence retrieval based on edit-distance.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	example retrieval, edit-distance, A* search, Example-based machine translation, word graph
15	Milos Besta, Frank A. Stomp	A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	formal methods, pattern matching, theorem proving, PVS
15	Grant Dick, Peter A. Whigham	The behaviour of genetic drift in a spatially-structured evolutionary algorithm.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
15	Jolita Ralyté, Neil A. M. Maiden, Colette Rolland, Rébecca Deneckère	Applying Modular Method Engineering to Validate and Extend the RESCUE Requirements Process.	ER	2005	DBLP DOI BibTeX RDF
15	Amy J. Ko, Htet Htet Aung, Brad A. Myers	Design requirements for more flexible structured editors from a study of programmers' text editing.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	interaction techniques, structured editors
15	Jouni Huotari, Kalle Lyytinen, Marketta Niemelä	Improving graphical information system model use with elision and connecting lines.	ACM Trans. Comput. Hum. Interact.	2004	DBLP DOI BibTeX RDF	diagrammatic representation, Information visualization, visual search, spatial memory, spatial ability
15	Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown	Requirements-document-based prototyping of CARA software.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Specification, Software tools, Rapid prototyping, Requirements analysis, Parallel design
15	Jeffrey Parsons, Chad Saunders	Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	human factors in software design, reusable software, requirements/specifications, Software psychology, reuse models, reusable libraries
15	Arvind	Rethinking Computer Architecture Research.	HiPC	2004	DBLP DOI BibTeX RDF
15	Neil A. M. Maiden, Sara Jones 0001, Sharon Manning, John Greenwood, L. Renou	Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study.	CAiSE	2004	DBLP DOI BibTeX RDF
15	Patricia Hasson, Stephen Cooper	A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course.	CSEE&T	2004	DBLP DOI BibTeX RDF
15	Lars Michael Kristensen, Kurt Jensen	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
15	David Nutter, Stephen Rank, Cornelia Boldyreff	An Evaluation Framework to Drive Future Evolution of a Research Prototype.	WETICE	2004	DBLP DOI BibTeX RDF
15	Gustavo A. Santana Torrellas	A Network Security Architectural Approach for Systems Integrity using Multi Agent Systems Engineering.	ISPAN	2004	DBLP DOI BibTeX RDF	Mobile Agents, Security Architecture, Security Threats
15	Yichen Xie 0001, Dawson R. Engler	Using Redundancies to Find Errors.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	program redundancy, software quality, error detection, Extensible compilation
15	Yichen Xie 0001, Andy Chou, Dawson R. Engler	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
15	Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen	Comparative Rapid Prototyping, A Case Study.	IEEE International Workshop on Rapid System Prototyping	2003	DBLP DOI BibTeX RDF
15	Gustavo A. Santana Torrellas	A Security Architectural Approach for Risk Assessment Using Multi-agent Systems Engineering.	DAIS	2003	DBLP DOI BibTeX RDF
15	Daniel Citron	MisSPECulation: Partial and Misleading Use of SPEC CPU2000 in Computer Architecture Conferences.	ISCA	2003	DBLP DOI BibTeX RDF
15	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon	Distributed Programming for Dummies: A Shifting Transformation Technique.	SRDS	2003	DBLP DOI BibTeX RDF
15	José Pereira 0001, Luís E. T. Rodrigues, M. João Monteiro, Rui Oliveira 0001, Anne-Marie Kermarrec	NEEM: Network-Friendly Epidemic Multicast.	SRDS	2003	DBLP DOI BibTeX RDF
15	Edsger W. Dijkstra	EWD1300: The Notational Conventions I Adopted, and Why.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.	DANCE	2002	DBLP DOI BibTeX RDF
15	Ron Weber	Conceptual Modelling and Ontology: Possibilities and Pitfalls.	ER	2002	DBLP DOI BibTeX RDF
15	Yichen Xie 0001, Dawson R. Engler	Using redundancies to find errors.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	error detection, extensible compilation
15	David A. Basin, Frank Rittinger, Luca Viganò 0001	A Formal Analysis of the CORBA Security Service.	ZB	2002	DBLP DOI BibTeX RDF
15	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano	Formal Verification of Cardholder Registration in SET.	ESORICS	2000	DBLP DOI BibTeX RDF