1742 search results - page 69 / 349 » A Framework for Network Modeling in Prolog |
119
click to vote
SBP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a theoretical framework for the optimal collaboration among researchers in a knowledge network in which researchers are not limited to a single discipline and ...
151
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In a wireless network composed of randomly scattered nodes, the characterization of the distribution of the best signal quality received from a group of nodes is of prima...
140
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
128
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
142
Voted
WSC
1997
15 years 5 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...