Mats Neovius
Zitiert von
Zitiert von
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
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
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
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
Revisiting the Tag Relevance Prediction Problem
D Kotkov, A Maslov, M Neovius
Proceedings of the 44th International ACM SIGIR Conference on Research and …, 2021
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
A design framework for wireless sensor networks
M Neovius, L Yan
Ad-Hoc Networking: IFIP 19th World Computer Congress, TC-6, IFIP Interactive …, 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
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
Trustworthy context dependency in ubiquitous systems
M Neovius
Turku Centre for Computer Science (TUCS), 2012
Formal modular modelling of context-awareness
M Neovius, K Sere
International Symposium on Formal Methods for Components and Objects, 102-118, 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
Adaptive experience-based composition of continuously changing quality of context
M Neovius
Int. Conf. on Adaptive and Self-Adaptive Systems and Applications, 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
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
Anomaly Detection in Cloud Based Application using System Calls
M Aranitasi, M Neovius
CLOUD COMPUTING 2017, 54, 2017
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
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
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
Quantifying uncertainty for preemptive resource provisioning in the cloud
M Aranitasi, B Byholm, M Neovius
2017 28th International Workshop on Database and Expert Systems Applications …, 2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20