Filters








58 Hits in 7.4 sec

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) [article]

César Sánchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Yliés Falcone and Adrian Francalanza and Sran Krstić and Joa̋o M. Lourenço and Dejan Nickovic and Gordon J. Pace and Jose Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss
2018 arXiv   pre-print
Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors  ...  In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges  ...  The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document.  ... 
arXiv:1811.06740v1 fatcat:4bxx5tvfpzez3jidsj22flibv4

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace (+4 others)
2019 Formal methods in system design  
Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors  ...  In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges  ...  The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document, and the anonymous reviewers for the constructive corrections  ... 
doi:10.1007/s10703-019-00337-w fatcat:6vu5odqyjjbkvf255bsxcchane

Front Matter: Volume 9474

2015 Signal Processing, Sensor/Information Fusion, and Target Recognition XXIV  
Publication of record for individual papers is online in the SPIE Digital Library.  ...  SPIE uses a six-digit CID article numbering system in which: The first four digits correspond to the SPIE volume number.  ...  of entities -Causal and other dependencies > Involves classical data fusion functions: -Data alignment: for consistency in format, spatio-temporal/ measurement framework and confidence -Data association  ... 
doi:10.1117/12.2202240 fatcat:h6ezdn7gkbgyxi732iaig3dfxa

Video Description: A Survey of Methods, Datasets and Evaluation Metrics [article]

Nayyer Aafaq, Ajmal Mian, Wei Liu, Syed Zulqarnain Gilani, Mubarak Shah
2019 arXiv   pre-print
Numerous methods, datasets and evaluation metrics have been proposed in the literature, calling the need for a comprehensive survey to focus research efforts in this flourishing new direction.  ...  The past few years have seen a surge of research in this area due to the unprecedented success of deep learning in computer vision and natural language processing.  ...  ACKNOWLEDGEMENTS The authors acknowledge Marcus Rohrbach (Facebook AI Research) for his valuable input. The research was supported by ARC Discovery Grant DP160101458 and DP150102405.  ... 
arXiv:1806.00186v3 fatcat:elxztcpzizhr7clugnbjvvrpte

Formal Verification of Evolutionary Changes [chapter]

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
2019 Managed Software Evolution  
are concerned; and the embedding into development processes are discussed in Sect. 10.  ...  All three approaches contribute to the guiding theme Methods and Processes for Evolution of the priority programme.  ...  Essentially, it extends the FOCUS theory described in [Bro86, BS01] with notions of discrete and dense time [Bro12], spatio-temporal systems [Hum09, Bot+09], and using dynamic sampling [Cam13] .  ... 
doi:10.1007/978-3-030-13499-0_11 fatcat:5rcrtm2aenaajcpzah4jw6ubge

2021 Index IEEE Internet of Things Journal Vol. 8

2021 IEEE Internet of Things Journal  
The Author Index contains the primary entry for each item, listed under the first author's name.  ...  -that appeared in this periodical during 2021, and items from previous years that were commented upon or corrected in 2021.  ...  ., +, JIoT Feb. 15, 2021 2226-2237 Blockchain-Based Federated Learning for Device Failure Detection in Industrial IoT.  ... 
doi:10.1109/jiot.2022.3141840 fatcat:42a2qzt4jnbwxihxp6rzosha3y

A Survey on Spectrum Management for Unmanned Aerial Vehicles (UAVs)

Mohammed A. Jasim, Hazim Shakhatreh, Nazli Siasi, Ahmad Sawalmeh, Adel Aldalbahi, Ala Al-Fuqaha
2021 IEEE Access  
In addition, network monitoring, patrolling, and enforcement schemes are identified.  ...  Existing surveys mostly focus on UAV applications, channel models, and security challenges, with a lack of studies on spectrum management in the context of UAV networks.  ...  Thereafter, this can also be leveraged to forecast the location interface configurations of the UAVs using spatio-temporal, which enhances the energy and spectrum efficiency. 2) BAYESIAN LEARNING Mixture  ... 
doi:10.1109/access.2021.3138048 fatcat:2h5ls7ywo5g3bbz454gqatvkw4

From Internet Architecture Research to Standards [chapter]

Dimitri Papadimitriou, Bernard Sales, Piet Demeester, Theodore Zahariadis
2012 Lecture Notes in Computer Science  
For this purpose, it proposes a practical methodology to incubate architectural research results as part of the standardization process.  ...  and application deployment, this paper proposes an alternative research path starting from the root causes (the progressive depletion of the design principles of the Internet) and motivates the need for  ...  In the context of this paper, we refer to the term as "architecture" a set of functions, states, and objects/information together with their behavior, structure, composition, relationships and spatio-temporal  ... 
doi:10.1007/978-3-642-30241-1_7 fatcat:as4u7m4kgzfhpeoz6kas4xchoa

2021 Index IEEE Transactions on Vehicular Technology Vol. 70

2021 IEEE Transactions on Vehicular Technology  
The Author Index contains the primary entry for each item, listed under the first author's name.  ...  -that appeared in this periodical during 2021, and items from previous years that were commented upon or corrected in 2021.  ...  ., +, TVT Dec. 2021 13281-13293 Autonomous driving HSTA: A Hierarchical Spatio-Temporal Attention Model for Trajectory Prediction.  ... 
doi:10.1109/tvt.2022.3151213 fatcat:vzuzqu54irebpibzp3ykgy5nca

Understanding space weather to shield society: A global road map for 2015–2025 commissioned by COSPAR and ILWS

Carolus J. Schrijver, Kirsti Kauristie, Alan D. Aylward, Clezio M. Denardini, Sarah E. Gibson, Alexi Glover, Nat Gopalswamy, Manuel Grande, Mike Hapgood, Daniel Heynderickx, Norbert Jakowski, Vladimir V. Kalegaev (+14 others)
2015 Advances in Space Research  
Such a strategy requires urgent action: key instrumentation needs to be sustained, and action needs to be taken before core capabilities are lost in the aging ensemble.  ...  The roadmap clusters its implementation recommendations by formulating three action pathways, and outlines needed instrumentation and research programs and infrastructure for each of these. [...]  ...  Advanced data-driven and experimental models as tools for analysis, interpretation, and visualization of events and their spatio-temporal context, and for forecasting/ specification.  ... 
doi:10.1016/j.asr.2015.03.023 fatcat:xfsgoua3hjgato3bichbfwl3ha

Defense Advanced Research Projects Agency (Darpa) Fiscal Year 2015 Budget Estimates

Department Of Defense Comptroller's Office
2014 Zenodo  
Included in this category is the National Center for Advancing Translational Sciences (NCATS) efforts to reengineer drug discovery and development in collaboration with industry, academia, the Food and  ...  Emerging Therapies (SUBNETS)) and better data management.  ...  -Continue research and development of tools and methodologies to program, reprogram, and enable spatio-temporal control and feedback for engineered systems.  ... 
doi:10.5281/zenodo.1215345 fatcat:fjzhmynqjbaafk67q2ckcblj2m

Defense Advanced Research Projects Agency (Darpa) Fiscal Year 2016 Budget Estimates

Department Of Defense Comptroller's Office
2015 Zenodo  
The Defense Advanced Research Projects Agency (DARPA) FY2016 amounted to $2.868 billion in the President's request to support high-risk, high-reward research.  ...  -Continued research and development of tools and methodologies to program, reprogram, and enable spatio-temporal control and feedback for engineered systems.  ...  -Developed and demonstrated analytic tools for temporal and pattern analysis on data approaching petabyte scale.  ... 
doi:10.5281/zenodo.1215366 fatcat:cqn5tyfixjanzp5x3tgfkpedri

A Model-Free Time Series Segmentation Approach for Land Cover Change Detection

Ashish Garg, Lydia Manikonda, Shashank Kumar, Vikrant Krishna, Shyam Boriah, Michael S. Steinbach, Durga Toshnival, Vipin Kumar, Christopher Potter, Steven A. Klooster
2011 Conference on Intelligent Data Understanding  
CIDU is unique in creating a forum for the applications of data mining and machine learning to earth sciences, space sciences, and aerospace and engineering systems.  ...  Selected papers will be invited for consideration for the CIDU special issue in the Statistical Analysis and Data Mining Journal.  ...  Teng for providing access to the CCSM3 data set used in this analysis. Acknowledgments This research is partially supported by NASA grant NNG06GD31G and NSF grant DMS-1007060.  ... 
dblp:conf/cidu/GargMKKBSTKPK11 fatcat:yur5kmzxovbuxczf6lrix43viy

Software architecture: a travelogue

David Garlan
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
During that time there has been considerable progress in developing the technological and methodological base for treating architectural design as an engineering discipline.  ...  Moreover, the changing face of technology raises a number of challenges for software architecture.  ...  that data, and write to output streams.  ... 
doi:10.1145/2593882.2593886 dblp:conf/icse/Garlan14 fatcat:pxuxk3iqwbas3amxlpapfehsqu

Computational Air Traffic Management

Marc Anthony Azzopardi, James F. Whidborne
2011 2011 IEEE/AIAA 30th Digital Avionics Systems Conference  
However, the diverging gap between ATM performance and fundamental requirements indicates the need for a step change.  ...  A specific embodiment of a CATM system was designed, constructed, simulated and tested and shown to be a significant step towards demonstrating the feasibility of a fully autonomous multi-agent-based air  ...  Add Forces  Advection  Diffusion  Projection Synthetic Wind Patterns The model simulates a synthetic weather system and can generate spatio-temporal weather data in real-time.  ... 
doi:10.1109/dasc.2011.6095967 fatcat:5kfu6ba5h5g7pdffh7z3ftdjai
« Previous Showing results 1 — 15 out of 58 results