Filters








2,122 Hits in 4.2 sec

Linking Operational Semantics and Algebraic Semantics for Wireless Networks [chapter]

Xiaofeng Wu, Huibiao Zhu
2013 Lecture Notes in Computer Science  
This paper considers the linking between the algebraic semantics and the operational semantics for this calculus. Our approach is to derive the operational semantics from the algebraic semantics.  ...  Wireless technology has achieved lots of applications in computer networks. To model and analyze wireless systems, a calculus called CWS and its operational semantics have been investigated.  ...  Acknowledgement This work was partly supported by the Danish National Research Foundation and the National Natural Science  ... 
doi:10.1007/978-3-642-41202-8_25 fatcat:7mc4i6uzhncjrgrow6bddncbui

Ubiquitous Computing: Challenges in Flexible Data Aggregation [chapter]

Eiko Yoneki, Jean Bacon
2005 Lecture Notes in Computer Science  
We define generic composite event semantics, which extend traditional event composition with data aggregation in wireless sensor networks (WSNs).  ...  We use interval-based semantics for event detection, defining precisely complex timing constraints.  ...  This research is funded by EPSRC (Engineering and Physical Sciences Research Council) under grant GR/557303.  ... 
doi:10.1007/11596356_117 fatcat:k5ljus45nzfylj45usyh2stqxy

Unified Semantics for Event Correlation over Time and Space in Hybrid Network Environments [chapter]

Eiko Yoneki, Jean Bacon
2005 Lecture Notes in Computer Science  
First, we define generic composite event semantics, which extend traditional event composition with data aggregation in wireless sensor networks (WSNs).  ...  This new paradigm implies composition of events in heterogeneous network environments, where network and resource conditions vary.  ...  This research is funded by EPSRC (Engineering and Physical Sciences Research Council) under grant GR/557303.  ... 
doi:10.1007/11575771_24 fatcat:z7to7kw4y5hojfjm67m7gj6wgy

Ensuring Liveness Properties of Distributed Systems (A Research Agenda) [article]

Rob van Glabbeek
2017 arXiv   pre-print
for wireless networks.  ...  formats for operational semantics, and creating new treatments of time and probability.  ...  Verification of routing protocols for wireless networks In [FGH + 12b, FGH + 13, BGH16] my colleagues and I have developed a process algebra that is tailored to wireless networks-it features novel treatments  ... 
arXiv:1711.04240v1 fatcat:peumtlk6rjfy7nwhfloxeoqefa

Object Tracking Using Durative Events [chapter]

Eiko Yoneki, Jean Bacon
2005 Lecture Notes in Computer Science  
An event correlation service provides sophisticated event filtering, aggregation and correlation over time and space in heterogeneous network environments.  ...  Event management takes a multi-step operation from event sources to final subscribers, combining information collected by wireless devices into higher-level information or knowledge.  ...  This research is funded by EPSRC (Engineering and Physical Sciences Research Council) under grant GR/557303.  ... 
doi:10.1007/11596042_68 fatcat:pokbpiqipzgq5cncuc46sqfy4i

Restricted Broadcast Process Theory

Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
2008 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods  
We give a formal operational semantics for our process algebra, and define equivalence relations on protocols and networks.  ...  We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols.  ...  We gave an operational semantics, and defined equivalence notions between protocols and networks.  ... 
doi:10.1109/sefm.2008.25 dblp:conf/sefm/GhassemiFM08 fatcat:x7jik2e7mncvvfseeofnyg2jja

A Process Algebra for Wireless Mesh Networks [chapter]

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012 Lecture Notes in Computer Science  
We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures.  ...  In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol and (dis)prove crucial properties such as loop freedom and packet delivery.  ...  the variable nature of wireless links.  ... 
doi:10.1007/978-3-642-28869-2_15 fatcat:7tonv5esunc43nva54rn6ppbke

Stochastic Restricted Broadcast Process Theory [chapter]

Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink
2011 Lecture Notes in Computer Science  
We provide a framework for modeling and analyzing both qualitative and quantitative aspects of mobile ad hoc network (MANET) protocols above the data-link layer.  ...  A continuous-time Markov chain is derived from our semantic model by resolving non-determinism, using the notion of weak Markovian network bisimilarity.  ...  Conclusion and Future Work We have extended RBPT, an algebraic framework for the specification and verification of MANETs, with stochastic concepts.  ... 
doi:10.1007/978-3-642-24749-1_7 fatcat:wknfanphajc5nkghspd2haq7z4

Event Broker Grids with Filtering, Aggregation, and Correlation for Wireless Sensor Data [chapter]

Eiko Yoneki
2005 Lecture Notes in Computer Science  
To manage high volume and faulty sensor data, it requires more sophisticated event filtering, aggregation and correlation over time and space in heterogeneous network environments.  ...  A significant increase in real world event monitoring capability with wireless sensor networks brought a new challenge to ubiquitous computing.  ...  This research is funded by EPSRC (Engineering and Physical Sciences Research Council) under grant GR/557303.  ... 
doi:10.1007/11575863_50 fatcat:tqvrmsgs7bbkpo5jaww3micoci

System level design paradigms

Alessandro Pinto, Alvise Bonivento, Allberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi
2006 ACM Transactions on Design Automation of Electronic Systems  
We present two cases, an on-chip and a wireless sensor network design, where the resulting methodology gave encouraging results. A. Pinto et al.  ...  Communication design in a reuse methodology starts with a set of functional requirements and constraints on the interaction among components and then proceeds to build protocols, topology, and physical  ...  Informally, an agent algebra Q is composed of a domain D that contains the agents under study for the algebra, and of certain operators that formalize the most common operations of the models of computation  ... 
doi:10.1145/1142980.1142982 fatcat:zqelq53yt5fezosqkhifkmgrey

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink
2010 2010 10th International Conference on Application of Concurrency to System Design  
The link connectivity model, which implicitly models node mobility, specifies link up and down lifetimes.  ...  It captures the interplay between stochastic behavior of protocols deployed at different network layers, and the underlying dynamic topology.  ...  THE FORMAL MODEL Constrained labeled transition systems were introduced in [4] for giving an operational semantics to Restricted Broadcast Process Theory, a process algebra for the specification and  ... 
doi:10.1109/acsd.2010.20 dblp:conf/acsd/GhassemiMF10 fatcat:oxtxeo3wcrftljks7z3pl5qf2y

A Process Algebra for Link Layer Protocols [chapter]

Rob van Glabbeek, Peter Höfner, Michael Markl
2019 Lecture Notes in Computer Science  
We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions.  ...  We also formalise suitable liveness properties for link layer protocols specified in this framework.  ...  We thank Tran Ngoc Ma for her involvement in this project in a very early phase.  ... 
doi:10.1007/978-3-030-17184-1_24 fatcat:nw54omoqyvhf7bdsyaiitpqdw4

UTP Semantics for BigrTiMo [chapter]

Wanling Xie, Huibiao Zhu, Shengchao Qin
2018 Lecture Notes in Computer Science  
In this paper, we study the semantic foundation of this highly expressive modelling language and propose a denotational semantic model for it based on Hoare and He's Unifying Theories of Programming (UTP  ...  BigrTiMo [1] , a process algebra that combines the rTiMo calculus [2] and the Bigraph model [3] , is capable of specifying a rich variety of properties for structure-aware mobile systems.  ...  Acknowledgments This work was partly supported by Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things (No. ZF1213).  ... 
doi:10.1007/978-3-030-02450-5_20 fatcat:q7ineucs6na5bo3w4ba3kolvwm

A Stimulus-Centric Algebraic Approach to Sensors and Observations [chapter]

Christoph Stasch, Krzysztof Janowicz, Arne Bröring, Ilka Reis, Werner Kuhn
2009 Lecture Notes in Computer Science  
Geosensor networks are normally defined as distributed ad-hoc wireless networks of computing platforms serving to monitor phenomena in geographic space.  ...  An algebraic formalization shows their behavior as well as their aggregations and generalizations.  ...  Acknowledgments The comments from three anonymous reviewers provided useful suggestions to improve the content and clarity of the paper.  ... 
doi:10.1007/978-3-642-02903-5_17 fatcat:eafdyxdmabdotjfxq2dzcyay5a

QoC-based Optimization of End-to-End M-Health Data Delivery Services

Ing Widya, Bert-jan Beijnum, Alfons Salden
2006 IEEE International Workshop on Quality of Service, IWQoS  
The properties of the applied algebras correspond to the properties of the operations of the addressed QoS dimensions.  ...  We propose min-max-plus based algebraic QoC models for computing the quality of delivered data impeded by the QoS of the resources along the alternative delivery paths.  ...  ACKNOWLEDGMENT Authors thank Masja Kempen for improving the quality of this paper.  ... 
doi:10.1109/iwqos.2006.250476 dblp:conf/iwqos/WidyaBS06 fatcat:4vsgqrz73zdpnagyhcotzk6kuy
« Previous Showing results 1 — 15 out of 2,122 results