SCMon: Leveraging Segment Routing to Improve Network Monitoring Franc¸ois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure ICTEAM, Universit´e catholique de Louvain, Louvain-

Source URL: www0.cs.ucl.ac.uk

• Mathematics
• Routing algorithms
• Computing
• Combinatorial optimization
• Search algorithms
• Applied mathematics
• Network theory
• Internet architecture
• Shortest path problem
• Dijkstra's algorithm
• Image segmentation
• Routing

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy JUNE 2017 VOLUME 75, NUMBER 6

Source URL: www.mississippi.edu

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy APRIL 2017 VOLUME 75, NUMBER 4

Source URL: www.mississippi.edu

An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l

Source URL: www.cs.man.ac.uk

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy SEPTEMBER 2017 VOLUME 75, NUMBER 9

Source URL: www.mississippi.edu

ElCom Market Monitoring Swiss Federal Electricity CommissionList of registered RRMs No

Source URL: www.elcom.admin.ch

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: inl.info.ucl.ac.be

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy FEBRUARY 2018 VOLUME 76, NUMBER 2

Source URL: www.mississippi.edu

Eidgenössisches Departement des Innern EDI Bundesamt für Veterinärwesen BVET Monitoring Marion Zumbrunnen

Source URL: www.blv.admin.ch