miun.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1 - 3 av 3
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Davies, Guy
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
    A User by any Other Name - Looking for shared interpretation of HCI´s most basic agent: Workshop Theoretical perspectives in Human-Computer Interaction , 3rd Septermber 2002, IPLab-KTH2001Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    When regarding the concept of the "user" in the context of HCI there appears to be consensus on what a user is. Is this consensus real agreement or is it just apparent? This paper examines the concept of user from four theoretical or abstract perspectives that are used in the field of HCI, in relation to a benchmark definition. This definition derives from analysis of a basic dictionary definition. This manner of comparison was chosen in order to reveal digressions omissions or extensions made by theorists to a basic universally accepted concept of "user". The result shows that the concept of a �user�, pervasive as it is, recieves selective interpretation within the perspectives that employ it. Consensus emerges as real at a basic level and apparent at refined levels. From the analytical results some consequences for designers are also discusse

  • 2.
    Davies, Guy
    et al.
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
    Ekenberg, Love
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
    Agent Metaphores for Analysing Telematic Services1998Ingår i: Intelligent Agents for Telecommunication Applications, 1998, s. 156-Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    Using a formalisation based on logic and set theory, we present the use of transformations between process related languages and dynamic entity-relationship models. This work formalises and incorporates our earlier research in schema integration and the integration of multi-agent architecture designs to handle problematic cases of global inconsistency in distributed information systems. Telia Research AB (previously Swedish Telecom) commissioned the original work, the implementation of which was used to detect interferences to Telia�s public telematic services. The verification methods in first order logic (FOL) presented here are generally applicable to the analysis of conflicts in process based systems.

  • 3.
    Davies, Guy
    et al.
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
    Ekenberg, Love
    Johannesson, Paul
    Detecting Temporal conflicts in Integrated Agent Specifications2000Ingår i: Computational conflicts: conflict modeling for distributed intelligent systems, Berlin: Springer, 2000Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    We present a model for the analysis of temporal conflicts in sets of autonomous agents restricted in the sense that they can be described in a first-order language. The dynamic aspects of agents are modelled by means of the event concept. Various kinds of conflicts can occur in a system of agents. Agents may be in conflict with themselves or with each other, all depending on time. Conflicts between agents may be due to direct incompatibility inherent in their specifications, but it may also arise from the dynamic interactions protocols that govern multi-agent behaviour. The general theory for detecting conflict suggested here includes semantics for individual conflicts with respect to a first order action logic (FAL). Also introduced is the enrichment of agent systems with correspondence assertions. These express relationships between static or dynamic properties described in the formal specifications of agents. Correspondence assertions correspond to protocols for the system and can be analysed in relation to time. Representing agents as first order schemata, we construct a framework for determining when two schemata can be meaningfully integrated. We formalise this concept using the notion of non-conflict

1 - 3 av 3
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf