Sökning: "handles"
Visar resultat 1 - 5 av 164 avhandlingar innehållade ordet handles.
1. Genetically Engineered Plants: Improved stress tolerance, growth and facilitated protein purification
Sammanfattning : 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. LÄS MER
2. A User-Friendly Approach for Applying Multi-Agent Technology in Plug & Produce Systems
Sammanfattning : 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. LÄS MER
3. Practical, Flexible programming with Information Flow Control
Sammanfattning : 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. LÄS MER
4. A framework for reasoning about Erlang code
Sammanfattning : 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. LÄS MER
5. Performance of distributed information systems
Sammanfattning : 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. LÄS MER