438 search results - page 20 / 88 » On the Applicability of Knowledge Based NAT-Traversal for Ho... |
BMCBI
2010
13 years 8 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...
IEEEAMS
2003
IEEE
14 years 1 months ago
2003
IEEE
Selection of the most suitable nodes on a network to execute a parallel application requires matching the network status to the application requirements. We propose and validate a...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...
NCA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...