Search for dissertations about: "Java"

Showing result 6 - 10 of 121 swedish dissertations containing the word Java.

  2. 6. Secure execution environment for Java electronic services

    Author : Almut Herzog; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Java; security; Residential Gateway; threads; resource control; Computer science; Datavetenskap;

    Abstract : Private homes are becoming increasingly connected to the Internet in fast and reliable ways. These connections pave the way for networked services, i.e. services that gain their value through their connectivity. READ MORE

  4. 7. Flow Java: Declarative Concurrency for Java

    Author : Frej Drejhammar; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. READ MORE

  5. 8. Tailoring native compilation of Java for real-time systems

    Author : Anders Nilsson; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; systems; numerical analysis; Java; embedded systems; real-time; aspect-oriented; object-oriented; Computer science; compiler construction; control; Datalogi; numerisk analys; system; kontroll;

    Abstract : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded systems software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. READ MORE

  6. 9. Compiling Java for Real-Time Systems

    Author : Anders Nilsson; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; embedded systems; Compiler construction; real-ttime Java;

    Abstract : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. READ MORE

  7. 10. Formal Development of Safe and Secure Java Card Applets

    Author : Wojciech Mostowski; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

    Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE