Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A framework for modelling trojans and computer virus infectionTHIMBLEBY, H ; ANDERSON, S ; CAIRNS, PComputer journal, 1998-01, Vol.41 (7), p.444-458 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Correctness of compiling Occam to transputer codeBÖRGER, E ; DURDANOVIC, IComputer journal, 1996, Vol.39 (1), p.52-92 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Impact of semantic heterogeneity on federating databasesCOLOMB, R. MComputer journal, 1997-05, Vol.40 (5), p.235-244 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Algorithmic design of the globe wide-area location serviceVAN STEEN, M ; HAUCK, F. J ; BALLINTIJN, G ; TANENBAUM, A. SComputer journal, 1998-01, Vol.41 (5), p.297-310 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Formal specification of concurrent systems : A structured approachMAZZEO, A ; MAZZOCCA, N ; RUSSO, S ; SAVY, C ; VITTORINI, VComputer journal, 1998-01, Vol.41 (3), p.145-162 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The complexity of interval routing on random graphsFLAMMINI, M ; VAN LEEUWEN, J ; MARCHETTI-SPACCAMELA, AComputer journal, 1998, Vol.41 (1), p.16-25 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Interval routingVAN LEEUWEN, J ; TAN, R. BComputer journal, 1987-08, Vol.30 (4), p.298-307 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Extending test sequence overlap by invertibilityHIERONS, R. MComputer journal, 1996-04, Vol.39 (4), p.325-330 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Optimizing average job response time via decentralized probabilistic job dispatching in heterogeneous multiple computer systemsLi, K.Computer journal, 1998-01, Vol.41 (4), p.223-230 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Interactive temporal behaviours and modelling for multimedia presentations in the WWW environmentHUANG, C.-M ; JANG, M.-YComputer journal, 1999-01, Vol.42 (2), p.112-128 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |