A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
A literate experimentation manifesto
2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software - ONWARD '11
Preserved Fulltext
Effectively, a literate experiment is a small step towards the executable paper panacea. ...
setup to include in the paper; (2) a sequence of executable commands to setup a computer platform ready to perform the actual experiment; (3) the experiment itself, executed on this appropriately configured ...
We feel that any improvement in experimental Computer Science has to be a useful contribution to the field. Thus we offer our literate experimentation manifesto to the world. ...
doi:10.1145/2048237.2048249
dblp:conf/oopsla/Singer11
fatcat:lr7n4d45mvd6bderkuehrzwsua
A Manifesto for Applicable Formal Methods
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
Based on what the literature tells about the first question, with this manifesto, we lay out a set of principles that when followed by a formal method give rise to its mature applicability in a given scope ...
In critical software engineering, what do we mean when we speak of a formal method? And what does it mean for such a method to be applicable both from a scientific and practical viewpoint? ...
Related Work Our manifesto can be seen as a specific supplement of the Verified Software Initiative [34] , which has the long-term aim to perform wide-ranging verification experiments and case studies ...
arXiv:2112.12758v1
fatcat:3lr5bewqnrdidf7flj7b6eptmi
"Intelligent Environments: a manifesto"
2013
Human-Centric Computing and Information Sciences
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 give a short overview on how it has developed, what is the current state of the art and what are the challenges laying ahead. ...
The aim of the article is to make aware the Computer Science community of this new development, the differences with previous dominant paradigms and the opportunities that this area offers to the scientific ...
But this fact alone could not justify a paradigm shift, as we claim in this manifesto. ...
doi:10.1186/2192-1962-3-12
fatcat:gcegn3skrve7bbuxfenhvfkq3a
Conceptual-Model Programming: A Manifesto
[chapter]
2011
Handbook of Conceptual Modeling
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 hold these articles to be the defining principles for model-complete software development. ...
For applications amenable to conceptual-model designs, software developers should never need to write a line of traditional code. Thus, programming is actually "Conceptual-Model Programming" ("CMP"). ...
research and development of the field of conceptual modeling. ...
doi:10.1007/978-3-642-15865-0_1
fatcat:53nqhumejvgbvcdjynurnwu3ae
A Manifesto for Future Generation Cloud Computing
2018
ACM Computing Surveys
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.
ACKNOWLEDGMENTS We thank anonymous reviewers, Sartaj Sahni (Editor-in-Chief) and Antonio Corradi (Associate Editor) for their constructive suggestions and guidance on improving the content and quality ...
Wierman (California Institute of Technology), Shigeru Imai (Rensselaer Polytechnic Institute) and Arash Shaghaghi (University of New South Wales, Sydney) for their comments and suggestions for improving the ...
The above results in new challenges from a Software Engineering perspective: applications need to be redesigned to leverage the model, forcing software engineers to shift the way they design and think ...
doi:10.1145/3241737
fatcat:bgb4qjtm5zgcbbtyy6x6anfeju
A Manifesto for Agent Technology: Towards Next Generation Computing
2004
Autonomous Agents and Multi-Agent Systems
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 2008; you can also visit the original URL.
The file type is application/pdf.
The European Commission's eEurope initiative aims to bring every citizen, home, school, business and administration online to create a digitally literate Europe. ...
Just as in the first literacy revolution, our lives will change in ways never imagined. The vision of eEurope is underpinned by a technological infrastructure that is now taken for granted. ...
The roadmap was developed over a long period, with contributions from numerous different sources. ...
doi:10.1023/b:agnt.0000038027.29035.7c
fatcat:rps2jy7sojdxlj525w63grgxtm
Augmented Business Process Management Systems: A Research Manifesto
[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.
Other Versions
This manifesto presents a vision for ABPMSs and discusses research challenges that need to be surmounted to realize this vision. ...
To this end, we define the concept of ABPMS, we outline the lifecycle of processes within an ABPMS, we discuss core characteristics of an ABPMS, and we derive a set of challenges to realize systems with ...
a human operator from the sales department or with an external software agent to perform the action. ...
arXiv:2201.12855v2
fatcat:x6y4axzfljfvfnlihphmbi3noq
A Manifesto on Resource Re-Use in Interactive Information Retrieval
2021
Proceedings of the 2021 Conference on Human Information Interaction and Retrieval
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.
A five-level system for data archiving and documentation envisions increasingly open and stable documentation and access infrastructures. ...
This perspective paper on resource re-use intends to draw the attention of the interactive information retrieval (IIR) community to the challenges of research documentation and archiving for future use ...
As an initial minimum requirement, the research design must be documented to enable a basic level of resource reuse. ...
doi:10.1145/3406522.3446056
fatcat:jqx2kgioqzaprf4j6k5m7honvy
Reporting Results in High Energy Physics Publications: a Manifesto
2020
Reviews in Physics
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.
The need for compression should however not prevent sharing a reasonable amount of information that is essential to understanding a given analysis. ...
The need for keeping the publications documenting results to a reasonable size implies a greater level of compression or even omission of information with respect to publications from twenty years ago. ...
along the banks of the Zürichsee; and to Javier Cuevas for the endless discussions and encouragement that helped me shape my own critical views on a broad selection of topics. ...
doi:10.1016/j.revip.2020.100046
fatcat:gen7owoifzhbhgxk7olqagfxsq
Blockchain manifestos: fighting for the imagination of a culture
2021
Burlington Contemporary 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 2022; you can also visit the original URL.
The file type is application/pdf.
Initially, the producing classes discover the means to propagate information freely as a means to acquire what it desires. ...
He sees free software as a practical idealism that spreads freedom and cooperation-the "hacker ethic." He distinguishes Free Software from Open Source. ...
a tool in the hands of class power. ...
doi:10.31452/bcj5.blockchain.kent
fatcat:wfnhpdawgzai7asw6jwxoorcly
A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade
[article]
2018
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
The proposed manifesto addresses them by identifying the major open challenges in Cloud computing, emerging trends, and impact areas. ...
Now, it has emerged as the backbone of modern economy by offering subscription-based services anytime, anywhere following a pay-as-you-go model. ...
Casale has been supported by the Horizon 2020 project DICE (644869). ...
arXiv:1711.09123v2
fatcat:xu3u75e6ind23ite3l6zfqi6hq
MANIFESTO: a huMAN-centric explaInable approach for FakE news spreaders deTectiOn
2022
Computing
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.
Moreover, to the best of our knowledge, this is the first study that aims at providing a fully explainable setup that evaluates fake news spreading based on users credibility applied to public discussions ...
aiming to a comprehensive way to combat fake news through human involvement. ...
and truthfulness [18] , with the aid of human (non-) experts or automated software. ...
doi:10.1007/s00607-021-01013-w
fatcat:zklb4kocb5fs5otqygtgzjwamm
Manifesto for a Contemporary Diplomatics: From Institutional Documents to Organic Information
1996
The American Archivist
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.
He offers a more abstract view of the notion of what constitutes a document, and probes the importance of archival documents as a source of memory and truth. ...
Diplomatics then, the author agrees, becomes a method to understand and recover sources of memory and, at the same time, reduce the uncertainty that the abundance of these same sources engenders. ...
information, which is itself verifiable. ...
doi:10.17723/aarc.59.4.kxt762862g115304
fatcat:ggvwvhh6gvccpbebarunxsf5iu
A Checklist Manifesto for Election Day: How to Prevent Mistakes at the Polls
2015
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 2019; you can also visit the original URL.
The file type is application/pdf.
This is a simple idea with a big payoff: fewer lost votes, shorter lines at the polls, a reduction in post-election litigation, and smoother election administration. ...
Checklists can assist poll workers in pausing during a complex process to avoid errors. ...
Spouse: Regulating Surveillance Software on Shared Marital Computers, 105 COLUM. L. ...
doi:10.2139/ssrn.2597767
fatcat:jbm2bn6rufeb3jxniq6nq2uhke
Computation and Palaeography: Potentials and Limits (Dagstuhl Perspectives Workshop 12382)
2013
Dagstuhl Manifestos
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.
This manifesto documents the program and outcomes of Dagstuhl Seminar 12382 'Perspectives Workshop: Computation and Palaeography: Potentials and Limits'. ...
The workshop provided a vital opportunity for palaeographers to interact and discuss the potential of digital methods with computer scientists specializing in machine vision and statistical data analysis ...
PAS also thanks the European Research Council (ERC): some of the results presented here are funded by the European Union Seventh Framework Programme (FP7) under grant agreement no 263751. ...
doi:10.4230/dagman.2.1.14
dblp:journals/dagstuhl-manifestos/HassnerRSW12
fatcat:cmjd7cj6erc6hetzuocr6rbcdi
« Previous
Showing results 1 — 15 out of 3,786 results