Sökning: "Marcus Nilsson"
Visar resultat 1 - 5 av 13 avhandlingar innehållade orden Marcus Nilsson.
1. Communication, with and through wearable computers
Sammanfattning : This thesis presents research on wearable computers and their usage in communication. The wearable computer is looked upon as a tool for communication between people but also on how it can be used in communication with the environment. LÄS MER
2. Monomial Dynamical Systems in the Fields of p-adic Numbers and Their Finite Extensions
Sammanfattning : .... LÄS MER
3. Regular model checking
Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER
4. Mediated and Mobile Communication for Experts
Sammanfattning : This thesis focuses on systems for mediated communication that run on mobile technology. The aim has been to give an answer to the question about what require- ments there are for situation awareness for domain experts when communication is secondary and supports the primary task. LÄS MER
5. Regular Model Checking
Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER