Search the dblp DataBase
Rose F. Gamble: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Leigh A. Davis, Rose F. Gamble, M. Hepner, M. Kelkar
Toward Formalizing Service Integration Glue Code. [Citation Graph (0, 0)][DBLP]
IEEE SCC, 2005, pp:165-172 [Conf] - Rose F. Gamble, Gruia-Catalin Roman, William E. Ball
Formal Verification of Pure Production System Programs. [Citation Graph (0, 0)][DBLP]
AAAI, 1991, pp:329-334 [Conf] - Jamie Payton, Gerður Jónsdóttir, Daniel Flagg, Rose F. Gamble
Merging Integration Solutions for Architecture and Security Mismatch. [Citation Graph (0, 0)][DBLP]
ICCBSS, 2002, pp:199-208 [Conf] - Leigh A. Davis, Daniel Flagg, Rose F. Gamble, C. Karatas
Classifying Interoperability Conflicts. [Citation Graph (0, 0)][DBLP]
ICCBSS, 2003, pp:62-71 [Conf] - Leigh A. Davis, Rose F. Gamble
Identifying Evolvability for Integration. [Citation Graph (0, 0)][DBLP]
ICCBSS, 2002, pp:65-75 [Conf] - Leigh A. Davis, Rose F. Gamble
Understanding Services for Integration Management. [Citation Graph (0, 0)][DBLP]
ICCBSS, 2004, pp:84-93 [Conf] - Daniel Flagg, Rose F. Gamble, R. Baird, W. Stewart
Migrating Application Integrations. [Citation Graph (0, 0)][DBLP]
ICCBSS, 2004, pp:94-103 [Conf] - Gerður Jónsdóttir, Leigh A. Davis, Rose F. Gamble
Designing Secure Integration Architectures. [Citation Graph (0, 0)][DBLP]
ICCBSS, 2003, pp:112-122 [Conf] - Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
Seeking Concurrency in Rule-Based Programming. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:225-234 [Conf] - Rose F. Gamble
Transforming Rule-Based Programs: From the Sequential to the Parallel. [Citation Graph (0, 0)][DBLP]
IEA/AIE (Vol. 2), 1990, pp:854-863 [Conf] - T. Gamble, Rose F. Gamble, Leigh A. Davis
Defining Change Management Properties for Component Interoperability Assessment. [Citation Graph (0, 0)][DBLP]
SEKE, 2003, pp:475-482 [Conf] - M. Hepner, M. T. Gamble, Rose F. Gamble
Elevating Interaction Requirements for Web Service Composition. [Citation Graph (0, 0)][DBLP]
SEKE, 2006, pp:697-701 [Conf] - M. Kelkar, M. Smith, Rose F. Gamble
Interaction Partnering Criteria for COTS Components. [Citation Graph (0, 0)][DBLP]
SEKE, 2006, pp:278-283 [Conf] - Rose F. Gamble
Integrating a formal specification course with a software projects course via an editing tool. [Citation Graph (0, 0)][DBLP]
SIGCSE, 1995, pp:312-316 [Conf] - Leigh A. Davis, Rose F. Gamble, Jamie Payton, Gerður Jónsdóttir, Dennis J. Underwood
A notation for problematic architecture interactions. [Citation Graph (0, 0)][DBLP]
ESEC / SIGSOFT FSE, 2001, pp:132-141 [Conf] - M. Hepner, Rose F. Gamble
Establishing Connectors as Integration Services. [Citation Graph (0, 0)][DBLP]
WICSA, 2005, pp:280-284 [Conf] - Leigh A. Davis, Jamie Payton, Rose F. Gamble
How system architectures impede interoperability. [Citation Graph (0, 0)][DBLP]
Workshop on Software and Performance, 2000, pp:145-146 [Conf] - Rose F. Gamble, D. M. Baughman
A methodology to incorporateformal methods in hybrid KBS verification. [Citation Graph (0, 0)][DBLP]
Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:213-244 [Journal] - Robert Plant, Rose F. Gamble
Using meta-knowledge within a multilevel framework for KBS development. [Citation Graph (0, 0)][DBLP]
Int. J. Hum.-Comput. Stud., 1997, v:46, n:2-3, pp:523-547 [Journal] - A. V. Pai, Rose F. Gamble, Robert Plant
Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs. [Citation Graph (0, 0)][DBLP]
Information & Software Technology, 1999, v:41, n:10, pp:627-638 [Journal] - Leigh A. Davis, Rose F. Gamble, Jamie Payton
The impact of component architectures on interoperability. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 2002, v:61, n:1, pp:31-45 [Journal] - M. Hepner, Rose F. Gamble, M. Kelkar, Leigh A. Davis, Daniel Flagg
Patterns of conflict among software components. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 2006, v:79, n:4, pp:537-551 [Journal] - Rose F. Gamble, Patricia Stiger, Robert Plant
Rule-based systems formalized within a software architectural style. [Citation Graph (0, 0)][DBLP]
Knowl.-Based Syst., 1999, v:12, n:1-2, pp:13-26 [Journal] - Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
Formal Derivation of Rule-Based Programs. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1993, v:19, n:3, pp:277-296 [Journal] - L. Davis, Rose F. Gamble, S. Kimsen
A patterned approach for linking knowledge-based systems to external resources. [Citation Graph (0, 0)][DBLP]
IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2004, v:34, n:1, pp:222-233 [Journal] - Leigh A. Davis, Rose F. Gamble
Conflict Patterns: Toward Identifying Suitable Middleware. [Citation Graph (0, 0)][DBLP]
IRI, 2001, pp:121-126 [Conf] - M. Hepner, M. T. Gamble, Rose F. Gamble
Forming a Security Certification Enclave for Service-Oriented Architectures. [Citation Graph (0, 0)][DBLP]
SCW, 2006, pp:148-155 [Conf]
Automating Preference and Change in Workflows. [Citation Graph (, )][DBLP]
Reasoning about Hybrid System of Systems Designs. [Citation Graph (, )][DBLP]
FACT: A fusion architecture with contract templates for semantic and syntactic integration. [Citation Graph (, )][DBLP]
Dynamically Changing Workflows of Web Services. [Citation Graph (, )][DBLP]
Search in 0.011secs, Finished in 0.014secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002