3573 search results - page 86 / 715 » Reasoning about Codata |
146
click to vote
FORTE
2009
15 years 28 days ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
125
Voted
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
127
click to vote
GEOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require meth...
130
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...