Volgen
Jiefei Ma
Jiefei Ma
Research Associate in Computing, Imperial College London
Geverifieerd e-mailadres voor imperial.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Towards making network function virtualization a cloud computing service
W Rankothge, J Ma, F Le, A Russo, J Lobo
2015 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2015
1072015
Expressive policy analysis with enhanced system dynamicity
R Craven, J Lobo, J Ma, A Russo, E Lupu, A Bandara
Proceedings of the 4th International Symposium on Information, Computer, and …, 2009
1062009
Rumpole: a flexible break-glass access control model
S Marinovic, R Craven, J Ma, N Dulay
Proceedings of the 16th ACM symposium on Access control models and …, 2011
772011
Detecting distributed signature-based intrusion: The case of multi-path routing attacks
J Ma, F Le, A Russo, J Lobo
2015 IEEE Conference on Computer Communications (INFOCOM), 558-566, 2015
392015
An epistemic event calculus for ASP-based reasoning about knowledge of the past, present and future
J Ma, R Miller, L Morgenstern, T Patkos
EPiC Series in Computing 26, 75-87, 2014
302014
DARE: a system for distributed abductive reasoning
J Ma, A Russo, K Broda, K Clark
Autonomous Agents and Multi-Agent Systems 16, 271-297, 2008
292008
Learning to recognise disruptive smartphone notifications
J Smith, A Lavygina, J Ma, A Russo, N Dulay
Proceedings of the 16th international conference on Human-computer …, 2014
262014
Pandora: A reasoning toolbox using natural deduction style
K Broda, J Ma, G Sinnadurai, A Summers
Logic Journal of the IGPL 15 (4), 293-304, 2007
252007
A declarative approach to distributed computing: Specification, execution and analysis
J Ma, F Le, D Wood, A Russo, J Lobo
Theory and Practice of Logic Programming 13 (4-5), 815-830, 2013
122013
A formal framework for policy analysis
R Craven, J Lobo, E Lupu, J Ma, A Russo, M Sloman, A Bandara
Imperial College London, Tech. Rep, 2008
122008
Speculative abductive reasoning for hierarchical agent systems
J Ma, K Broda, R Goebel, H Hosobe, A Russo, K Satoh
Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010
112010
An overview of a load balancer architecture for vnf chains horizontal scaling
J Ma, W Rankothge, C Makaya, M Morales, F Le, J Lobo
2018 14th International Conference on Network and Service Management (CNSM …, 2018
102018
A comprehensive study on load balancers for vnf chains horizontal scaling
J Ma, W Rankothge, C Makaya, M Morales, F Le, J Lobo
arXiv preprint arXiv:1810.03238, 2018
102018
Declarative distributed computing
J Lobo, J Ma, A Russo, F Le
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012
102012
Distributed abductive reasoning with constraints
J Ma, K Broda, A Russo, E Lupu
Declarative Agent Languages and Technologies VIII: 8th International …, 2011
102011
An expressive policy analysis framework with enhanced system dynamicity
R Craven, E Lupu, J Lobo, A Bandara, S Calo, J Ma, A Russo, M Sloman
Technical Report, Department of Computing, Imperial College London, 2008
92008
Refinement of history-based policies
J Lobo, J Ma, A Russo, E Lupu, S Calo, M Sloman
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning …, 2011
72011
Speculative constraint processing for hierarchical agents
H Hosobe, K Satoh, J Ma, A Russo, K Broda
Ai Communications 23 (4), 373-388, 2010
72010
Multi-agent confidential abductive reasoning
J Ma, A Russo, K Broda, E Lupu
Technical Communications of the 27th International Conference on Logic …, 2011
62011
Declarative framework for specification, simulation and analysis of distributed applications
J Ma, F Le, A Russo, J Lobo
IEEE Transactions on Knowledge and Data Engineering 28 (6), 1489-1502, 2016
52016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20