Sidney C. Bailin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2015

A Flexible, Evolvable Data BrokerSidney C. Bailin, Theodora Bakker. ic3k 2015: 41-45 [doi]

2012

Frontier modeling support environment: flexibility to adapt to diverse stakeholdersBernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell. springsim 2012: 23 [doi]

2011

Retraction of: A normalization theorem for set theory Sidney C. Bailin. JSYML, 76(3):1096, 2011. [doi]

2009

Features Need StoriesSidney C. Bailin. icsr 2009: 51-64 [doi]

2005

Progressive Autonomy - An Incremental Agent-based ApproachWalt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee. serp 2005: 9-15

Progressive autonomy: a method for gradually introducing autonomy into space missionsWalt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee. isse, 1(2):89-99, 2005. [doi]

2004

Software Reuse as Ontology NegotiationSidney C. Bailin. icsr 2004: 242-253 [doi]

2003

2002

2001

Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information AgentsSidney C. Bailin, Walt Truszkowski. cia 2001: 223-228 [doi]

Ontology Negotiation Using JESSSidney C. Bailin, Walt Truszkowski. ICEIS 2001: 559-570

Ontology Negotiation between Scientific ArchivesSidney C. Bailin, Walt Truszkowski. ssdbm 2001: 245-250

2000

Ontology Negotiation in a Community of AgentsSidney C. Bailin. faabs 2001: 294-297 [doi]

Formal alternative management integrating logical inference and rationals (FAMILIAR)Sidney C. Bailin, Dean Allemang. sigsoft, 25(1):102, 2000. [doi]

1996

Domain Processes and EngineeringSidney C. Bailin. sigsoft, 21(1):39-42, 1996. [doi]

1994

A dynamic memory of software designsScott Henderson, Sidney C. Bailin. aiedam, 8(2):163-176, 1994. [doi]

1993

Z-Match: An Inference Rule for Incrementally Elaborating Set InstantiationsSidney C. Bailin, Dave Barker-Plummer. JAR, 11(3):391-428, 1993.

1992

&: Automated Natural DeductionDave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill. cade 1992: 716-720

Graphical Theorem Proving: An Approach to Reasoning with the Help of DiagramsDave Barker-Plummer, Sidney C. Bailin. ecai 1992: 55-59

1991

A Learning-Based Software Engineering Environment for Reusing Design KnowledgeSidney C. Bailin, Robert H. Gattis, Walt Truszkowski. ijseke, 1(4):351-371, 1991. [doi]

A Learning-Based Software Engineering EnvironmentSidney C. Bailin, Robert H. Gattis, Walt Truszkowski. ASE 1991: 198-206

1990

Combining object-oriented and functional paradigms in a design methodology for AdaSidney C. Bailin, Manju Bewtra, J. Mike Moore. sigada 1990: 102-113 [doi]

An Ada design and implementation toolset based on object-oriented and functional programming paradigmsManju Bewtra, Sidney C. Bailin, J. Mike Moore. wadas 1990: 213-226 [doi]

1989

An Object-Oriented Requirements Specifications MethodSidney C. Bailin. CACM, 32(5):608-623, 1989.

1988

A Normalization Theorem for Set TheorySidney C. Bailin. JSYML, 53(3):673-695, 1988.

A lambda-Unifiability Test for Set TheorySidney C. Bailin. JAR, 4(3):269-286, 1988.

An object-oriented specification method for AdaSidney C. Bailin. wadas 1988: 139-150 [doi]

Sign in or sign up to see more results.

runs on WebDSL