|
19
|
Open telecom platform
– S Torstendahl
- 1997
|
|
6
|
Concurrent functional programming for telecommunications: A case study of technology introduction
– Bjarne Däcker
- 2000
|
|
7
|
Use of Prolog for developing a new programming language
– J. L. Armstrong, S.R. Virding, M. C. Williams
- 1992
|
|
171
|
Why Do Computers Stop And What Can Be Done About It?
– Jim Gray
- 1985
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
12
|
Detecting software defects in telecom applications through lightweight static analysis: A war story
– Tobias Lindahl, Konstantinos Sagonas
- 2004
|
|
87
|
Concurrent Programming in ERLANG
– Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams
- 1993
|
|
42
|
Static Analysis versus Software Model Checking for Bug Finding
– Dawson Engler, Madanlal Musuvathi
- 2004
|
|
44
|
A Practical Subtyping System For Erlang
– Simon Marlow, Philip Wadler
- 1997
|
|
11
|
On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading
– Ann Tai, Kam Tso, Leon Alkalai, Savio Chau, William Sanders
- 2001
|
|
10
|
Long-life deep-space applications
– Leon Alkalai, Ann T Tai
- 1998
|
|
38
|
Strand: new concepts in parallel programming
– Ian Foster, Stephen Taylor
- 1990
|
|
25
|
Xml schema part 1: Structures. w3c recommendation
– H S Thompson, D Beech, M Maloney, N Mendelsohn
- 2001
|
|
4
|
A practical type system for erlang. Erlang User Conference
– J L Armstrong, T Arts
- 2002
|
|
6
|
Soap version 1.2 part 2: Adjuncts
– M Gudgin, M Hadley, J-J Moreau, H F Nielsen
- 2001
|
|
5
|
Multitasking without comprimise: a virtual machine evolution
– Grzegorz Czajkowski, Laurent Daynès
- 2001
|
|
10
|
An Approach to Safe Object Sharing
– Ciarán Bryce, Chrislain Razafimahefa
- 2000
|
|
2
|
Prototyping cordless using declarative programming
– Ingemar Ahlberg, John-Olof Bauner, Anders Danne
- 1992
|
|
2
|
Svenskt internetbolag köps för 1,4 miljarder. Ny Teknik
– Marie Alpman
- 2000
|
