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.
Filters
Sybil proof anonymous reputation management
2008
Proceedings of the 4th international conference on Security and privacy in communication netowrks - SecureComm '08
Preserved Fulltext
This work presents an architecture for Anonymous Reputation Management (ARM), which is explained for the example of File Sharing (ARM4FS). ...
Anonymous reputation management (ARM) can be plugged on top of many reputation systems in order to preserve the users' privacy for many scenarios. ...
ABSTRACT Many new Internet applications base on openness to externally contributed content. The numerous user contributions offer both opportunities and threats. ...
doi:10.1145/1460877.1460887
dblp:conf/securecomm/MullerPRS08
fatcat:kzkso6ysdngazm2spj26ng33li
Managing Proof Documents for Asynchronous Processing
2009
Electronical Notes in Theoretical 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 2019; you can also visit the original URL.
The file type is application/pdf.
This paper presents a software architecture for asynchronous proof processing. ...
Asynchronous proof processing is a recent approach at improving the usability and performance of interactive theorem provers. ...
To place as few constraints as possible on the software structure of Isabelle, we abstract over the concrete implementation and base our architecture on an abstract model of asynchronous processing. ...
doi:10.1016/j.entcs.2008.12.097
fatcat:bywilr6qureftoafr47ci6qkua
Development graphs—Proof management for structured specifications
2006
The Journal of Logic and Algebraic 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.
Therefore, we recall the abstract notion of logic from Meseguer [13] . Logics consist of model theory and proof theory. ...
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. ...
This underpins the intended role of development graphs as a kernel formalism for management of structured proofs and of change. ...
doi:10.1016/j.jlap.2005.09.005
fatcat:z73nbdseebhc7i43h7vf6zn5wm
Implicit and Explicit Proof Management in KeYmaera X
2021
Electronic Proceedings in Theoretical 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 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
proof management techniques. ...
Our techniques steer the uniform substitution implementation of the differential dynamic logic proof calculus in KeYmaera X to allow users choose when and how in a proof abstract formulas, terms, or programs ...
core with proof management techniques. ...
doi:10.4204/eptcs.338.8
fatcat:x6c46imoyfhkblcrgzeyi3zgk4
Efficient resource management for linear logic proof search
2000
Theoretical 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.
We ÿrst give a proof-theoretic presentation of the operational semantics of this language as a resolution calculus. ...
Among these, the problem of e ciently managing the linear context when solving a goal is of crucial importance for the use of these systems in non-trivial applications. ...
They call a proof uniform if it can be found by goal-directed search. If uniform proofs are sound and complete we may say that the we have an abstract logic programming language. ...
doi:10.1016/s0304-3975(99)00173-5
fatcat:yga4eeigovhzjeei7j6dyb4od4
Efficient resource management for linear logic proof search
[chapter]
1996
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 2004; you can also visit the original URL.
The file type is application/pdf.
Among these, the problem of efficiently managing the linear context when solving a goal is of crucial importance for the use of these systems in non-trivial applications. ...
We then present a series of resource management systems designed to eliminate the nondeterminism in the distribution of linear formulas that undermines the efficiency of a direct implementation of this ...
Most importantly, they prove that LHHF possesses the necessary computational properties to be considered an abstract logic programming language [MNPS91] . ...
doi:10.1007/3-540-60983-0_5
fatcat:kl4lm3d3xbbezmfeoexni5chze
Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
[chapter]
2011
Games, Norms and Reasons
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 2007; you can also visit the original URL.
The file type is application/pdf.
These rules can provide a proof-theoretic infrastructure for proof reuse in any system. ...
In this paper we examine the operations of publication (remembering a proof) and citation (recalling a proof for reuse), regarding them as forms of common subexpression elimination on proof terms. ...
proof term and t is an individual term, • an abstraction λp.τ , where p is a proof variable and τ is a proof term, • an abstraction λx.τ , where x is an individual variable and τ is a proof term, or • ...
doi:10.1007/978-94-007-0714-6_9
fatcat:cgrpzn7ngzbg3mv3enaxbq2eee
Beyond proof-of-compliance: security analysis in trust management
2005
Journal of the ACM
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.
Trust management is a form of distributed access control that allows one principal to delegate some access decisions to other principals. ...
While this makes trust management more flexible than the access matrix model, it makes safety and security analysis more important. ...
We thank Fred Schneider and Somesh Jha for discussions that led to our study of safety and availability properties in Trust Management. ...
doi:10.1145/1066100.1066103
fatcat:q7fqg5vqmbhj3gxmbdqwkaxuy4
A Machine-Checked Proof of Security for AWS Key Management Service
2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS '19
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.
We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers ...
The proof is machine-checked in the EasyCrypt proof assistant and is the largest EasyCrypt development to date. ...
Domain Management Abstraction. ...
doi:10.1145/3319535.3354228
dblp:conf/ccs/AlmeidaBBCCGPPS19
fatcat:wtlzcshvo5cshof74xr4lg5g4a
Proof obligations as a support tool for efficient process management in the field of production planning and scheduling
2016
Serbian Journal of Management
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 2019; you can also visit the original URL.
The file type is application/pdf.
effective production and administration processes parameters in industrial companies based on concept Industry 4.0", realized by Department of Industrial Engineering and Information Systems, Faculty of Management ...
We spoke to CEOs or production managers from 13 different Czech manufacturing companies. ...
It is a formal method that enables the abstraction of complex interactions between its subcomponents and mathematical verification of set rules. ...
doi:10.5937/sjm11-11135
fatcat:o2x634idlremvo4t2xug3n2lq4
Beyond process monitoring: a proof‐of‐concept of event‐driven business activity management
2012
Business Process Management Journal
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.
Through the definition of abstraction relationships, it is possible to define complex events by aggregating a set of low-level events. ...
., Workflow Management Coalition (WfMC) (1999):
Figure 2 : 2 Proof-of-concept of the proposed conceptual architecture
Figure 3 : 3 Perfect order fulfillment process
Table 1 : 1 Overview of research ...
doi:10.1108/14637151211253765
fatcat:ilwriies3rao3jzvjx5pvr2n4q
Good Status in the Changing Climate?—Climate Proofing Law on Water Management in the EU
2021
Sustainability
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 2021; you can also visit the original URL.
The file type is application/pdf.
The WFD includes mechanisms to adapt the water management objectives to climate change impacts, including redefining good status and application of exemptions. ...
However, more harmonised efforts at the EU level would be needed to ensure an equal level of ambition and continuity in the water management objectives capacity to steer towards sustainable regime shifts ...
I call this assessment climate-proofing the law on water management objectives. ...
doi:10.3390/su13020517
fatcat:vyex6sbm7bberjguqdsima4i4a
An Exploratory Literature Study into Digital Transformation and Leadership: Toward Future-Proof Middle Managers
2022
Sustainability
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.
It could be used to handle quantifiable managerial tasks and evaluate the quantifiable part of performance, while managers focus on the soft skills side of management such as coaching, motivating and empowering ...
This study aimed to obtain insight into the influence digital transformation has on future leadership behaviors and management. ...
to use as a reference for future-proof management. ...
doi:10.3390/su14020687
fatcat:5g3llip6zfdoxnc2dve4pvyxqe
Managing Acute Phosphorus Loss with Fertilizer Source and Placement: Proof of Concept
2016
Agricultural & Environmental Letters
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 2019; you can also visit the original URL.
The file type is application/pdf.
Agricultural & Environmental Letters
Research Letter Abstract: Surface water eutrophication is a pervasive global problem, with P losses from agriculture often identified as a significant contributor ...
These results indicate that critical examination of current fertilizer management may be needed to diminish eutrophication while ensuring sufficient P for crop uptake. ...
doi:10.2134/ael2015.12.0015
fatcat:bpnz2rwoobbuvi5lb5jqjcr2dy
The burden of proof in co-management and results-based management: the elephant on the deck!
2011
ICES Journal of Marine 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 2018; you can also visit the original URL.
The file type is application/pdf.
Results-based management requires that outcomes can be demonstrated by industry and verified by managers on behalf of society. The core questions are: what outcomes, and how can they be proved? ...
Existing fishery approaches to reversing the burden of proof are examined with focus on how proof is demonstrated. ...
It has benefited greatly from discussions on the initial ideas with a range of interested parties including individual fishers, industry representatives, scientists, and fishery managers. ...
doi:10.1093/icesjms/fsr098
fatcat:kskw2gklijhk5eok4f7nsweulq
« Previous
Showing results 1 — 15 out of 225,943 results