Zobrazeno 1 - 10
of 285
pro vyhledávání: '"NIELSON, FLEMMING"'
Publikováno v:
Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 27 - 31
Enforcing security policies to distributed systems is difficult, in particular, when a system contains untrusted components. We designed AspectKE*, a distributed AOP language based on a tuple space, to tackle this issue. In AspectKE*, aspects can enf
Externí odkaz:
http://opus.kobv.de/ubp/volltexte/2010/4136/
Autor:
Nielson, Flemming, Nielson, Hanne Riis
This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather than using flow charts as the model of programs, the book follows our int
Externí odkaz:
http://arxiv.org/abs/2012.10086
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreography) one can generate distributed implementations. The advantages o
Externí odkaz:
http://arxiv.org/abs/1611.05651
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 1 (March 17, 2017) lmcs:3205
We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordination language Klaim but re-incarnates the tuple spaces of Klaim as d
Externí odkaz:
http://arxiv.org/abs/1610.02364
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2178
In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially when distributed components are involved, it is hard to predict and confront all possible att
Externí odkaz:
http://arxiv.org/abs/1607.07720
Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the discrete c
Externí odkaz:
http://arxiv.org/abs/1403.6367
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and available expressions). Weighted pushdown systems is similarly one of
Externí odkaz:
http://arxiv.org/abs/1307.4585
In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis for a new approach to balance security and performance, and therefore
Externí odkaz:
http://arxiv.org/abs/1302.1111
Publikováno v:
In Journal of Computer Languages October 2019 54
Autor:
Nielsen, Bo Friis, Nielson, Flemming, Pilegaard, Henrik, Smith, Michael James Andrew, Yüksel, Ender, Zeng, Kebin, Zhang, Lijun
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for five years by the VILLUM Foundation. You can read more about MT-LAB at
Externí odkaz:
http://arxiv.org/abs/1209.6578