Mats Neovius
Mats Neovius
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα abo.fi - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Anomaly detection for soft security in cloud based auditing of accounting systems
M Neovius, B Duncan
Proceedings of the 7th International Conference on Cloud Computing and …, 2017
92017
A design framework for wireless sensor networks
M Neovius, L Yan
Ad-Hoc Networking, 119-127, 2006
72006
Formal modular modelling of context-awareness
M Neovius, K Sere
International Symposium on Formal Methods for Components and Objects, 102-118, 2008
62008
Trustworthy context dependency in ubiquitous systems
M Neovius
Turku Centre for Computer Science (TUCS), 2012
52012
Formal transformation of platform independent models into platform specific models
P Boström, M Neovius, I Oliver, M Waldén
International Conference of B Users, 186-200, 2007
52007
Providing tamper-resistant audit trails for cloud forensics with distributed ledger based solutions
M Neovius, J Karlsson, M Westerlund, G Pulkkis
CLOUD COMPUTING 2018, 29, 2018
42018
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 Volume 11, Number 3 & 4, 2018, 2018
42018
Anomaly Detection in Cloud Based Application using System Calls
M Aranitasi, M Neovius
CLOUD COMPUTING 2017, 54, 2017
42017
Adaptive experience-based composition of continuously changing quality of context
M Neovius
The Seventh International Conference on Adaptive and Self-Adaptive Systems …, 2015
42015
On proving recoverability of smart electrical grids
S Horsmanheimo, M Kamali, M Kolehmainen, M Neovius, L Petre, ...
NASA Formal Methods Symposium, 77-91, 2014
42014
Trustworthiness Modelling on Continuous Environmental Measurement
M Neovius, M Stocker, M Rönkkö, L Petre
42014
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
ClusterExplorer: Enable User Control over Related Recommendations via Collaborative Filtering and Clustering
D Kotkov, Q Zhao, K Launis, M Neovius
Fourteenth ACM Conference on Recommender Systems, 432-437, 2020
22020
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
A Theory of Service Dependency
M Neovius, L Petre, K Sere
arXiv preprint arXiv:1606.02024, 2016
22016
Mastering the Relevance of Subjective Information in Ubiquitous Computing
M Neovius, K ,Sere
JCIS: Journal of Communications and Information Sciences; open access http …, 2013
22013
Programming by Construction
M Ronkko, M Stocker, M Neovius, M Kolehmainen, L Petre
2
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20