Search for dissertations about: "handles"
Showing result 1 - 5 of 152 swedish dissertations containing the word handles.
-
1. Genetically Engineered Plants: Improved stress tolerance, growth and facilitated protein purification
Abstract : Heterologous genes were expressed in plants in which the overall goal was to increase the value of the final crop. Various aspects were explored and evaluated, such as improving the stress tolerance, enhancing the availability of oxygen in growing cells and producing rare proteins with increased degrees of purity. READ MORE
-
2. A User-Friendly Approach for Applying Multi-Agent Technology in Plug & Produce Systems
Abstract : This thesis presents methods for simplifying the use of multi-agent systems in Plug & Produce. The demand for customized products and low volume production is constantly increasing. The industry has for many years used dedicated manufacturing systems where it is difficult and expensive to adapt to new product designs. READ MORE
-
3. Practical, Flexible programming with Information Flow Control
Abstract : Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide adequate protection for the information it handles. READ MORE
-
4. A framework for reasoning about Erlang code
Abstract : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. READ MORE
-
5. Performance of distributed information systems
Abstract : There is an increasing use of distributed computer systems to provide services in both traditional telephony as well as in the Internet. Two main technologies are Distributed Object Computing (DOC) and Web based services. READ MORE