NIK 1995

20. - 22. november 1995

Program

Ahmed Guessoum & Jan Komorowski (IDT, NTH): Induction, deduction and abduction for program design and maintenance
Agata Wrzos-Kaminska (IDT,NTH): Partial evaluation of constraint logic programs
Jo Asplin & Dag Johansen (IMR UiTø): Performance experiments with the StormView distributed parallel volume renderer
Petter Bjørnstad (Informatikk/Parallab UiB): Industrial computing on MIMD machines
Lei Wand & Dalip Dewan & Jens Thomassen (Informatikk UiO): Measurement for inexpensive performance evaluation of Ethernet LANs
Magne Jørgensen & Sigrid Steinholt Bygdås & Thorstein Lunde (Telenor Forskning): Empirical evaluation of CASE tools
Bjørnar Tessem (Info.vitenskap UiB): Analogy for software modeling: The base filtering problem
Inge Jonassen (Informatikk UiB): Discovering patterns conserved in sets of related protein sequences
Frank Eliassen & John R Nicol (IMR UiTø, GTE Lab USA): Supporting openness in distributed multimedia systems
Weihai Yu (IMR, UiTø): Making transaction models interoperable
Arne Maus & Torfinn Aas (Informatikk UiO, Norges Bank): PRP ? parallel recursive procedures
Kai A Olsen & Per Sætre & Anders Thorstenson (HiMolde): A generic bill of materials based on a programming language notation
Geir Kirkebøen (HF UiO): Når bør vi bruke datamaskiner og når bør vi bruke hodet?
Herman Ruge Jervell (UiO): Informatikk som fag ? vitenskapsteoretisk belyst
Jens Kaasbøll & Renate Motschnig-Pitvik (Informatikk UiO, Univ of Vienna): Lifetime dependenciy: an abstraction relation for object-oriented modeling of aspects in the problem domain
Wictor Nicolaysen & Hege Fredhall & Terje Larsen (Sysdeco Innovation): From data model to dialog model
Joan Nordbotten & M E Crosby (Info.vitenskap UiB, Univ of Hawaii USA): Data model legibility ? a comparison of 3 graphic styles
Haakon Bryhni & Stein Gjessing & Antonio Schinco (Informatikk UiO, Olivetti): Preliminary simulations of a SCI based clustered database machine
Ole Jørgen Anfindsen (Telenor Forskning): Dynamically cooperating database transactions
Terje Fallmyr & Gunnar Hartvigsen & Tage Stabell-Kulø (IMR UiTø): Supporting mobile users in a variable connected distributed system: the PASTA approach
Kjetil Karlsen & Dalip Dewan (Informatikk UiO): Genetiske algoritmer i predikering av konsum
Pinar Heggernes & Jan Arne Telle (Informatikk UiB): The complexity of partitions into generalized dominating sets
Tore Amble (IDT NTH): Automatic solving of problems into generalized dominating sets
Håkon Zahl (Dansk Data-Elektronik DK): Parallel Knuth-Bendix completion
Peter Ölveczky & Olav Lysne (Informatikk UiB, Informatikk UiO): Order-stored termination: the unsorted way

Om konferansen

Arrangør

Universitetet i Oslo by Institutt for informatikk

Område

Sanner turisthotell på Gran på Hadeland

Programkomité

Magne Haveraaen Univ i Bergen (leder)
Berit Irgens Høgskolen i Nordland, Bodø
Arild Jansen Høgskolen i Finnmark, Alta
Stein Krogdahl Univ i Oslo
Arne Maus Univ i Oslo
Sigurd Meldal Univ i Bergen
Weihai Yu Univ i Tromsø
Finn Aagensen Univ i Trondheim, NTH