1742 search results - page 188 / 349 » A Framework for Network Modeling in Prolog |
144
click to vote
SIGMETRICS
1998
ACM
15 years 4 months ago
1998
ACM
The increasing complexity of computer networks and our increasing dependence on them means enforcing reliability requirements is both more challenging and more critical. The expan...
143
click to vote
AIMS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
161
click to vote
NCA
2008
IEEE
15 years 11 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...
149
click to vote
ICANN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
161
click to vote
AP2PS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose a new implementation of the JXTA framework, based on the integration of the original JXTA version with the Chord DHT management protocol. The resulting ne...