| Audun Jøsang & Hein Meling (ITEM, NTNU) & Manyi Lu (Sintef): |
The development of public key infrastructures; are we on the right path? |
| Lars R Knudsen (II, UiB): |
Advanced Encryption Standard (AES) ? an update |
| Per Harald Myrvang & Tage Stabell-Kulø (Ifi, UiTø): |
The PASTA doorkeeper |
| Stein Krogdahl & Olav Lysne (Ifi, UiO): |
On the relation between parallel and interleaved executions |
| Tore Amble (IDI, NTNU): |
BusTUC ? a natural language route adviser in Prolog |
| Sigrid Lise Nonås (Ifi, UiB) & Kai Olsen (HiMolde): |
A scheduling problem for an engineer-to-order manufacturer |
| Frank Eliassen (Ifi, UiO) & Hans O Rafaelsen (Ifi, UiTø): |
A conformance relationship supporting selection of explicit stream bindings |
| Per-Oddvar Osland (ITEM,NTNU), Sneha K Kasera, Jim Kurose & Don Tosley (Univ of Massachusetts): |
Dynamic activation and deactivation of repair servers in a multicast tree |
| Jon Olav Hauglid, Jon Heggland & Roger Midtstraum (IDI, NTNU): |
Video database on WWW |
| Aleksander Øhrn & Jan Komorowski (IDI, NTNU): |
Diagnosing acute appendicitis with very simple classification rules |
| Arild Waaler (HiFinnmark): |
Proof-search in intuitionistic logic |
| Trond Hellem Bø, Ingvar Eidhammer & Carsten Helgesen (Ifi, UiB): |
A divide and conquer approach to the radiation hybrid mapping problem |
| Pauline Haddow & Gunnar Tufte (IDI, NTNU): |
Evolving a robot controller in hardware |
| Pavel Petrovic (IDI, NTNU): |
Overview of incremental approaches to evolutionary robotics |
| Tage Stabell-Kulø & Feico Dillema (Ifi, UiTø) & Terje Fallmyr (Ifi, UiTø & HiBodø): |
Open-ended design for private computing |
| Kjetil Nørvåg (IDI, NTNU): |
The vagabond parallel temporal object-oriented database system: versatile support for future applications |
| Olaf Owe & Isabelle Ryl (Ifi, UiO): |
On combining object orientation, openness, and reliability |
| Finn Arve Aagesen, Bjarne Helvik & Hein Meling (ITEM, NTNU) & Ulrik Johansen (Sintef): |
Plug and play for telecommunications ? architecture and demonstration issues |
| Sobah A Petersen, Monica Divitini & Mihhail Matskin (IDI, NTNU): |
Virtual enterprises: an agent-based modeling approach |
| Otto Wittner, Carsten J E Hölper & Bjarne E Helvik (ITEM, NTNU): |
Failure semantics of mobile agent systems involved in network fault management |
| Alf Inge Wang & Reidar Conradi (IDI, NTNU) & Chunnian Liu (IDI, NTNU & Beijing Polytech Univ): |
A multi-agent architecture for cooperative software engineering |
| Brian Vinter, Tore Larsen & Otto J Anshus (Ifi, UiTø): |
Improving cluster performance using a sequentially ordered structured distributed shared memory system |
| Brynjar Åge Viken (ITEM, NTNU): |
Passive measurements of Internet traffic from Scinet’98 |
| John I Dalseng (HiFinnmark): |
Formal specification of a simulation package using UNITY |
| Torgeir Dingsøyr, Alf Inge Wang & Letizia Jaccheri (IDI, NTNU): |
Teaching software process improvement through a case study |
| Bjørn Skjellaug (Sintef & Ifi, UiO): |
A formal comparison of ADT-based dimensional query languages |
| Amela Karahasanovic & Dag I K Sjøberg (Ifi, UiO): |
Supporting database schema evolution by impact analysis |
| John Krogstie (Andersen Consult & IDI, NTNU): |
Pulling together the understanding of quality in requirements specifications and conceptual modeling |
| Hans Aafløy (Telelogic): |
Tools and methods for system- and protocol testing with TTCN |
| Wenhui Zhang (Inst Energy Tech): |
Principles of applying model checking to verification of operator procedures |
| Gunnar Hartvigsen (Ifi, UiTø) & Atle Måseide (Inst filosophy, UiTø): |
Give me your URL and I will tell you who you are |
| Stein Gjessing, Arne Mause, Lars Paul Huse & Torstein Strøm (Ifi, UiO): |
Running the SAR-application on a cluster of PCs connected with SCI, using a HIC-based SCI-switch |
| Monica Divitini (IDI, NTNU): |
Supporting coordination: A multi-agent approach |
