skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Communication Topology Analysis for Concurrent Programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Communication Topology Analysis for Concurrent Programs

Martel, Matthieu ; Gengler, Marc Visser, Willem ; Havelund, Klaus ; Penix, John

Lecture notes in computer science, 2000, p.265-286 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Towards an execution system for distributed business processes in a virtual enterprise
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards an execution system for distributed business processes in a virtual enterprise

CAMARINHA-MATOS, L. M ; PANTOJA-LIMA, C

Lecture notes in computer science, 2000, p.149-162 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

3
Abstraction of Communication Channels in Promela: A Case Study
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstraction of Communication Channels in Promela: A Case Study

Fersman, Elena ; Jonsson, Bengt Visser, Willem ; Havelund, Klaus ; Penix, John

Lecture notes in computer science, 2000, p.187-204 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Algorithms for generic tools in parallel numerical simulation
Material Type:
Artigo
Adicionar ao Meu Espaço

Algorithms for generic tools in parallel numerical simulation

LECOMBER, D ; RUDGYARD, M

Lecture notes in computer science, 2000, p.51-60 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

5
A Real-Time Intrusion Detection System Based on Learning Program Behavior
Material Type:
Artigo
Adicionar ao Meu Espaço

A Real-Time Intrusion Detection System Based on Learning Program Behavior

Ghosh, Anup K. ; Michael, Christoph ; Schatz, Michael Wu, S. Felix ; Debar, Hervé ; Mé, Ludovic

Lecture notes in computer science, 2000, p.93-109 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications
Material Type:
Artigo
Adicionar ao Meu Espaço

The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications

Costa, Fábio M. ; Duran, Hector A. ; Parlavantzas, Nikos ; Saikoski, Katia B. ; Blair, Gordon ; Coulson, Geoff Tisato, Francesco ; Stroud, Robert J. ; Cazzola, Walter

Lecture notes in computer science, 2000, p.79-98 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Adding flexibility in a cooperative workflow execution engine
Material Type:
Artigo
Adicionar ao Meu Espaço

Adding flexibility in a cooperative workflow execution engine

GRIGORI, D ; SKAF-MOLLI, H ; CHAROY, F

Lecture notes in computer science, 2000, p.227-236 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

8
Flexible Intrusion Detection Using Variable-Length Behavior Modeling in Distributed Environment: Application to CORBA Objects
Material Type:
Artigo
Adicionar ao Meu Espaço

Flexible Intrusion Detection Using Variable-Length Behavior Modeling in Distributed Environment: Application to CORBA Objects

Marrakchi, Zakia ; Mé, Ludovic ; Vivinis, Bernard ; Morin, Benjamin Wu, S. Felix ; Debar, Hervé ; Mé, Ludovic

Lecture notes in computer science, 2000, p.130-144 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Abstract Interpretation Based Semantics of Sequent Calculi
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract Interpretation Based Semantics of Sequent Calculi

Amato, Gianluca ; Levi, Giorgio Palsberg, Jens

Lecture notes in computer science, 2000, p.38-57 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Product Driven Process Improvement PROFES Experiences at Dräger
Material Type:
Artigo
Adicionar ao Meu Espaço

Product Driven Process Improvement PROFES Experiences at Dräger

van Latum, F. ; van Uijtregt, A. Oivo, Markku ; Bomarius, Frank

Lecture notes in computer science, 2000, p.232-243 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.