Sciweavers

882 search results - page 40 / 177
» Allowing State Changes in Specifications
Sort
View
ESWS
2006
Springer
15 years 9 months ago
Resolving Inconsistencies in Evolving Ontologies
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...
Peter Plessers, Olga De Troyer
RECOMB
2003
Springer
16 years 6 months ago
Combining phylogenetic and hidden Markov models in biosequence analysis
A few models have appeared in recent years that consider not only the way substitutions occur through evolutionary history at each site of a genome, but also the way the process c...
Adam C. Siepel, David Haussler
SAC
1994
ACM
15 years 10 months ago
Using persistence technology to control schema evolution
Traditional database technology may be extended by taking advantage of the facilities of an integrated persistent programming environment. This paper focuses on how such an enviro...
Richard C. H. Connor, Quintin I. Cutts, Graham N. ...
ICSM
1996
IEEE
15 years 10 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
IPPS
1996
IEEE
15 years 10 months ago
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
Raju Pandey, James C. Browne