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 SignatureLee, Byoungcheon ; Kim, Heesun ; Kim, KwangjoInformation 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 AfterBanătre, Jean-Pierre ; Fradet, Pascal ; Le Métayer, DanielMultiset 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 AnalysisHuth, Michael ; Jagadeesan, Radha ; Schmidt, 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 EvolutionVassilev, Vesselin K. ; Miller, Julian F.Evolvable 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 ReuseSillitti, Alberto ; Vernazza, Tullio ; Succi, GiancarloLecture 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 ControlPottier, François ; Skalka, Christian ; Smith, ScottLecture 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 MethodsDobrica, Liliana ; Niemelä, EilaLecture 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 |