Search results for "justifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Lawrence C. Paulson	Proving Properties of Security Protocols by Induction.	CSFW	1997	DBLP DOI BibTeX RDF
13	Stephen W. Smoliar, James D. Baker	Text Types in Hypermedia.	HICSS (6)	1997	DBLP DOI BibTeX RDF
13	Giovanni Guida, Marina Zanella	Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification.	ICECCS	1997	DBLP DOI BibTeX RDF
13	Bernard Moulin	The Social Dimension of Interactions in Multiagent Systems.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
13	Pamela Simmons	Quality Outcomes: Determining Business Value.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
13	Annie Kuntzmann-Combelles	Is Software Process Re-Engineering and Improvement the "Silver Bullet" of the 1990s or a Constructive Approach to Meet Pre-Defigned Business Targets?	COMPSAC	1996	DBLP DOI BibTeX RDF	software process re-engineering, constructive approach, business targets, process control business, CMM model, senior management, software metrics, software process improvement, software measurement, software development management, business data processing, systems re-engineering, software performance, Software Engineering Institute
13	Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski	Infinitary Default Logic for Specification of Nonmonotonic Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF	infinitary default logic, representability, extensions, default logic
13	Terry Shepard	On Teaching Software Verification and Validation.	CSEE	1995	DBLP DOI BibTeX RDF
13	Sukhamay Kundu, Jianhua Chen 0003	Fuzzy Logic or Lukasiewicz Logic: A Clarification.	ISMIS	1994	DBLP DOI BibTeX RDF
13	Vincent Aleven, Kevin D. Ashley	What Law Students Need to Know to WIN.	ICAIL	1993	DBLP DOI BibTeX RDF
13	Graham J. Williams, Steven G. Woods	Representing Expectations in Spatial Information Systems - A Case Study.	SSD	1993	DBLP DOI BibTeX RDF
13	William R. Swartout, Cécile Paris, Johanna D. Moore	Explanations in Knowledge Systems: Design for Explainable Expert Systems.	IEEE Expert	1991	DBLP DOI BibTeX RDF
13	Watts S. Humphrey	CASE planning and the software process.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	process maturity model, economic justification, software teams, management, planning, software, process, case, improvement
13	M. S. Gandikota, N. Hari Narayanan, J. Maroldt	An Integrated Framework for Intelligent Computer Aided Design of Chemical Processes.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	Stephen G. Pimentel, John L. Cuadrado	The Event Calculus and Consistency Maintenance.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	Karl-Heinz Temme, Ingolf Markhof	Applications of AI Techniques for Chip-Architecture Planning.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	Larry Brumbaugh	An undergraduate course in applied data communications.	SIGCSE	1989	DBLP DOI BibTeX RDF
13	Paul Compton, Bob Jansen	Knowledge in Context: A Strategy for Expert System Maintenance.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	context, knowledge representation, expert systems, maintenance, knowledge engineering
13	Kevin D. Ashley, Edwina L. Rissland	But, See, Accord: Generating Blue Book Citations in HYPO.	ICAIL	1987	DBLP DOI BibTeX RDF
13	Alan M. Thompson	Logical Support in a Time-Varying Model.	CADE	1980	DBLP DOI BibTeX RDF
13	Stanley Y. W. Su, Ahmed Emam	CASDAL: CASSM'a DAta Language.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	database, query language, associative memory, relational model, nonprocedural language
13	Robert Cartwright, Derek C. Oppen	Unrestricted Procedure Calls in Hoare's Logic.	POPL	1978	DBLP DOI BibTeX RDF