531 search results - page 51 / 107 » Formal Methods for Networks on Chips |
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
In ad hoc wireless networks, a successful broadcasting requires that the nodes forwarding the broadcast packet form a connected dominating set to ensure the coverage. An efficien...
JMLR
2010
2010
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
13 years 3 months ago
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...
APNOMS
2006
Springer
14 years 16 days ago
2006
Springer
This paper intends to introduce the development of a terminal agent for QoS measurement that is suitable for an NGN environment, and to summarize the results of its performance tes...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
FORMATS
2006
Springer
14 years 13 days ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...