Filters








3,786 Hits in 4.3 sec

A literate experimentation manifesto

Jeremy Singer
2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software - ONWARD '11  
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]

Mario Gleirscher and Jaco van de Pol and Jim Woodcock
2021 arXiv   pre-print
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"

Juan C Augusto, Vic Callaghan, Diane Cook, Achilles Kameas, Ichiro Satoh
2013 Human-Centric Computing and Information Sciences  
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]

David W. Embley, Stephen W. Liddle, Oscar Pastor
2011 Handbook of Conceptual Modeling  
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

Rajkumar Buyya, Marco A. S. Netto, Adel Nadjaran Toosi, Maria Alejandra Rodriguez, Ignacio M. Llorente, Sabrina De Capitani Di Vimercati, Pierangela Samarati, Dejan Milojicic, Carlos Varela, Rami Bahsoon, Marcos Dias De Assuncao, Satish Narayana Srirama (+13 others)
2018 ACM Computing Surveys  
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

Michael Luck, Peter McBurney, Chris Preist
2004 Autonomous Agents and Multi-Agent Systems  
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]

Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa (+2 others)
2022 arXiv   pre-print
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

Maria Gäde, Marijn Koolen, Mark Hall, Toine Bogers, Vivien Petras
2021 Proceedings of the 2021 Conference on Human Information Interaction and Retrieval  
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

Pietro Vischia
2020 Reviews in Physics  
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  
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]

Rajkumar Buyya, Satish Narayana Srirama, Giuliano Casale, Rodrigo Calheiros, Yogesh Simmhan, Blesson Varghese, Erol Gelenbe, Bahman Javadi, Luis Miguel Vaquero, Marco A. S. Netto, Adel Nadjaran Toosi, Maria Alejandra Rodriguez, Ignacio M. Llorente (+12 others)
2018 arXiv   pre-print
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

Orestis Lampridis, Dimitra Karanatsiou, Athena Vakali
2022 Computing  
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

Bruno Delmas, Francis Blouin, Nancy Bartlett
1996 The American Archivist  
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

Joshua A. Douglas
2015 Social Science Research Network  
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)

Tal Hassner, Malte Rehbein, Peter A. Stokes, Lior Wolf, Marc Herbstritt
2013 Dagstuhl Manifestos  
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