Sökning: "number systems"

Visar resultat 1 - 5 av 3193 avhandlingar innehållade orden number systems.

  1. 1. Strategic Planning of Knowledge Management Systems : A Problem Exploration Approach

    Författare :Jan Aidemark; Harald Kjellin; Peter Révay; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; Computer and systems science; Data- och systemvetenskap; Computer and Systems Sciences; data- och systemvetenskap; Knowledge management; Informatics; computer and systems science; Informatik; data- och systemvetenskap; Information Systems; Informatik;

    Sammanfattning : Knowledge management (KM) is focused on the problems and opportunities of using organizational knowledge as a resource. Information systems that are used to support KM processes are called knowledge management systems (KMS). LÄS MER

  2. 2. On Enterprise Systems Artifacts: Changes in Information Systems Development and Evaluation

    Författare :Jonas Hedman; Institutet för Ekonomisk forskning; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; information systems development; evaluation; artifact evaluation; artifacts; systemteori; Informatik; Informatics; systems theory; Enterprise Systems; ERP Systems;

    Sammanfattning : Enterprise Systems are one of the most important developments in corporate information systems during the last decade. These integrated information systems are characterized by a number of features which include a very broad scope and functionality, as well as being generic, master data, and business-process orientated. LÄS MER

  3. 3. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  4. 4. Implementation Methodology in Action : A Study of an Enterprise Systems Implementation Methodology

    Författare :Daniela Mihailescu; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; Enterprise Systems; implementation methodology; AcceleratedSAP; Implementation methodology; Action framework; Software engineering; Programvaruteknik; Economic Information Systems; Ekonomiska informationssystem; iplementation methodology; method in action; Informatics; Informatik;

    Sammanfattning : Enterprise Systems create new opportunities but also new challenges and difficulties for implementers and users. The clear distinction between the development and the implementation of Enterprise Systems Software seems to influence not only the characteristics of methodologies but also how implementers use the Enterprise Systems implementation methodologies. LÄS MER

  5. 5. Method rationale revealed : communication of knowledge in systems development methods

    Författare :Kai Wistrand; Åke Grönlund; Nancy Russo; Örebro universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; Systems development; Systems development methods; Method rationale; Method components; Method engineering; Informatics; computer and systems science; Informatik; data- och systemvetenskap; Informatics; Informatik; Informatik; Informatics;

    Sammanfattning : The practice of developing information systems with the support of information systems development methods is not new. A vast number of systems development methods have been suggested over the years in an attempt to solve the problems a development organisation might encounter. LÄS MER