Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Secure Mobile Agent Using Strong Non-designated Proxy SignatureGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, JanInformation Security and Privacy, 2001, Vol.2119, p.474-486 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Gamma and the Chemical Reaction Model: Fifteen Years AfterCalude, Christian S ; Paun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, ArtoMultiset Processing, 2001, Vol.2235, p.17-44 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Modal Transition Systems: A Foundation for Three-Valued Program AnalysisSands, DavidLecture notes in computer science, 2001, Vol.2028, p.155-169 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
The Advantages of Landscape Neutrality in Digital Circuit EvolutionMiller, Julian F ; Thompson, Adrian ; Thomson, Peter ; Fogarty, Terence CEvolvable Systems: From Biology to Hardware, 2000, Vol.1801, p.252-263 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Service Oriented Programming: A New Paradigm of Software ReuseGacek, CristinaLecture notes in computer science, 2002, Vol.2319, p.269-280 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
A Systematic Approach to Static Access ControlSands, DavidLecture notes in computer science, 2001, Vol.2028, p.30-45 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
RAMSES: A Mobile Computing System for Field ArchaeologyAncona, Massimo ; Dodero, Gabriella ; Gianuzzi, Vittoria Gellersen, Hans-WernerHandheld and Ubiquitous Computing, 1999, Vol.1707, p.222-233 [Periódico revisado por pares]Germany: Springer-VerlagTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Enabling Context-Awareness from Network-Level Location TrackingCouderc, P. ; Kermarrec, Anne-Marie Gellersen, Hans-WernerHandheld and Ubiquitous Computing, 1999, Vol.1707, p.67-73 [Periódico revisado por pares]Germany: Springer-VerlagTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Software Architecture Quality Analysis MethodsGacek, CristinaLecture notes in computer science, 2002, Vol.2319, p.337-338 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
The Design and Implementation of the Ubidata Information Dissemination FrameworkAfonso, Ana Paula ; Silva, Mário J. ; Campos, João P. ; Regateiro, Francisco S. Gellersen, Hans-WernerHandheld and Ubiquitous Computing, 1999, Vol.1707, p.371-373 [Periódico revisado por pares]Germany: Springer-VerlagTexto completo disponível |