A formal model of context-awareness and context-dependency M Neovius, K Sere, L Yan, M Satpathy Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 16 | 2006 |
The tag genome dataset for books D Kotkov, A Medlar, A Maslov, UR Satyal, M Neovius, D Glowacka Proceedings of the 2022 Conference on Human Information Interaction and …, 2022 | 13 | 2022 |
Providing tamper-resistant audit trails with distributed ledger based solutions for forensics of iot systems using cloud resources M Westerlund, M Neovius, G Pulkkis International Journal on Advances in Security 11 (3 & 4), 2018 | 13 | 2018 |
The distance-availability weighted piece selection method for bittorrent: A bittorrent piece selection method for on-demand streaming P Sandvik, M Neovius 2009 First International Conference on Advances in P2P Systems, 198-202, 2009 | 13 | 2009 |
Revisiting the tag relevance prediction problem D Kotkov, A Maslov, M Neovius Proceedings of the 44th International ACM SIGIR Conference on Research and …, 2021 | 11 | 2021 |
Providing tamper-resistant audit trails for cloud forensics with distributed ledger based solutions M Neovius, J Karlsson, M Westerlund, G Pulkkis Cloud Comput 2018, 29, 2018 | 11 | 2018 |
Anomaly detection for soft security in cloud based auditing of accounting systems M Neovius, B Duncan International Conference on Cloud Computing and Services Science 2, 499-506, 2017 | 9 | 2017 |
Clusterexplorer: enable user control over related recommendations via collaborative filtering and clustering D Kotkov, Q Zhao, K Launis, M Neovius Proceedings of the 14th ACM Conference on Recommender Systems, 432-437, 2020 | 7 | 2020 |
A design framework for wireless sensor networks M Neovius, L Yan Ad-Hoc Networking: IFIP 19th World Computer Congress, TC-6, IFIP Interactive …, 2006 | 7 | 2006 |
Trustworthy context dependency in ubiquitous systems M Neovius Turku Centre for Computer Science (TUCS), 2012 | 6 | 2012 |
Formal modular modelling of context-awareness M Neovius, K Sere International Symposium on Formal Methods for Components and Objects, 102-118, 2008 | 6 | 2008 |
Formal transformation of platform independent models into platform specific models P Boström, M Neovius, I Oliver, M Waldén B 2007: Formal Specification and Development in B: 7th International …, 2006 | 6 | 2006 |
Adaptive experience-based composition of continuously changing quality of context M Neovius Int. Conf. on Adaptive and Self-Adaptive Systems and Applications, 2015 | 5 | 2015 |
Trustworthiness Modelling on Continuous Environmental Measurement M Neovius, M Stocker, M Rönkkö, L Petre Proc. of the 7th Int. Conf. on Environmental Modelling and Software, 2014 | 5 | 2014 |
On proving recoverability of smart electrical grids S Horsmanheimo, M Kamali, M Kolehmainen, M Neovius, L Petre, ... NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 5 | 2014 |
Anomaly Detection in Cloud Based Application using System Calls M Aranitasi, M Neovius CLOUD COMPUTING 2017, 54, 2017 | 4 | 2017 |
Designing resilience mediators for control systems M Rönkkö, M Stocker, M Neovius, L Petre, M Kolehmainen Proceedings of the IASTED International Conference on Modelling …, 2014 | 4 | 2014 |
A further look at the distance-Availability weighted piece selection method P Sandvik, M Neovius International Journal on Advances in Networks and Services Volume 3, Number …, 2010 | 4 | 2010 |
Exploring library loan data for modelling the reading culture: Project libdat M Neovius, K Launis, O Nurmi 3rd Conference on Digital Humanities in the Nordic Countries, DHN 2018 …, 2018 | 3 | 2018 |
Rating consistency is consistently underrated: An exploratory analysis of movie-tag rating inconsistency D Kotkov, A Medlar, UR Satyal, A Maslov, M Neovius, D Glowacka Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1355-1364, 2022 | 2 | 2022 |