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 |