 |
LNCS 3189 - An Authorization Architecture Oriented to Engineering and Scientific Computation in Grid Environments by Changqin Huang, Guanghua Song, Yao Zheng & Deren Chen145 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3189 - Continuous Adaptive Object-Code Re-optimization Framework by Howard Chen, Jiwei Lu, Wei-Chung Hsu & Pen-Chung Yew202.8 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3189 - Efficient Victim Mechanism on Sector Cache Organization by Chunrong Lai & Shih-Lien Lu281.4 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3189 - High Performance Microprocessor Design Methods Exploiting Information Locality and Data Redundancy for Lower Area Cost and Power Consumption by Byung-Soo Choi, Jeong-A Lee & Dong-Soo Har226.3 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3189 - Modeling the Cache Behavior of Codes with Arbitrary Data-Dependent Conditional Structures by Diego Andrade, Basilio B. Fraguela & Ramón Doallo172 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3189 - Make Computers Cheaper and Simpler by GuoJie Li28.8 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3189 - Scalable Design Framework for JPEG2000 System Architecture by Hiroshi Tsutsui, Takahiko Masuzaki, Yoshiteru Hayashi, Yoshitaka Taki, Tomonori Izumi, Takao Onoye & Yukihiro Nakamura405.7 KB - 16 Oct, 2020 Tags=[Advances in Computer Systems Architecture]
|
 |
LNCS 3190 - Implementing Collaborative Engineering Environments Through Reference Model-Based Assessment by Carlos Vila, Fernando Romero & Manuel Contero239.5 KB - 16 Oct, 2020 Tags=[and Engineering, Cooperative Design, Visualization]
|
 |
LNCS 3190 - Using Simulation, Collaboration, and 3D Visualization for Design Learning: A Case Study in Domotics by A.I. Molina, M.A. Redondo, C. Bravo & M. Ortega334.6 KB - 16 Oct, 2020 Tags=[and Engineering, Cooperative Design, Visualization]
|
 |
LNCS 3193 - A Public-Key Encryption Scheme with Pseudo-random Ciphertexts by Bodo Möller240.8 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Comparison Between Two Practical Mix Designs by Claudia Díaz, Len Sassaman & Evelyne Dewitte4.6 MB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Deriving, Attacking and Defending the GDOI Protocol by Catherine Meadows & Dusko Pavlovic250.5 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Hindering Eavesdropping via IPv6 Opportunistic Encryption by Claude Castelluccia, Gabriel Montenegro, Julien Laganier & Christoph Neumann235.7 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Possibilistic Information Flow Control in the Presence of Encrypted Communication by Dieter Hutter & Axel Schairer259.5 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Redundancy and Diversity in Security by Bev Littlewood & Lorenzo Strigini174.2 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Signature Bouquets: Immutability for Aggregated/Condensed Signatures by Einar Mykletun, Maithili Narasimha & Gene Tsudik228.6 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3193 - Towards a Theory of Data Entanglement by James Aspnes, Joan Feigenbaum, Aleksandr Yampolskiy & Sheng Zhong241.7 KB - 16 Oct, 2020 Tags=[Computer Security -- ESORICS 2004]
|
 |
LNCS 3210 - A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation by Alessandro Avellone, Camillo Fiorentini, Guido Fiorino & Ugo Moscato264.5 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Automated Generation of Analytic Calculi for Logics with Linearity by Agata Ciabattoni238.9 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Bindings, Mobility of Bindings, and the ?-Quantifier: An Abstract by Dale Miller64.1 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Fixed Points of Type Constructors and Primitive Recursion by Andreas Abel & Ralph Matthes286.7 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Goal-Directed Methods for Lukasiewicz Logic by George Metcalfe, Nicola Olivetti & Dov Gabbay229.3 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Parameterized Model Checking of Ring-Based Message Passing Systems by E. Allen Emerson & Vineet Kahlon250.4 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Integrating Equational Reasoning into Instantiation-Based Theorem Proving by Harald Ganzinger & Konstantin Korovin219.4 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Notions of Average-Case Complexity for Random 3-SAT by Albert Atserias120.6 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|