3081 search results - page 172 / 617 » A Formal Ontology of Properties |
149
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
212
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
136
click to vote
KCAP
2005
ACM
16 years 23 hour ago
2005
ACM
Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
183
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...