A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Using complexity to protect elections
2010
Communications of the ACM
Preserved Fulltext
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
2019
Political Insight
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
2016
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Logical and Algebraic Methods in Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
The Nonproliferation Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2016
The Contemporary Pacific
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
The Contemporary Pacific
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
The Contemporary Pacific
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2012
Journal of Public Administration and Policy Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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