![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...