Simplified user poll and experience report language (SUPER): implementation and application

Biological computing is generally organized as standalone implementation on a PC-type computer or on a central facility (e.g. a university computer center). Services provided by central facilities need to be tailored to the user community. Unless very work-intensive individual contacts are used, the feedback must be collected with generalized tools, such as questionnaires distributed in the form of a newslettter. We have developed a method to have such polls automated and tailored, as well as having multiple-choice questions combined with branching after fundamental questions. As the evaluation of the results needs to know the questions asked, we have also included a method to process the answers and give detailed tables on the answers. SUPER was applied in a poll to query the academic usership in Switzerland on the usage of molecular biology database

Simplified user poll and experience report language (SUPER): implementation and application

Biological computing is generally organized as standalone implementation on a PC-type computer or on a central facility (e.g. a university computer center). Services provided by central facilities need to be tailored to the user community. Unless very work-intensive individual contacts are used, the feedback must be collected with generalized tools, such as questionnaires distributed in the form of a newslettter. We have developed a method to have such polls automated and tailored, as well as having multiple-choice questions combined with branching after fundamental questions. As the evaluation of the results needs to know the questions asked, we have also included a method to process the answers and give detailed tables on the answers. SUPER was applied in a poll to query the academic usership in Switzerland on the usage of molecular biology database

A gentle transition from Java programming to Web Services using XML-RPC

Exposing students to leading edge vocational areas of relevance such as Web Services can be difficult. We show a lightweight approach by embedding a key component of Web Services within a Level 3 BSc module in Distributed Computing. We present a ready to use collection of lecture slides and student activities based on XML-RPC. In addition we show that this material addresses the central topics in the context of web services as identified by Draganova (2003)

Formal Verification of Security Protocol Implementations: A Survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approac

Millions to the Polls: Practical Policies to Fulfill the Freedom to Vote for All Americans

Voting is the bedrock of America's democracy. In a government of, by, and for the people, casting a ballot is the fundamental means through which we all have a say in the political decisions that affect our lives. Yet now, without substantial interventions, the freedom to vote is at great risk.This report contains a comprehensive and bold agenda of 16 policy proposals and common sense reforms. It details policies to help us realize the full promise of a democracy

MDCC: Multi-Data Center Consistency

Replicating data across multiple data centers not only allows moving the data closer to the user and, thus, reduces latency for applications, but also increases the availability in the event of a data center failure. Therefore, it is not surprising that companies like Google, Yahoo, and Netflix already replicate user data across geographically different regions. However, replication across data centers is expensive. Inter-data center network delays are in the hundreds of milliseconds and vary significantly. Synchronous wide-area replication is therefore considered to be unfeasible with strong consistency and current solutions either settle for asynchronous replication which implies the risk of losing data in the event of failures, restrict consistency to small partitions, or give up consistency entirely. With MDCC (Multi-Data Center Consistency), we describe the first optimistic commit protocol, that does not require a master or partitioning, and is strongly consistent at a cost similar to eventually consistent protocols. MDCC can commit transactions in a single round-trip across data centers in the normal operational case. We further propose a new programming model which empowers the application developer to handle longer and unpredictable latencies caused by inter-data center communication. Our evaluation using the TPC-W benchmark with MDCC deployed across 5 geographically diverse data centers shows that MDCC is able to achieve throughput and latency similar to eventually consistent quorum protocols and that MDCC is able to sustain a data center outage without a significant impact on response times while guaranteeing strong consistency