Seguir
Mats Neovius
Título
Citado por
Citado por
Año
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
162006
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
132009
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
122018
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
102018
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
92017
A design framework for wireless sensor networks
M Neovius, L Yan
Ad-Hoc Networking: IFIP 19th World Computer Congress, TC-6, IFIP Interactive …, 2006
72006
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
62020
Trustworthy context dependency in ubiquitous systems
M Neovius
Turku Centre for Computer Science (TUCS), 2012
62012
Formal modular modelling of context-awareness
M Neovius, K Sere
International Symposium on Formal Methods for Components and Objects, 102-118, 2008
62008
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
62006
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
52022
Revisiting the Tag Relevance Prediction Problem
D Kotkov, A Maslov, M Neovius
Proceedings of the 44th International ACM SIGIR Conference on Research and …, 2021
52021
Adaptive experience-based composition of continuously changing quality of context
M Neovius
Int. Conf. on Adaptive and Self-Adaptive Systems and Applications, 2015
52015
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
52014
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
52014
Anomaly Detection in Cloud Based Application using System Calls
M Aranitasi, M Neovius
CLOUD COMPUTING 2017, 54, 2017
42017
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
42010
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
32014
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
22018
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
22017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20