1864 search results - page 3 / 373 » Formal topology and domains |
ACSD
2006
IEEE
13 years 8 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
BMCBI
2010
13 years 5 months ago
2010
Background: Analyzing interaction networks for functional characterization poses significant challenges arising from the noisy, incomplete, and generic nature of both the interact...
SSD
1993
Springer
13 years 9 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
ESCIENCE
2006
IEEE
13 years 8 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer