5451 search results - page 356 / 1091 » Typed Operational Semantics |
159
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
150
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
167
click to vote
RULEML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
134
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
130
Voted
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...