229 search results - page 38 / 46 » Topological Duality in Semantics |
SIPS
2006
IEEE
14 years 3 months ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
WOWMOM
2006
ACM
14 years 3 months ago
2006
ACM
Recent years saw the rapid development of peer-topeer (P2P) networks in a great variety of applications. However, similarity-based k-nearest-neighbor retrieval (k-NN) is still a c...
WWIC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The widespread availability of both fixed and wireless network connectivity and the growing market of portable devices are enabling anytime and anywhere impromptu collabo...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
ICDCS
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe a novel scalable group membership algorithm designed for wide area networks WANs . Our membership service does not evolve from existing LAN-oriented membership servic...