Sökning: "Data entity"

Visar resultat 16 - 20 av 126 avhandlingar innehållade orden Data entity.

  1. 16. Analysing normative contracts : On the semantic gap between natural and formal languages

    Författare :John J. Camilleri; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

    Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

  2. 17. Models and Algorithms for Automatic Detection of Language Evolution

    Författare :Nina Tahmasebi; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Language Evolution; Named Entity Evolution; Word Sense Evolution;

    Sammanfattning : .... LÄS MER

  3. 18. A predictive model for attaining quality in recordkeeping

    Författare :Erik Borglund; Viveca Asproth; Sara Eriksén; Mittuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Authenticity; Electronic record; Information systems; Recordkeeping; Reliability; Quality; Informatics; computer and systems science; Informatik; data- och systemvetenskap;

    Sammanfattning : Records are a subset of information and recordkeeping requirements demand that a record is managed with maintained authenticity and reliability, i.e. with high quality. Records are evidence of transactions and are used and managed in daily work processes. LÄS MER

  4. 19. Understanding Certificate Revocation

    Författare :Åsa Hagström; Robert Forchheimer; Ingemar Ingemarsson; Håkan Kvarnström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Revocation; Public-key certificates; Graph transformation; Information science; Informationslära;

    Sammanfattning : Correct certificate revocation practices are essential to each public-key infrastructure. While there exist a number of protocols to achieve revocation in PKI systems, there has been very little work on the theory behind it: Which different types of revocation can be identified? What is the intended effect of a specific revocation type to the knowledge base of each entity?As a first step towards a methodology for the development of reliable models, we present a graph-based formalism for specification and reasoning about the distribution and revocation of public keys and certificates. LÄS MER

  5. 20. Informationsteknologi i organisationer : bestämningsfaktorer och mönster

    Författare :Peter Andersson; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Information Technology; Determinants; Organization Structure; Dominant Actors; Decentralization; Strategy.;

    Sammanfattning : Researchers in this field have placed different emphasis on the structural constraints visa- vis the freedom of the actors. An awareness that IT is a social construction does not necessarily mean that some individual actor or actor entity can perform freely. An inflexible, tightly structured social situation can considerably limit the action space. LÄS MER