• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 11
Next 10 →

Attacking and fixing helios: An analysis of ballot secrecy

by Véronique Cortier, Ben Smyth , 2010
"... Helios 2.0 is an open-source web-based end-toend verifiable electronic voting system, suitable for use in lowcoercion environments. In this paper, we analyse ballot secrecy and discover a vulnerability which allows an adversary to compromise the privacy of voters. This vulnerability has been success ..."
Abstract - Cited by 36 (16 self) - Add to MetaCart
. Finally, we present a fix and show that our solution satisfies a formal definition of ballot secrecy using the applied pi calculus.

Automatic program repair with evolutionary computation,”

by Stephanie Forrest , Westley Weimer , Stephanie Forrest , Claire Le Goues , Thanhvu Nguyen - Commun. ACM, , 2010
"... Abstract There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-th ..."
Abstract - Cited by 34 (5 self) - Add to MetaCart
range of extant software for which formal specifications rarely exist. INTRODUCTION Fixing bugs is a difficult, time-consuming, and manual process. Some reports place software maintenance, traditionally defined as any modification made on a system after its delivery, at up to 90% of the total cost of a

guidance of Prof. Raj Jain)

by A Survey Of Kerberos V, Public-key Kerberos
"... Kerberos was initially developed at MIT as a part of Project Athena and in these days it is widely deployed single sign-on protocol that is developed to authenticate clients to multiple networked services. Furthermore, Cross-realm authentication is a useful and interesting component of Kerberos aime ..."
Abstract - Add to MetaCart
to an analysis of PKINIT and mainly focus on a number of vulnerability, flaws and attacks lately discovered on Kerberos as well as PKINIT in this paper. Lastly, I introduce several possible solutions to

L THE PRODUCTION OF PSYCHOLOGICAL KNOWLEDGE AS COMMUNICATIVE INTERACTION

by unknown authors
"... ..."
Abstract - Add to MetaCart
Abstract not found

TRANSITION VITREUSE ET TRANSITION DE BLOCAGE:

by Blocage Les, Solides Désordonnés Entre, Romain Mari, Thèse De Doctorat, Romain Mari, M. Jean-louis, M. Ludovic, M. Viktor, Dotsenko Examinateur, M. Sylvio, Franz Examinateur, M. Gilles, Tarjus Examinateur, M. Jorge, Kurchan Directeur Thèse , 2011
"... HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte p ..."
Abstract - Add to MetaCart
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

TRANSITION VITREUSE ET TRANSITION DE BLOCAGE: LES SOLIDES DÉSORDONNÉS ENTRE CHAMP MOYEN ET DIMENSION FINIE.

by De La Region Parisienne, Thèse De Doctorat, Romain Mari, Thèse Dirigée Par Jorge Kurchan, M. Jean-louis, M. Ludovic, M. Viktor, Dotsenko Examinateur, M. Sylvio, Franz Examinateur, M. Gilles, Tarjus Examinateur , 2011
"... Cette thèse est consacrée à l’étude de la transition liquide/solide amorphe. Cette transition se retrouve dans des systèmes thermiques (par exemple dans les verres moléculaires) ou athermiques (avec entre autres les milieux granulaires), à l’équilibre thermodynamique ou hors équilibre. Nous montrons ..."
Abstract - Add to MetaCart
Cette thèse est consacrée à l’étude de la transition liquide/solide amorphe. Cette transition se retrouve dans des systèmes thermiques (par exemple dans les verres moléculaires) ou athermiques (avec entre autres les milieux granulaires), à l’équilibre thermodynamique ou hors équilibre. Nous montrons que la transition de blocage et la transition vitreuse sont deux phénomènes distincts. Nous avons pour cela construit un modèle de sphères dures sur réseau de Bethe où ces deux transitions cohabitent. Nous introduisons également un modèle de verre structural avec désordre gelé qui possède un aspect champ moyen contrôlable. Cela nous permet de suivre l’évolution de la transition vitreuse dynamique entre le champ moyen et la dimension finie. Nous montrons également que ce modèle réalise en champ moyen une approximation de la dynamique comparable, mais pas équivalente, à la théorie de couplage de modes. Enfin, nous présentons quelques remarques théoriques portant sur l’analyse des modes normaux de suspensions colloïdales près de leur transition de blocage. pastel-00601408, version 1- 17 Jun 2011GLASS TRANSITION AND JAMMING TRANSITION:

Review Theoretical Methods of Domain Structures in Ultrathin Ferroelectric Films: A Review

by Jianyi Liu, Weijin Chen, Biao Wang, Yue Zheng , 2014
"... www.mdpi.com/journal/materials ..."
Abstract - Add to MetaCart
www.mdpi.com/journal/materials

22.10.2009 Implementation of a Peer-to-Peer Multiplayer Game with Realtime Requirements

by Gutachten Alej, Ro Buchmann
"... Massively multiplayer online games (MMOGs) have become increasingly popular in the recent years, particularly in the form of online role-playing games (MMORPGs). These games support up to several ten thousand players interacting in a virtual game world. The current commercially successful games are ..."
Abstract - Add to MetaCart
Massively multiplayer online games (MMOGs) have become increasingly popular in the recent years, particularly in the form of online role-playing games (MMORPGs). These games support up to several ten thousand players interacting in a virtual game world. The current commercially successful games are client-server based, which is feasible for relatively slow role-playing games. Those have modest bandwidth and latency requirements and are paid for by their customers. For MMOGs with higher realtime requirements and/or a smaller number of customers willing to pay, peer-to-peer networking seems to be a serious alternative. This work analyzes the implementation of both a client-server and a peer-to-peer networking model for the prototype shooter game Planet π4. Initially, a survey introduces recent academic approaches to peer-to-peer systems specifically designed for games. Of those, one system is selected for implementation with Planet π4. Planet π4 is improved in several aspects for the purpose of analyzing various network implementations. First, its architecture is restructured and cleaned to allow for an easy replacement of the networking component. Second, its core is modified to work in a completely event-based mode, supporting the execution of the game in an discrete-event-based network simulator. Third, a simple artificial intelligence player is developed for workload generation in large (and possibly simulated) networks. Furthermore, the newly developed transport protocol CUSP is applied for the network implementation, thus the game is the first real application using CUSP. Finally the game Planet π4 is integrated with the CUSP network simulator, allowing to run the whole game in a simulated network without the need for modification of its core components. Kurzfassung Massen-Mehrspieler-Onlinespiele (Massively multiplayer online games; MMOGs) wurden in den vergangenen Jahren zunehmend populär, insbesondere in Form von Online-Rollenspielen (MMORPGs). In

von

by Mathematisch-naturwissenschaftlichen Fakultät, Stefan Lange, Prof Dr, Jan-hendrik Olbertz, Prof Dr, Elmar Kulke
"... eingereicht an der ..."
Abstract - Add to MetaCart
eingereicht an der

DOI: 10.1140/epjst/e2012-01529-y THE EUROPEAN PHYSICAL JOURNAL SPECIAL TOPICS Review Active Brownian Particles From Individual to Collective Stochastic Dynamics

by P. Romanczuk, W. Ebeling, B. Lindner , 2012
"... Abstract. We review theoretical models of individual motility as well as collective dynamics and pattern formation of active particles. We focus on simple models of active dynamics with a particular emphasis on nonlinear and stochastic dynamics of such self-propelled entities in the framework of sta ..."
Abstract - Add to MetaCart
Abstract. We review theoretical models of individual motility as well as collective dynamics and pattern formation of active particles. We focus on simple models of active dynamics with a particular emphasis on nonlinear and stochastic dynamics of such self-propelled entities in the framework of statistical mechanics. Examples of such active units in complex physico-chemical and biological systems are chemically pow-ered nano-rods, localized patterns in reaction-diffusion system, motile cells or macroscopic animals. Based on the description of individual motion of point-like active particles by stochastic differential equations, we discuss different velocity-dependent friction functions, the impact of various types of fluctuations and calculate characteristic observ-ables such as stationary velocity distributions or diffusion coefficients. Finally, we consider not only the free and confined individual active dynamics but also different types of interaction between active par-ticles. The resulting collective dynamical behavior of large assemblies and aggregates of active units is discussed and an overview over some recent results on spatiotemporal pattern formation in such systems is given. 1
Next 10 →
Results 1 - 10 of 11
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University