1362 search results - page 38 / 273 » Model Checking Large Network Protocol Implementations |
196
click to vote
ICOODB
2010
14 years 12 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
MASCOTS
2007
15 years 3 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
117
click to vote
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper describes an area-efficient mixed-signal implementation of synapse-based long term plasticity realized in a VLSI1 model of a spiking neural network. The artificial...
102
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
121
click to vote
MSWIM
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...