Sidney C. Bailin

32 papers A 2B 4Misc 1Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2015 — conf
A Flexible, Evolvable Data Broker.
SKY
Sidney C. Bailin, Theodora Bakker
2012 — conf
Frontier modeling support environment: flexibility to adapt to diverse stakeholders.
SpringSim (TMS-DEVS)
Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell
2011 J jnl
Retraction of: "A normalization theorem for set theory".
J. Symb. Log.
Sidney C. Bailin
2009 B conf
Features Need Stories.
ICSR
Sidney C. Bailin
2005 — conf
Progressive Autonomy - An Incremental Agent-based Approach.
Software Engineering Research and Practice
Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
2005 J jnl
Progressive autonomy: a method for gradually introducing autonomy into space missions.
Innov. Syst. Softw. Eng.
Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
2004 B conf
Software Reuse as Ontology Negotiation.
ICSR
Sidney C. Bailin
2003 Misc conf
Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing.
FLAIRS
Walt Truszkowski, Sidney C. Bailin
2003 B conf
Facilitating Physician-Patient Dialogue through Ontology Negotiation.
CBMS
Sidney C. Bailin, Heike B. Lehmann
2003 J jnl
Knowledge-Enhanced Latent Semantic Indexing.
Inf. Retr.
David Guo, Michael W. Berry, Bryan B. Thompson, Sidney C. Bailin
2003 — conf
Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems.
AMKM
Sidney C. Bailin, Walt Truszkowski
2002 — ch.
On the Practical Semantics of Mathematical Diagrams.
Diagrammatic Representation and Reasoning
Dave Barker-Plummer, Sidney C. Bailin
2002 — conf
Ontology Negotiation: How Agents Can Really Get to Know Each Other.
WRAC
Sidney C. Bailin, Walt Truszkowski
2002 J jnl
Ontology negotiation between intelligent information agents.
Knowl. Eng. Rev.
Sidney C. Bailin, Walt Truszkowski
2002 — conf
Panel Discussion on Ontologies.
WRAC
Sidney C. Bailin, Gary Berg-Cross, Timothy W. Finin
2001 — conf
Ontology Negotiation Using JESS.
ICEIS (1)
Sidney C. Bailin, Walt Truszkowski
2001 — conf
Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents.
CIA
Sidney C. Bailin, Walt Truszkowski
2001 B conf
Ontology Negotiation between Scientific Archives.
SSDBM
Sidney C. Bailin, Walt Truszkowski
2000 J jnl
Formal alternative management integrating logical inference and rationals (FAMILIAR).
ACM SIGSOFT Softw. Eng. Notes
Sidney C. Bailin, Dean Allemang
2000 — conf
Ontology Negotiation in a Community of Agents.
FAABS
Sidney C. Bailin
1996 J jnl
Domain Processes and Engineering.
ACM SIGSOFT Softw. Eng. Notes
Sidney C. Bailin
1994 J jnl
A dynamic memory of software designs.
Artif. Intell. Eng. Des. Anal. Manuf.
Scott Henderson, Sidney C. Bailin
1993 J jnl
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations.
J. Autom. Reason.
Sidney C. Bailin, Dave Barker-Plummer
1992 A conf
&: Automated Natural Deduction.
CADE
Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill
1992 A conf
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.
ECAI
Dave Barker-Plummer, Sidney C. Bailin
1991 J jnl
A Learning-Based Software Engineering Environment for Reusing Design Knowledge.
Int. J. Softw. Eng. Knowl. Eng.
Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski
1991 — conf
A Learning-Based Software Engineering Environment.
KBSE
Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski
1990 — conf
An Ada design and implementation toolset based on object-oriented and functional programming paradigms.
WADAS
Manju Bewtra, Sidney C. Bailin, J. Mike Moore
1990 — conf
Combining object-oriented and functional paradigms in a design methodology for Ada.
TRI-Ada
Sidney C. Bailin, Manju Bewtra, J. Mike Moore
1989 J jnl
An Object-Oriented Requirements Specifications Method.
Commun. ACM
Sidney C. Bailin
1988 J jnl
A lambda-Unifiability Test for Set Theory.
J. Autom. Reason.
Sidney C. Bailin
1988 — conf
An object-oriented specification method for Ada.
WADAS
Sidney C. Bailin