Search for dissertations about: "SICS."

Showing result 1 - 5 of 71 swedish dissertations containing the word SICS..

  1. 1. Task-based Information Seeking and Retrieval in the Patent Domain: Processes and Relationships

    Author : Preben Hansen; RISE; []

    Abstract : Information-intensive work tasks in professional settings usually involve dynamic and increasingly complex information handling tasks that include the gathering, assessment, assimilation, and creation of information. Understanding the factors affecting information handling processes, and their interaction, is important and forms the objective of this thesis. READ MORE

  2. 2. From LOTOS specifications to distributed implementations

    Author : Peter Sjödin; RISE; []

    Abstract : This Thesis presents a technique for automatic generation of implementations from their formal LOTOS specifications. The technique focuses on implementations executing in distributed systems where processes communicate by asynchronous message passing. Implementations are specified in an executable subset of LOTOS. READ MORE

  3. 3. Designing Affective Loop Experiences

    Author : Petra Sundström; Kristina Höök; Alex Taylor; John Zimmerman; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; Design; Interaction; Communication; Mobile; Emotion; Body; Digital material; Computer and systems science; Data- och systemvetenskap; Man-Machine-Interaction MMI ; människa-maskin-interaktion mmi ;

    Abstract : There is a lack of attention to the emotional and the physical aspects of communication in how we up to now have been approaching communication between people in the field of Human Computer Interaction (HCI). As designers of digital communication tools we need to consider altering the underlying model for communication that has been prevailing in HCI: the information transfer model. READ MORE

  4. 4. Bringing Visibility in the Clouds : using Security, Transparency and Assurance Services

    Author : Mudassar Aslam; RISE; []

    Abstract : The evolution of cloud computing allows the provisioning of IT resources over the Internet and promises many benefits for both - the service users and providers. Despite various benefits offered by cloud based services, many users hesitate in moving their IT systems to the cloud mainly due to many new security problems introduced by cloud environments. READ MORE

  5. 5. Computational Issues in Calculi of Partial Inductive Definitions

    Author : Per Kreuger; RISE; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE