390 Hits in 6.8 sec

Using complexity to protect elections

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
2010 Communications of the ACM  
editorial Board also serves as the editorial Board of .  ...  Brown; Bryan cantrill; terry coatta; mark compton; stuart feldman; Benjamin fried; pat Hanrahan; marshall Kirk mcKusick; george neville-neil; theo schlossnagle; Jim Waldo the practice section of the cacm  ...  Cormac Flanagan, computer science Department, university of california at santa cruz, santa cruz, ca. Stephen n. Freund, computer science Department, Williams college, Williamstown, ma.  ... 
doi:10.1145/1839676.1839696 fatcat:hbqpm5boabe3jcpa4jcs7czf6y

European Parliament Elections 2019

Benjamin D. Hennig
2019 Political Insight  
Its activity focuses on the study of elections and their institutional framework.  ...  series of CATI surveys) to analyses of election results based on aggregate data (also including the study of vote shifts and of electoral geography), to research on electoral systems and their related  ...  Certainly, the excellent result of the Socialist and Progressive parties in some big and medium countries (such as Italy, Germany, the UK, and Romania) has given PES an important boost in terms of seats  ... 
doi:10.1177/2041905819871841 fatcat:n66dmeetvrhs3csmnal2brecfm

Why American Elections are Flawed (And How to Fix Them)

Pippa Norris
2016 Social Science Research Network  
To understand these issues, the first section examines several major challenges facing U.S. elections, including deepening party polarization over electoral procedures, the vulnerability of electronic  ...  records to hacking, and the impact of deregulating campaign spending, compounding the lack of professional standards of electoral management.  ...  of an election.  ... 
doi:10.2139/ssrn.2844793 fatcat:kt5dvwrr5vbjjlxr44tvlte4ty

A Pattern-based deadlock-freedom analysis strategy for concurrent systems [article]

Pedro Antonino and Augusto Sampaio and Jim Woodcock
2022 arXiv   pre-print
In this work, we propose a method that systematises the use of local analysis in the verification of deadlock freedom for concurrent and distributed systems.  ...  It combines a strategy for system decomposition with the verification of the decomposed subsystems via adherence to behavioural patterns.  ...  For instance, for the leadership-election system, we were unable to find a good compression strategy.  ... 
arXiv:2207.08854v1 fatcat:ntqfvqhazfanfa3kpoy6nadujy

2.2.2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML

Jeremy Bryans, John Fitzgerald, Richard Payne, Klaus Kristensen
2014 INCOSE International Symposium  
The focus is on the derivation of specifications for new constituent systems that are to be integrated with an existing SoS.  ...  Analysis of the models leads to the derivation of a specification sufficient for constituent systems to guarantee a key leader election property of the SoS.  ...  Acknowledgments The work presented here is supported by the EU Framework 7 Integrated Project ``Comprehensive Modeling for Advanced Systems of Systems'' (COMPASS, Grant Agreement 287829).  ... 
doi:10.1002/j.2334-5837.2014.tb03142.x fatcat:wqgi3uzkvvdbnepzcqydzlev44

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

Hugues Evrard, Frederic Lang
2015 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing  
We present an experiment where DLC generates a distributed implementation from the LNT model of the Raft consensus algorithm.  ...  Formal process languages inheriting the concurrency and communication features of process algebras are convenient formalisms to model distributed applications, especially when they are equipped with formal  ...  Figure 6 compares the performances of DLC with those of Consul 3 , an industrial-class fault tolerant key-value store also based on Raft.  ... 
doi:10.1109/pdp.2015.96 dblp:conf/pdp/EvrardL15 fatcat:atyi6lwoxzeyhe7j6hsb7cmdya

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

Hugues Evrard, Frédéric Lang
2017 Journal of Logical and Algebraic Methods in Programming  
Formal process languages inheriting the concurrency and communication features of process algebras are convenient formalisms to model distributed applications, especially when they are equipped with formal  ...  The generated code uses an elaborate protocol to implement rendezvous, and can be either executed in an autonomous way (i.e., without requiring additional code to be defined by the user), or connected  ...  Raft is used in several industrial-class fault tolerant key-value stores, such as Consul. 11 A TLA+ formal specification of Raft core features (leader election and log replication) is available, upon  ... 
doi:10.1016/j.jlamp.2016.09.002 fatcat:glwgfjv7yfh7la7zjyrmr6pf5y

The BWC new Process: A preliminary assessment

Jonathan B. Tucker
2004 The Nonproliferation Review  
Because this eleventh-hour U.S. proposal was unacceptable to many delegations, the resulting deadlock threatened the collapse of the Review Conference. 10 In an effort to defuse the crisis, Chairman  ...  In an effort to move the stalled talks forward, AHG Chairman Tibor Tóth of Hungary converted the "rolling text" of the draft protocol into a "composite text" by replacing bracketed sections with compromise  ... 
doi:10.1080/10736700408436956 fatcat:vqbzq7x3qjcyne7nx6uwqvj3pm

Melanesia in Review: Issues and Events, 2015

Jon Fraenkel
2016 The Contemporary Pacific  
for the just application of the Noumea Accord."  ...  The chronic decline of the sugar industry continued.  ... 
doi:10.1353/cp.2016.0047 fatcat:2qhmhiih3namvbea22hedqfvqm

Melanesia in Review: Issues and Events, 2014

Jon Fraenkel
2015 The Contemporary Pacific  
for the just application of the Noumea Accord."  ...  The chronic decline of the sugar industry continued.  ... 
doi:10.1353/cp.2015.0034 fatcat:jwixdfljordmjfttag5urhjk2e

Melanesia in Review: Issues and Events, 2008

Jon Fraenkel
2009 The Contemporary Pacific  
for the just application of the Noumea Accord."  ...  The chronic decline of the sugar industry continued.  ... 
doi:10.1353/cp.0.0059 fatcat:pq66b5wtujdrhlg2ukgeimq6g4

Fourteen Years of Software Engineering at ETH Zurich [article]

Bertrand Meyer
2017 arXiv   pre-print
A Chair of Software Engineering existed at ETH Zurich, the Swiss Federal Insti-tute of Technology, from 1 October 2001 to 31 January 2016, under my leader-ship.  ...  Our work, summarized here, covered a wide range of theoretical and practi-cal topics, with object technology in the Eiffel method as the unifying thread .  ...  Software verification We introduced several new electives.  ... 
arXiv:1712.05078v2 fatcat:g4z4x7gn3zdmvpc7uaan55mw24

Unitarism and presidentialism: Political institutions and corruption in public management in Ghana

Bossman E. Asare
2012 Journal of Public Administration and Policy Research  
It uses institutional explanations of unitarism and presidentialism as independent variables to explicate why the adoption of democratic government has not addressed the problem of corruption and the consequent  ...  While unitarism draws attention to how the supremacy of national institutions and centralization of power make corruption in public management a fact of life in Ghana, presidentialism explains how the  ...  Some opposition political parties are even pushing for the use of electronic verification in the 2012 presidential and parliamentary elections.  ... 
doi:10.5897/jpapr11.046 fatcat:s7xdm253rvampml3et3zkhyyam

Trotsky and the problem of Soviet bureaucracy

2014 ChoiceReviews  
However, for it to do so Gosplan would have to be totally reorganized in its composition, redirected from theoretical to practical methods of work, and guided by the needs of large-scale industry. 220  ...  composition of the party.  ... 
doi:10.5860/choice.187248 fatcat:6eiwiyzcqvcojpqrihbrhbiv64

Exploiting Modal Logic to Express Performance Measures [chapter]

Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
2000 Lecture Notes in Computer Science  
In this paper we present a stochastic modal logic which can aid the construction of a reward structure over the model. We discuss its relationship to the underlying theory of PEPA.  ...  Tools compute the numerical solution of these models; however, the stochastic process algebra methodology has lacked support for the specification and calculation of complex performance measures.  ...  In this project example fault-tolerant applications are provided by industrial partners (Siemens and ENEL).  ... 
doi:10.1007/3-540-46429-8_18 fatcat:4x5mfc2h5bdodbqebdpmanrlwe
« Previous Showing results 1 — 15 out of 390 results