Search results for "omission"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Frank Yeong-Sung Lin, Hsu-Chen Cheng, Yao-Jung Yeh	A Minimum Cost Multicast Routing Algorithm with the Consideration of Dynamic User Membership.	ICOIN	2005	DBLP DOI BibTeX RDF
12	Luo Si, Jamie Callan	Modeling search engine effectiveness for federated search.	SIGIR	2005	DBLP DOI BibTeX RDF	model search engine effectiveness
12	Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger	Automatic generation and maintenance of correct spreadsheets.	ICSE	2005	DBLP DOI BibTeX RDF	type system, template, spreadsheet, end-user software engineering, program generation, error prevention
12	Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green	Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity.	CEC Workshops	2005	DBLP DOI BibTeX RDF
12	Giuliana Teixeira Santos, Lau Cheuk Lung, Carlos Montez	FTWeb: A Fault Tolerant Infrastructure for Web Services.	EDOC	2005	DBLP DOI BibTeX RDF	Web services, Fault tolerance, FT-CORBA
12	Yan Fu, Kemal Sahin	Better Optimization of Nonlinear Uncertain Systems (BONUS) for Vehicle Structural Design.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	optimization under uncertainty, vehicle side impact, metamodeling, nonlinear programming, stochastic optimization
12	G. Alan Creak	Parsing by numbers and asparagus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
12	Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge	The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.	Auton. Agents Multi Agent Syst.	2004	DBLP DOI BibTeX RDF	procedural reasoning system, formal specification, agent architectures, BDI
12	Colin F. Mackenzie, Yan Xiao 0001, Richard Horst	Video task analysis in high performance teams.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Airway, Cognitive function, Performance, Video, Task analysis, Medical
12	Predrag Knezevic, Bhaskar Mehta, Claudia Niederée, Thomas Risse 0001, Ulrich Thiel, Ingo Frommholz	Supporting Information Access in Next Generation Digital Library Architectures.	DELOS	2004	DBLP DOI BibTeX RDF
12	Matthias Kuntz, Kai Lampka	Probabilistic Methods in State Space Analysis.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
12	S. Sarala, S. Valli	A Tool to Automatically Detect Defects in C++ Programs.	CIT	2004	DBLP DOI BibTeX RDF	Function overloading, Hybrid Inheritance, Friend Function, Template Function, Dangling Reference, Test case, Automatic Generation, Virtual Function
12	Peter C. Dillinger, Panagiotis Manolios	Fast and Accurate Bitstate Verification for SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
12	Sung-Phil Heo	Effective and Efficient Melody-Matching Method in a Large-Scale Music Database.	OTM Workshops	2004	DBLP DOI BibTeX RDF
12	David L. Olson	Data Set Balancing.	CASDMKM	2004	DBLP DOI BibTeX RDF
12	Chiu-Yuen Koo	Broadcast in radio networks tolerating byzantine adversarial behavior.	PODC	2004	DBLP DOI BibTeX RDF	fault tolerance, broadcast, radio networks
12	Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini	Model-based evaluation of a radio resource management system for wireless networks.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	modeling, reliability, wireless networks, resource management system, stochastic activity networks
12	Wolfram M. Esser	Fault-Tolerant Fulltext Information Retrieval in Digital Multilingual Encyclopedias with Weighted Pattern Morphing.	ECIR	2004	DBLP DOI BibTeX RDF
12	Elise van den Hoven, Berry Eggen	Tangible Computing in Everyday Life: Extending Current Frameworks for Tangible User Interfaces with Personal Objects.	EUSAI	2004	DBLP DOI BibTeX RDF
12	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
12	Kirk W. Cameron, Rong Ge 0002	Predicting and Evaluating Distributed Communication Performance.	SC	2004	DBLP DOI BibTeX RDF	distributed systems, middleware, performance modeling and prediction
12	Luc Hoegaerts, Johan A. K. Suykens, Joos Vandewalle, Bart De Moor	A Comparison of Pruning Algorithms for Sparse Least Squares Support Vector Machines.	ICONIP	2004	DBLP DOI BibTeX RDF
12	Ruifeng Guo, Sudhakar M. Reddy, Irith Pomeranz	Reverse-order-restoration-based static test compaction for synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
12	Christopher C. Yang, Kar Wing Li	Segmenting Chinese Unknown Words by Heuristic Method.	ICADL	2003	DBLP DOI BibTeX RDF
12	Hermann Kopetz	Fault Containment and Error Detection in the Time-Triggered Architecture.	ISADS	2003	DBLP DOI BibTeX RDF
12	Stefan Schemmer, Edgar Nett	Managing Dynamic Groups of Mobile Systems.	ISADS	2003	DBLP DOI BibTeX RDF
12	Sidney C. Bailin, Heike B. Lehmann	Facilitating Physician-Patient Dialogue through Ontology Negotiation.	CBMS	2003	DBLP DOI BibTeX RDF
12	Richard A. Baldwin, Eric Neufeld	On the Structure Model Interpretation of Wright's NESS Test.	AI	2003	DBLP DOI BibTeX RDF
12	Kirk W. Cameron, Xian-He Sun	Quantifying Locality Effect in Data Access Delay: Memory logP.	IPDPS	2003	DBLP DOI BibTeX RDF	performance analysis, computational models, Memory hierarchy, parallel and distributed computing
12	Shino Iwashita, Ichiro Kobayashi, Noriko Ito, Toru Sugimoto, Michio Sugeno	Personalization of Help System Output in the Framework of Everyday Language Computing.	KES	2003	DBLP DOI BibTeX RDF
12	Xiaoding Chen, Michael S. Hsiao	Energy-Efficient Logic BIST Based on State Correlation Analysis.	VTS	2003	DBLP DOI BibTeX RDF
12	Irith Pomeranz, Sudhakar M. Reddy	On Maximizing the Fault Coverage for a Given Test Length Limit in a Synchronous Sequential Circuit.	VTS	2003	DBLP DOI BibTeX RDF
12	Glenda Burch	First commentary on "XML and the new design regime".	ACM J. Comput. Documentation	2002	DBLP DOI BibTeX RDF	XML, designers, data modelers
12	Edsger W. Dijkstra	EWD1300: The Notational Conventions I Adopted, and Why.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
12	Eric E. Allen, Robert Cartwright	The case for run-time types in generic Java.	PPPJ/IRE	2002	DBLP BibTeX RDF	Java
12	Gordon D. Plotkin, John Power	Notions of Computation Determine Monads.	FoSSaCS	2002	DBLP DOI BibTeX RDF
12	Quentin Calder	Facing budgetary shortfalls?: ways to keep IT staffing, while saving important monies for critical use.	SIGUCCS	2002	DBLP DOI BibTeX RDF	on-site assistance, training, management, help desk, student staff, student consultants
12	Shmuel T. Klein, Dana Shapira	Searching in Compressed Dictionaries.	DCC	2002	DBLP DOI BibTeX RDF
12	Ulrich Schmid 0001, Bettina Weiss, John M. Rushby	Formally Verified Byzantine Agreement in Presence of Link Faults.	ICDCS	2002	DBLP DOI BibTeX RDF	assumption coverage, formal verification, lower bounds, fault models, consensus, Byzantine agreement, Fault-tolerant distributed systems, link faults, impossibility results
12	D. Hoogeveen, Hans Oppelland	A Socio-political Model of the Relationship between IT Investments and Business Performance.	HICSS	2002	DBLP DOI BibTeX RDF	IT business value, case study research, socio political, trust, conflict
12	C. J. van Rijsbergen	Landmarks in information retrieval: the message out of the bottle.	SIGIR	2002	DBLP DOI BibTeX RDF
12	Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella	Finite-Tree Analysis for Constraint Logic-Based Languages.	SAS	2001	DBLP DOI BibTeX RDF
12	Shaoyi He	Interplay of language and culture in global E-commerce: a comparison of five companies' multilingual websites.	SIGDOC	2001	DBLP DOI BibTeX RDF
12	Nick G. Duffield, Carsten Lund, Mikkel Thorup	Charging from sampled network usage.	Internet Measurement Workshop	2001	DBLP DOI BibTeX RDF
12	Mohammad H. Azadmanesh, Roger M. Kieckhafer	Exploiting Omissive Faults in Synchronous Approximate Agreement.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Approximate agreement, convergent voting algorithms, hybrid faults, clock synchronization, fault-tolerant distributed systems
12	Michael S. Hsiao, Srimat T. Chakradhar	Test Set and Fault Partitioning Techniques for Static Test Sequence Compaction for Sequential Circuits.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	static test set compaction, vector-reordering, fault coverage curve, partitioning, ATPG
12	Hyowon Lee 0001, Alan F. Smeaton, Catherine Berrut, Noel Murphy, Seán Marlow, Noel E. O'Connor	Implementation and Analysis of Several Keyframe-Based Browsing Interfaces to Digital Video.	ECDL	2000	DBLP DOI BibTeX RDF
12	Nigel Davies 0001, Pierre-Guillaume Raverdy	Position paper: the role of platforms and operating systems in supporting home networks.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
12	Piotr Sapiecha, Henry Selvaraj, Michal Pleban	Decomposition of Boolean Relations and Functions in Logic Synthesis and Data Analysis.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
12	Juan F. Ramil, M. M. Lehman	Metrics of Software Evolution as Effort Predictors - A Case Study.	ICSM	2000	DBLP DOI BibTeX RDF
12	Tim Kindberg, Nick Bryan-Kinns, Ranjit Makwana	Supporting the shared care of diabetic patients.	GROUP	1999	DBLP DOI BibTeX RDF	knowledge sharing, medical informatics, cooperative systems
12	George Anton Kiraz	Compressed Storage of Sparse Finite-State Transducers.	WIA	1999	DBLP DOI BibTeX RDF
12	Helmut Horacek	Presenting Proofs in a Human-Oriented Way.	CADE	1999	DBLP DOI BibTeX RDF
12	Takashi Yoshino 0001, Jun Munemori, Kazutomo Yunokuchi, Shiro Ito	Development and Application of PDA-Based Data Collection System for an Idea Generation Support Groupware.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Palm III, KJ method, Groupware, Personal Digital Assistant(PDA), data collection, idea generation
12	P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens	System Level Models for Real-Time Communication.	EUROMICRO	1999	DBLP DOI BibTeX RDF
12	Sofía N. Galicia-Haro, Igor A. Bolshakov, Alexander F. Gelbukh	A Simple Spanish Part of Speech Tagger for Detection and Correction of Accentuation Error.	TSD	1999	DBLP DOI BibTeX RDF
12	Takaaki Fukuda, Tetsuyasu Yamada, Tomoharu Yamaguchi	Experience Paper: Quality Improvement in Switching-System Software.	ICSM	1999	DBLP DOI BibTeX RDF
12	Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg	Fault-Tolerant Wait-Free Shared Objects.	J. ACM	1998	DBLP DOI BibTeX RDF	fault-tolerance, synchronization, implementation, shared memory, MIMD, shared objects, asynchronous computing
12	Gerard J. Holzmann	On Checking Model Checkers.	CAV	1998	DBLP DOI BibTeX RDF
12	Michael S. Hsiao, Srimat T. Chakradhar	Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
12	Richard Plunkett, Alan D. Fekete	Approximate Agreement with Mixed Mode Faults: Algorithm and Lower Bound.	DISC	1998	DBLP DOI BibTeX RDF
12	John R. Landry	Can Mission Statements Plant the "Seeds" of Dysfunctional Behaviors in an Organization's Memory?	HICSS (1)	1998	DBLP DOI BibTeX RDF
12	William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger	Probability, Parallelism and the State Space Exploration Problem.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
12	Masami Oguro	Faxed Document Image Restoration Using Gray Level Representation.	ICDAR	1997	DBLP DOI BibTeX RDF
12	Hin-Sing Siu, Yeh-Hao Chin, Wei-Pang Yang	A Note on Consensus on Dual Failure Modes.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	dual failure modes, fault tolerance, distributed systems, Byzantine Agreement, consensus problem, hybrid fault model
12	Steven Dawson, C. R. Ramakrishnan 0001, Steven Skiena, Terrance Swift	Principles and Practice of Unification Factoring.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	trie minimization, logic programming, indexing, unification
12	Agnes Hui Chan, Yair Frankel, Philip D. MacKenzie, Yiannis Tsiounis	Mis-representation of Identities in E-cash Schemes and how to Prevent it.	ASIACRYPT	1996	DBLP DOI BibTeX RDF
12	Daniel Jackson 0001	Aspect: Detecting Bugs with Abstract Dependences.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	dataflow dependences, partial verification, partial specification
12	Goetz Graefe, Richard L. Cole	Fast Algorithms for Universal Quantification in Large Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF
12	Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren	Unification Factoring for Efficient Execution of Logic Programs.	POPL	1995	DBLP DOI BibTeX RDF	Prolog
12	Krzysztof R. Apt, Alessandro Pellegrini 0002	On the Occur-Check-Free Prolog Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
12	P. D. V. van der Stok, M. M. M. P. J. Claessen, Dick Alstein	A Hierarchical Membership Protocol for Synchronous Distributed Systems.	EDCC	1994	DBLP DOI BibTeX RDF	fault tolerance, distributed algorithm, synchronous system, hierarchical system, membership service
12	Rosario Aiello, Elena Pagani, Gian Paolo Rossi 0001	Causal Ordering in Reliable Group Communications.	SIGCOMM	1993	DBLP DOI BibTeX RDF
12	Shlomi Dolev, Jennifer L. Welch	Crash Resilient Communication in Dynamic Networks (Preliminary Version).	WDAG	1993	DBLP DOI BibTeX RDF
12	Daniel Jackson 0001	Abstract Analysis with Aspect.	ISSTA	1993	DBLP DOI BibTeX RDF	DEBUG
12	Jan Van den Bussche, Gottfried Vossen	An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries.	DOOD	1993	DBLP DOI BibTeX RDF
12	Krzysztof R. Apt, Alessandro Pellegrini 0002	Why the Occur-Check is Not a Problem. (long version: TOPLAS 16(3): 687-726 (1994))	PLILP	1992	DBLP DOI BibTeX RDF
12	P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala	Broadcast Protocols for Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	total message order, reliable distributed operations, consensus agreement, Trans protocol, Total protocol, protocols, distributed processing, concurrency control, local area network, local area networks, Ethernet, update, locking, commitment, total order, token ring, fault-tolerant distributed systems, broadcast communication, fault tolerantcomputing, distributed agreement, message exchange
12	Pascale Minet, Emmanuelle Anceaume	Atomic broadcast in one phase.	ACM SIGOPS European Workshop	1990	DBLP DOI BibTeX RDF
12	Kim Marriott, Harald Søndergaard	On prolog and the occur check problem.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
12	Benny Chor, Michael Merritt, David B. Shmoys	Simple constant-time consensus protocols in realistic failure models.	J. ACM	1989	DBLP DOI BibTeX RDF
12	T. K. Srikanth, Sam Toueg	Optimal clock synchronization.	J. ACM	1987	DBLP DOI BibTeX RDF
12	Jean-Claude Spehner	Un Algorithme Determinant les Melanges de Deux Mots.	ICALP	1986	DBLP DOI BibTeX RDF
12	John L. Hennessy, Norman P. Jouppi, Forest Baskett, Thomas R. Gross, John Gill	Hardware/Software Tradeoffs for Increased Performance.	ASPLOS	1982	DBLP DOI BibTeX RDF