Reflective Transaction Processing – Motivations and Issues Weihai Yu Department of Computer Science University of Tromsø [removed]

Source URL: www.nik.no

• Information
• Concurrency control
• Distributed transaction
• Database transaction
• Serializability
• Two-phase commit protocol
• Isolation
• Schedule
• Business transaction management
• Transaction processing
• Data management
• Data

Performance Experiments with the StormView Distributed Parallel Volume Renderer Jo Asplin and Dag Johansen Department of Computer Science University of Troms, Norway

Source URL: www.nik.no

• Optics
• Volume rendering
• Rendering
• Ray casting
• Parallel computing
• X-ray computed tomography
• Pixel
• Algorithm
• 3D computer graphics
• Computer graphics
• Imaging

Prosjektbasert læring i utdanning av dataingeniører Arne Gjengedal Høgskolen i Tromsø, Avdeling for Ingeniør og økonomifag Sammendrag Prosjektbasert læring ble innført i ingeniørutdanningen ved Høgskolen i Trom

Source URL: www.nik.no

Multi-party Secure Position Determination Tord Ingolf Reistad [removed] September 22, 2006 Abstract We consider the problem of calculating the geographical position of nodes in a wireless network, where the priv

Source URL: www.nik.no

Validation of Contract Decomposition by Testing Mass Soldal Lund Department of Informatics, University of Oslo, Norway SINTEF Telecom and Informatics, Norway email: [removed] Abstract

Source URL: www.nik.no

• UML diagrams
• Science
• Technology
• Specification and Description Language
• Functional testing
• Unified Modeling Language
• Specification language
• Finite-state machine
• Modeling language
• Software testing
• Diagrams
• Software engineering

Formal Verification of a Cooperative Automatic Repeat Request MAC Protocol Xin He, Ram Kumar, Liping Mu and Terje Gjøsæter {xin.he, ram.kumar, liping.mu, terje.gjosater}@uia.no Abstract

Source URL: www.nik.no

• Data transmission
• OSI protocols
• Network protocols
• Logical Link Control
• Cooperative diversity
• Radio resource management
• Transmission Control Protocol
• Data link layer
• Communications protocol
• Data
• Information
• Computing

Dette er NIK Word template (Heading 1)

Source URL: www.nik.no

Mobile Middleware and Transaction Services Arne Ketil Eidsvik Department of Computer Science University of Tromsø Randi Karlsen

Source URL: www.nik.no

• Data
• Java enterprise platform
• Spring Framework
• Business transaction management
• Database transaction
• Middleware
• Mobile Transaction Models
• Distributed transaction
• Enterprise JavaBeans
• Transaction processing
• Computing
• Data management

Game Design for Computer Science Education Simon McCallum Gjøvik University College Abstract Computer science students come from the gamer generation. A

Source URL: www.nik.no

• Instructional design
• Formative assessment
• Test
• Adaptive learning
• Confidence-based learning
• Education
• Educational psychology
• E-learning

Dette er NIK Word template (Heading 1)

Source URL: www.nik.no

• Information
• Relevance
• Precision and recall
• IR evaluation
• Document retrieval
• Document management system
• Relevance feedback
• Text Retrieval Conference
• Information science
• Information retrieval
• Science