![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Shorter Lattice-Based Zero-Knowledge Proofs for the Correctness of a Shuffle
In an electronic voting procedure, mixing networks are used to ensure anonymity of the casted votes. Each node of the network re-encrypts the input list of ciphertexts and randomly permutes it in a process na...
-
Chapter and Conference Paper
Quantifying the Usability Through a Variant of the Traditional Heuristic Evaluation Process
Usability has become in an essential aspect for the success of E-Commerce applications, especially in the current context in which there is high competitiveness because of a large number of websites that are a...
-
Chapter and Conference Paper
Application of the Semiotic Inspection Method: A Case Study in Web Domain
This paper presents the results of a case study, in which the Semiotic Inspection Method (SIM) was applied to a transactional Web application of hotel reservations. The purpose of this assessment was to determ...
-
Chapter and Conference Paper
Cloud Computing in Smart Educational Environments: Application in Learning Analytics as Service
In this paper, we present an extension of a Middleware for Smart Educational Environments based in agents, using the paradigm of Cloud Computing. In that sense, we detail the Middleware components, which enabl...
-
Chapter and Conference Paper
MiSCi: Autonomic Reflective Middleware for Smart Cities
Context analysis in intelligent environments allows making the services and information available to support the activities of individuals ubiquitously. Under this premise we define smart cities, which are int...
-
Chapter and Conference Paper
ROS Methodology to Work with Non-ROS Mobile Robots: Experimental Uses in Mobile Robotics Teaching
This paper presents a robotics platform for experimental and teaching purposes that allows control and remote access by using plain sockets (regular TCP/IP sockets) and websockets respectively. The system has ...
-
Chapter and Conference Paper
Managing the lifecycle of XACML delegation policies in federated environments
This paper presents an infrastructure that enables the use of administrative delegation in an effective way, reducing the complexity in the policy management for some specific scenarios. This infrastructure is...
-
Chapter and Conference Paper
Levels of Assurance and Reauthentication in Federated Environments
This paper presents a generic proposal for improving existing IdM systems, by enabling service providers to determine whether the SSO credentials presented by a user satisfy some minimum requirements. For exam...
-
Chapter and Conference Paper
Bootstrap** a Global SSO from Network Access Control Mechanisms
This paper presents the details of a Single Sign On proposal which takes advantage of previously deployed authentication mechanisms. The main goal is to establish a link between authentication methods at diffe...
-
Chapter and Conference Paper
Optimization of Master-Slave Flip-Flops for High-Performance Applications
The design of high-performance master-slave flip-flops is of crucial importance in modern VLSI. The optimization of existing structures is necessary when the requirements of the flip-flop is for low-power, hig...
-
Chapter and Conference Paper
An Access Control System for Multimedia Content Distribution
Multimedia content distribution has appeared as a new growth market offered by network providers, defining resource access infrastructures able to support both wired and wireless accesses. Although these infra...
-
Chapter and Conference Paper
A Service-Based Architecture for Integrating Globus 2 and Globus 3
During the past few years, Grid Computing has matured in terms of programming models and available tools. Some tools like the Globus Toolkit version 2 (GT2) are used in many international high performance dist...
-
Chapter and Conference Paper
Synthesis of Hybrid CBL/CMOS Cell Using Multiobjective Evolutionary Algorithms
In this work, the optimization of circuits design by using multiobjective evolutionary algorithm is addressed. This methodology enable to deal with circuit specifications -formulated as objective functions- th...
-
Chapter
Stability of Components of the Escherichia coli Septator
Most of the information concerning cell division in Escherichia coli derive from genetic observations. Mutations in E. coli genes causing inhibition of cell division and a filamentous phenotype have been isolated...
-
Chapter
Receiver Losses: Results of Tests
The objective is to evaluate the thermal losses from the receiver over the temperature range at which the receiver may operate. To achieve this, tests have been carried out with no concentrated power reaching ...
-
Chapter
Environmental Condition Impacts on Solar Mirror Reflectivity Degradation
The environmental conditions of the SSPS site have a serious effect on the mirror reflectivity of the solar collectors. There are close to 12000 m2 of mirror surface at this site, the reflectivity of which is aff...
-
Chapter
Control of Incident Power at the Receiver
This paper describes a computer program which has been developed to control the power sent to a receiver. The program, ‘CONTROL’, takes heliostats in and out of track in ‘real time’ to achieve this goal.
-
Chapter
Systems Aspects/Control
The favorable heat transfer characteristics of sodium makesit possible to collect concentrated solar radiation at medium high temperatures in small active areas, and therefore, with relatively low losses. Howe...
-
Chapter
Receiver Behavior Comparison
Sodium has very attractive heat transfer characteristics, thus it is an obvious candidate cooling fluid for a high temperature, high performance, central receiver system. The SSPS project has operated with two...