Filters








76,061 Hits in 5.9 sec

Developing Topology Discovery in Event-B [chapter]

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial
2009 Lecture Notes in Computer Science  
We present a formal development in Event-B of a distributed topology discovery algorithm.  ...  Distributed topology discovery is at the core of several routing algorithms and is the problem of each node in a network discovering and maintaining information on the network topology.  ...  Conclusions We have presented a case study in formally developing a distributed topology discovery algorithm in Event-B.  ... 
doi:10.1007/978-3-642-00255-7_1 fatcat:lf6v2ei2ufglvm5jzyatobzeb4

Developing topology discovery in Event-B

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial
2009 Science of Computer Programming  
We present a formal development in Event-B of a distributed topology discovery algorithm.  ...  Distributed topology discovery is at the core of several routing algorithms and is the problem of each node in a network discovering and maintaining information on the network topology.  ...  Conclusions We have presented a case study in formally developing a distributed topology discovery algorithm in Event-B.  ... 
doi:10.1016/j.scico.2009.07.006 fatcat:nwlz3samirahdg5l3sbjphgqim

Topology discovery of sparse random graphs with few participants

Animashree Anandkumar, Avinatan Hassidim, Jonathan Kelner
2011 Proceedings of the ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '11  
We consider topology discovery under two routing models: (a) the participants exchange messages along the shortest paths and obtain end-to-end measurements, and (b) additionally, the participants exchange  ...  The rest of the nodes are hidden, and do not provide any information for topology discovery.  ...  Topology discovery is an important component of network tomography. There have been several theoretical developments on this topic.  ... 
doi:10.1145/1993744.1993774 dblp:conf/sigmetrics/AnandkumarHK11 fatcat:lxr2oi3aprhmfdwrknq6mujsga

Topology discovery of sparse random graphs with few participants

Animashree Anandkumar, Avinatan Hassidim, Jonathan Kelner
2012 Random structures & algorithms (Print)  
We consider topology discovery under two routing models: (a) the participants exchange messages along the shortest paths and obtain end-to-end measurements, and (b) additionally, the participants exchange  ...  The rest of the nodes are hidden, and do not provide any information for topology discovery.  ...  Topology discovery is an important component of network tomography. There have been several theoretical developments on this topic.  ... 
doi:10.1002/rsa.20420 fatcat:5xhvb4pbavezvnbyxootfvyury

Topology discovery of sparse random graphs with few participants

Animashree Anandkumar, Avinatan Hassidim, Jonathan Kelner
2011 Performance Evaluation Review  
We consider topology discovery under two routing models: (a) the participants exchange messages along the shortest paths and obtain end-to-end measurements, and (b) additionally, the participants exchange  ...  The rest of the nodes are hidden, and do not provide any information for topology discovery.  ...  Topology discovery is an important component of network tomography. There have been several theoretical developments on this topic.  ... 
doi:10.1145/2007116.2007146 fatcat:iqrbchm2p5gmxp44fhxd2v3avq

Formal Development of Path Discovery in AODV Routing Protocol using Event-B

Arun Kumar, Divakar Yadav, Vinod Kumar
2015 International Journal of Computer Applications  
In this paper, we present a formal model for path discovery process of the AODV protocol using Event-B.  ...  The model have been developed and checked using the RODIN tool which provides an integrated framework for development of Event-B models.  ...  In this work, formal specifications of Path discovery process of AODV routing protocol have been developed using Event-B.  ... 
doi:10.5120/ijca2015905481 fatcat:wlzqn4nujrb7pampzl4dny5mry

Topology Discovery of Sparse Random Graphs With Few Participants [article]

Animashree Anandkumar, Avinatan Hassidim, Jonathan Kelner
2012 arXiv   pre-print
We consider topology discovery under two routing models: (a) the participants exchange messages along the shortest paths and obtain end-to-end measurements, and (b) additionally, the participants exchange  ...  The rest of the nodes are hidden, and do not provide any information for topology discovery.  ...  The first author is supported in part by the setup funds at UCI and the AFOSR Award FA9550-10-1-0310.  ... 
arXiv:1102.5063v3 fatcat:g45iw6rj6vh7fcnfnbbtoi2efe

Opportunistic Overlays: Efficient Content Delivery in Mobile Ad Hoc Networks [chapter]

Yuan Chen, Karsten Schwan
2005 Lecture Notes in Computer Science  
The opportunistic overlay approach dynamically adapts event dissemination structures (i.e., broker overlays) to changes in physical network topology, in nodes' physical locations, and in network node behaviors  ...  , with the goal of optimizing end-toend delays in event delivery.  ...  Experiment configuration is shown in Figure 15 . The initial physical network topology is A-B-C. B is C's home broker. Both approaches use the same event delivery path A→B→C.  ... 
doi:10.1007/11587552_18 fatcat:hh7e4qb4jjb5npjtbc53skfpli

Spotting hidden sectors with Higgs binoculars

Monika Blanke, Simon Kast, Jennifer M. Thompson, Susanne Westhoff, José Zurita
2019 Journal of High Energy Physics  
To this end, we define simplified models of hidden sectors leading to two different event topologies: symmetric decay, i.e., pair-produced mediators decaying each into a Higgs plus invisible final state  ...  We determine the parameter space that the LHC can test in both scenarios, thus facilitating an interpretation of our results in terms of complete models.  ...  The research of MB and SW is supported by the DFG Collaborative Research Center TRR 257 "Particle Physics Phenomenology after the Higgs Discovery".  ... 
doi:10.1007/jhep04(2019)160 fatcat:wym4ncfxxvfjbafyhswn3i4qfi

Application development environment for event‐driven ubiquitous devices

Ryohei Sagara, Yasue Kishino, Tsutomu Terada, Shojiro Nishio, Evi Syukur
2009 International Journal of Pervasive Computing and Communications  
In this paper, we propose a new application development environment for ubiquitous computing environments.  ...  In ubiquitous computing environments, not only programmers but also general users come to develop/customize applications.  ...  Acknowledgments This research was partially supported by The 21st Century Center of Excellence Program "New Informa-tion Technologies for Building a Networked Symbiotic Environment" and Grant-in-Aid for  ... 
doi:10.1108/17427370910976016 fatcat:e5ha7vvqgng2llrh6jpjfi7jzu

OLSR-based Topology Discovery for Mobile Situational Awareness Systems

Anand Dersingh, Z.M. Faizul Islam, Shahram Shah Heydari, Md. Mustafizur Rahman
2011 Procedia Computer Science  
Also the error rate of network topology discovery based on total undiscovered link both mobile and static scenario is considered and reported in this paper.  ...  In this paper, we propose a non-intrusive approach for connectivity visualization of OLSR-based MANET topology based on local topology databases available in an OLSR node.  ...  Acknowledgements This work was done in collaboration with Solana Networks, Nepean, Canada, and was supported by a grant from the Natural Sciences and Engineering Research Canada (NSERC) through NSERC Engage  ... 
doi:10.1016/j.procs.2011.07.054 fatcat:iktqo72lkzhgji6swwvxqrl56e

Efficient content-based routing with network topology inference

Muhammad Adnan Tariq, Boris Koldehofe, Kurt Rothermel
2013 Proceedings of the 7th ACM international conference on Distributed event-based systems - DEBS '13  
In particular, mechanisms are developed to discover the underlay topology among subscribers and publishers in a distributed manner.  ...  This paper presents a novel approach that exploits the knowledge of event traffic, user subscriptions and topology of the underlying physical network to perform efficient routing in a publish/subscribe  ...  TOPOLOGY DISCOVERY OVERLAY In this section, we tackle the problem of constructing a topology discovery overlay (TDO) with low stress and RDP.  ... 
doi:10.1145/2488222.2488262 dblp:conf/debs/TariqKR13 fatcat:2nzqnedmpnfbhnyel5cc3su27m

On the creation & discovery of topics in distributed publish/subscribe systems

S. Pallickara, G. Fox, H. Gadgil
2005 The 6th IEEE/ACM International Workshop on Grid Computing, 2005.  
In this paper we present a scheme for the discovery of topics in distributed publish/subscribe systems.  ...  The work that we describe here can be used in systems based on JMS, WS-Eventing or WS-Notification.  ...  Machine Topology) Time spent in Topic Creation sub-activities (Local Machine Topology) Topic Discovery (Local Machine Topology) , String Topics Table 2 2 Metrics for Topic Creation and Discovery (Wide  ... 
doi:10.1109/grid.2005.1542720 dblp:conf/grid/PallickaraFG05 fatcat:o7yav2ar4vbzdcsdaftria6imq

Adaptive SOA Stack-Based Business Process Monitoring Platform

Dadel Przemyslaw, Balawajder Mariusz, Radziszowski Dominik, Zielinski Krzysztof
2014 Computer Science  
Executable business processes that formally describe company activities are well placed in the SOA environment, as they allow for the declarative organization of high-level system logic.  ...  Acknowledgements The research presented in this paper was partially supported by the European Union in the scope of the European Regional Development Fund program no. POIG.01.03.01-00-008/08.  ...  One interesting example [16] uses an event-based approach for unknown process discovery.  ... 
doi:10.7494/csci.2014.15.1.173 fatcat:lvct7iecpbbuhd7fsoy4lvcot4

Adaptive SOA Stack-Based Business Process Monitoring Platform

Dadel Przemyslaw, Balawajder Mariusz, Radziszowski Dominik, Zielinski Krzysztof
2014 Computer Science  
Executable business processes that formally describe company activities are well placed in the SOA environment, as they allow for the declarative organization of high-level system logic.  ...  Acknowledgements The research presented in this paper was partially supported by the European Union in the scope of the European Regional Development Fund program no. POIG.01.03.01-00-008/08.  ...  One interesting example [16] uses an event-based approach for unknown process discovery.  ... 
doi:10.7494/csci.2014.15.2.173 fatcat:e45bbt3g5jcx5bycqcf5nz72su
« Previous Showing results 1 — 15 out of 76,061 results