Search results for "co-elaboration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Alessandro Fabbri, Lorenzo Donatiello	SQTW: A Mechanism for State-Dependent Parallel Simulation. Description and Experimental Study.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
10	T. Kessel, Michael Schlick, O. Stern	Modeling for Configuration Employing Hybrid Knowledge Representation.	ECBS	1996	DBLP DOI BibTeX RDF	configuration of vehicle bus systems, procedural versus declarative knowledge, knowledge representation, domain modeling
10	Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas	Explaining Explanation Closure.	ISMIS	1996	DBLP DOI BibTeX RDF
10	Annie I. Antón, Eugene Liang, Roy Rodenstein	A Web-based requirements analysis tool.	WETICE	1996	DBLP DOI BibTeX RDF	Web based requirements analysis tool, Goal Based Requirements Analysis Tool, GBRAT prototype, procedural support, software based information systems, interactive Web browser technology, collaborative nature, formal specification, requirements engineering
10	Charles Wiles, Michael Brady 0001	On the Appropriateness of Camera Models.	ECCV (2)	1996	DBLP DOI BibTeX RDF
10	Rachelle S. Heller, C. Dianne Martin	A Media Taxonomy.	IEEE Multim.	1995	DBLP DOI BibTeX RDF	multimedia evaluation, media value, media taxonomy
10	Priit Parmakson	Alignment of Software Quality and Service Quality	CAiSE	1995	DBLP DOI BibTeX RDF
10	Igor T. Hawryszkiewycz	A generalized Semantic Model for CSCW Systems.	DEXA	1994	DBLP DOI BibTeX RDF
10	Roshan K. Thomas, Ravi S. Sandhu	Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture.	ESORICS	1994	DBLP DOI BibTeX RDF	Replicated architecture, writeup, serial correctness, signaling channels, object-oriented databases, message-filtering
10	Markus Lindquist	Parameterized Reachability Trees for Predicate/Transition Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Petri nets, reachability analysis, Predicate/Transition nets, high level nets
10	Didier Lemoine, Christian Barillot, Bernard Gibaud, E. Pasqualini	An Anatomic-Based 3D Registration System of Multimodality and Atlas Data in Neurosurgery.	IPMI	1991	DBLP DOI BibTeX RDF	Stereotactic Neurosurgery, Data Fusion, Image Registration, Deformation Model, MRI, CT, Brain Atlas, Angiography, Multimodality Imaging
10	Thomas Guckenbiehl, Gisela Schäfer-Richter	SIDIA: Extending Prediction Based Diagnosis to Dynamic Models.	Expert Systems in Engineering	1990	DBLP DOI BibTeX RDF
10	Gerard Vreeswijk	A Complete Logic for Autoepistemic Membership.	JELIA	1990	DBLP DOI BibTeX RDF
10	Leonid A. Kalinichenko	Methods and Tools for Equivalent Data Model Mapping Construction.	EDBT	1990	DBLP DOI BibTeX RDF
10	Alan H. Bond, Richard J. Ricci	Cooperation in Aircraft Design.	MIT-JSME Workshop	1989	DBLP DOI BibTeX RDF
10	Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne	Generic Lifecycle Support in the ALMA Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle
10	Craig W. Reynolds	Flocks, herds and schools: A distributed behavioral model.	SIGGRAPH	1987	DBLP DOI BibTeX RDF
10	Hassan Aït-Kaci, Roger Nasr	Logic and Inheritance.	POPL	1986	DBLP DOI BibTeX RDF
10	C. V. Ramamoorthy, Yuh Yaw, R. Aggarwal, J. Song	Synthesis of two-party error-recoverable protocols.	SIGCOMM	1986	DBLP DOI BibTeX RDF
10	Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein	An Attribute Grammar for Ada.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler
10	Walter Knödel	Über die Verteilung der Binärziffern einer gemessenen Größe.	Computing	1968	DBLP DOI BibTeX RDF
10	Adolfo Guzmán, Harold V. McIntosh	CONVERT.	Commun. ACM	1966	DBLP DOI BibTeX RDF