Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Communication Topology Analysis for Concurrent ProgramsMartel, Matthieu ; Gengler, Marc Visser, Willem ; Havelund, Klaus ; Penix, JohnLecture notes in computer science, 2000, p.265-286 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Towards an execution system for distributed business processes in a virtual enterpriseCAMARINHA-MATOS, L. M ; PANTOJA-LIMA, CLecture notes in computer science, 2000, p.149-162 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Abstraction of Communication Channels in Promela: A Case StudyFersman, Elena ; Jonsson, Bengt Visser, Willem ; Havelund, Klaus ; Penix, JohnLecture notes in computer science, 2000, p.187-204 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Algorithms for generic tools in parallel numerical simulationLECOMBER, D ; RUDGYARD, MLecture notes in computer science, 2000, p.51-60 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Real-Time Intrusion Detection System Based on Learning Program BehaviorGhosh, Anup K. ; Michael, Christoph ; Schatz, Michael Wu, S. Felix ; Debar, Hervé ; Mé, LudovicLecture notes in computer science, 2000, p.93-109 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The Role of Reflective Middleware in Supporting the Engineering of Dynamic ApplicationsCosta, Fábio M. ; Duran, Hector A. ; Parlavantzas, Nikos ; Saikoski, Katia B. ; Blair, Gordon ; Coulson, Geoff Tisato, Francesco ; Stroud, Robert J. ; Cazzola, WalterLecture notes in computer science, 2000, p.79-98 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Adding flexibility in a cooperative workflow execution engineGRIGORI, D ; SKAF-MOLLI, H ; CHAROY, FLecture notes in computer science, 2000, p.227-236 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Flexible Intrusion Detection Using Variable-Length Behavior Modeling in Distributed Environment: Application to CORBA ObjectsMarrakchi, Zakia ; Mé, Ludovic ; Vivinis, Bernard ; Morin, Benjamin Wu, S. Felix ; Debar, Hervé ; Mé, LudovicLecture notes in computer science, 2000, p.130-144 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Abstract Interpretation Based Semantics of Sequent CalculiAmato, Gianluca ; Levi, Giorgio Palsberg, JensLecture notes in computer science, 2000, p.38-57 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Product Driven Process Improvement PROFES Experiences at Drägervan Latum, F. ; van Uijtregt, A. Oivo, Markku ; Bomarius, FrankLecture notes in computer science, 2000, p.232-243 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |