This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

453 found
Order:
1 — 50 / 453
  1. Halting Problem Proofs Refuted on the Basis of Software Engineering ?P. Olcott - manuscript
    This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. -/- It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples at the much higher level (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Decoding Liberation: The Promise of Free and Open Source Software.Samir Chopra & Scott Dexter - manuscript
    Routledge (New Media and Cyberculture Series), July 2007.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. The Penn Lambda Calculator: Pedagogical Software for Natural Language Semantics.Maribel Romero - manuscript
    This paper describes a novel pedagogical software program that can be seen as an online companion to one of the standard textbooks of formal natural language semantics, Heim and Kratzer (1998). The Penn Lambda Calculator is a multifunctional application designed for use in standard graduate and undergraduate introductions to formal semantics: Teachers can use the application to demonstrate complex semantic derivations in the classroom and modify them interactively, and students can use it to work on problem sets provided by the (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  4. 622 Reviews of Books.Diane Owen Hughes - forthcoming - Medioevo.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  5. An Enlightened Way to Curb Piracy of Digitalized Intellectual Property.M. R. Hyman & K. J. Shanahan - forthcoming - B> Quest.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. Justice, Ethics and Piracy: On Doing the Right Thing.Lucas Introna - forthcoming - Levinas, Business Ethics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. The Matrix-Graph Method Of Choice And Verification Of Software Reliability Models.V. S. Kharchenko, O. M. Tarasyuk & V. V. Sklyar - forthcoming - Philosophy of Science.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. The Challenges of Open Source Software in IT Adoption: Enterprise Architecture Versus Total Cost of Ownership.Michael Holm Larsen, Jesper Holck & Mogens Kühn Pedersen - forthcoming - Iris’27.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  9. EveryBOTy Counts: Examining Human–Machine Teams in Open Source Software Development.Olivia B. Newton, Samaneh Saadat, Jihye Song, Stephen M. Fiore & Gita Sukthankar - forthcoming - Topics in Cognitive Science.
  10. EveryBOTy Counts: Examining Human–Machine Teams in Open Source Software Development.Olivia B. Newton, Samaneh Saadat, Jihye Song, Stephen M. Fiore & Gita Sukthankar - forthcoming - Topics in Cognitive Science.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Operationalizing Software Reuse as a Problem in Machine Learning.R. G. Reynolds, J. I. Maletic & E. Zannoni - forthcoming - Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, Florida Ai Research Society.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. The Ethics of Software Project Management.Simon Rogerson & Donald Gotterbarn - forthcoming - Ethics and Information Technology. New Academic Publishers, Delhi.
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Ethical Issues in Empirical Studies of Software Engineering.Janice A. Singer & Norman G. Vinson - forthcoming - Philosophical Explorations.
    The popularity of empirical methods in software engineering research is on the rise. Surveys, experiments, metrics, case studies, and field studies are examples of empirical methods used to investigate both software engineering processes and products. The increased application of empirical methods has also brought about an increase in discussions about adapting these methods to the peculiarities of software engineering. In contrast, the ethical issues raised by empirical methods have received little, if any, attention in the software engineering literature. This article (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Estudio y Análisis de Estrategias de Ahorro de Energía Usando El Software EES (Engineering Equation Solver) Para la Empresa Frigorífico de Pereira SA.Restrepo Victoria, Alvaro Hernán, Álvaro León Fernández & Víctor Darío Grajales - forthcoming - Scientia.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Why Mental Disorders Are Not Like Software Bugs.Harriet Fagerberg - 2022 - Philosophy of Science 89 (4):661-682.
    According to the Argument for Autonomous Mental Disorder, mental disorder can occur in the absence of brain disorder, just as software problems can occur in the absence of hardware problems in a computer. This article argues that the AAMD is unsound. I begin by introducing the “natural dysfunction analysis” of disorder, before outlining the AAMD. I then analyze the necessary conditions for realizer autonomous dysfunction. Building on this, I show that software functions disassociate from hardware functions in a way that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. The Material Consequences of “Chipification”: The Case of Software-Embedded Cars.M. C. Forelle - 2022 - Big Data and Society 9 (1).
    Today's modern car is an assemblage of mechanical and digital components, of metal panels that comprise its structure and silicon chips that run its functions. Communication and information studies scholars have interrogated the problematic aspects of the programs that run those functions, revealing serious issues surrounding privacy and security, worker surveillance, and racial, gendered, and class-based bias. This article contributes to that work by taking a step back and asking about the issues inherent not in the software running on these (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. A Song of Teaching with Free Software in the Anthropocene.Greta Goetz - 2022 - Educational Philosophy and Theory 54 (5):545-556.
    Bernard Stiegler highlights many of the problems faced by education with respect to the ‘bringing forth’ of knowledge on an individual, collective, and technical level in the Anthropocene. These problems include the short-circuiting of dreams, automatization of thought, and toxic digital networks. Stiegler’s φάρμακον seeks to treat the toxicity of the Anthropocene with a care-ful hermeneutic approach that is directed towards the disautomatized, inventive, co-individuating knowledge act. This paper first explores Stiegler’s Anthropocene and his development of Heideggerian ποίησις in terms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Research on Computer Static Software Defect Detection System Based on Big Data Technology.Rahul Neware, Jyoti Bhola, K. Arumugam, Jianxing Zhu & Zhaoxia Li - 2022 - Journal of Intelligent Systems 31 (1):1055-1064.
    To study the static software defect detection system, based on the traditional static software defect detection system design, a new static software defect detection system design based on big data technology is proposed. The proposed method can optimize the distribution of test resources and improve the quality of software products by predicting the potential defect program modules and design the software and hardware of the static software defect detection system of big data technology. It is found that the traditional static (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Community, Time, and (Con)Text: A Dynamical Systems Analysis of Online Communication and Community Health Among Open‐Source Software Communities.Alexandra Paxton, Nelle Varoquaux, Chris Holdgraf & R. Stuart Geiger - 2022 - Cognitive Science 46 (5):e13134.
    Cognitive Science, Volume 46, Issue 5, May 2022.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. COLLABORATE FRAMEWORK BASED ON SOFTWARE DEFINED NETWORK IN MANET.S. Praveen Kumar - 2022 - Journal of Science Technology and Research (JSTAR) 3 (1):39-54.
    Create a novel network model for mobile ad hoc network (MANET) nodes and actors in wireless sensor networks to collaborate on event processing. There are two stages in the development of distributed algorithms: setup and negotiation. The first uses weighted proportional max-min fairness to initially allocate MANET nodes across event zones, whereas the latter uses a market-based method to re-distribute the number of MANET nodes based on existing and new events. A detection technique for malicious packet dropping attacks in MANETs. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Clinical Software and Bad Decisions: The “Practice Fusion” Settlement and Its Implications.Megan Prictor - 2022 - Journal of Bioethical Inquiry 19 (2):187-190.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. STATE POWER VERSUS WILLINGNESS (THIS IS THE HEADLINES).Thobias Sarbunan - 2022 - IEEE DATA PORT.
    This article created to address the current state of affairs, which has resulted in an insufficient progress and innovation system. The purpose of this overview article is to increase educate society's knowledge of how to use modern and innovative technologies based on need, cultural aspects, social context, and state context. As a result, I used secondary sources to assist readers understand how state actors and policies might best respond to society's aspirations to use and communicate through technology and information, as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Transformation²: Making Software Engineering Accountable for Sustainability.Christoph Schneider & Stefanie Betz - 2022 - Journal of Responsible Technology 10:100027.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Game Technologies to Assist Learning of Communication Skills in Dialogic Settings for Persons with Aphasia.Ylva Backman, Viktor Gardelli & Peter Parnes - 2021 - International Journal of Emerging Technologies in Learning 16 (3):190-205.
    Persons with aphasia suffer from a loss of communication ability as a consequence of a brain injury. A small strand of research indicates effec- tiveness of dialogic interventions for communication development for persons with aphasia, but a vast amount of research studies shows its effectiveness for other target groups. In this paper, we describe the main parts of the hitherto technological development of an application named Dialogica that is (i) aimed at facilitating increased communicative participation in dialogic settings for persons (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Epistemic Issues in Computational Reproducibility: Software as the Elephant in the Room.Alexandre Hocquet & Frédéric Wieber - 2021 - European Journal for Philosophy of Science 11 (2):1-20.
    Computational reproducibility possesses its own dynamics and narratives of crisis. Alongside the difficulties of computing as an ubiquitous yet complex scientific activity, computational reproducibility suffers from a naive expectancy of total reproducibility and a moral imperative to embrace the principles of free software as a non-negotiable epistemic virtue. We argue that the epistemic issues at stake in actual practices of computational reproducibility are best unveiled by focusing on software as a pivotal concept, one that is surprisingly often overlooked in accounts (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Face Off – a Semiotic Technology Study of Software for Making Deepfakes.Søren Vigild Poulsen - 2021 - Sign Systems Studies 49 (3-4):489-508.
    Deepfakes, an algorithm that transposes the face of one person onto the face of another person in images and film, is a digital technology that may fundamentally alter our belief in visual modality and thus presents alarming consequences for an image-centric culture. Not only are these face-translations now so advanced that it is virtually impossible for people to tell that they are fake – this technology is also becoming accessible to laypersons who, with little or no computer skills, can use (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Evaluation of Online Education Software Under Neutrosophic Environment.Fatma Kutlu Gündoğdu & Serhat Aydın - 2020 - In Harish Garg (ed.), Decision-making with neutrosophic set: theory and applications in knowledge management. Nova Science Publishers.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  28. Il software del linguaggio.Raffaele Simone - 2020 - Milano: Raffaello Cortina editore.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. Models, Parameterization, and Software: Epistemic Opacity in Computational Chemistry.Frédéric Wieber & Alexandre Hocquet - 2020 - Perspectives on Science 28 (5):610-629.
    . Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in detail the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Trust ManagementTrust Management for Software-Defined Heterogeneous Vehicular Ad Hoc NetworksVehicular Ad Hoc Networks.Adnan Mahmood, Wei Emma Zhang, Quan Z. Sheng, Sarah Ali Siddiqui & Abdulwahab Aljubairy - 2019 - In Zaigham Mahmood (ed.), Security, Privacy and Trust in the Iot Environment. Springer Verlag. pp. 203-226.
    Over the past few decades, a considerable amount of interest has been observed for improving the overall road transportation across the globe, primarily to enhance the safety of vehicular passengers and vulnerable road pedestrians. Vehicular Ad hoc NetworksVehicular Ad hoc Networks are anticipated to play a critical role in smart cities and Internet of Things domain. Instead, it is expected that a new paradigm of Internet of VehiclesInternet of Vehicles will soon become an important component of the IoT. Also, since (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. A Theory of Change for Prioritised Resilient and Evolvable Software Systems.Giuseppe Primiero, Franco Raimondi & Taolue Chen - 2019 - Synthese 198 (S23):5719-5744.
    The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Ciencia de la computación y filosofía: unidades de análisis del software.Juan Manuel Durán - 2018 - Principia 22 (2):203-227.
    Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. Formalizing the Software Engineering Process Using a Graphical Software Process Modelling Formalism.Hisham Khdair - 2018 - In Modern Education and Computer Science Press(MECS Press).
    Software process modelling has recently become an area of interest within both academia and industry. It aims at defining and formalizing the software process in the form of formal rigorous models. A software process modelling formalism presents the language or notation in which the software process is defined and formalized. Several software process modelling formalisms have been introduced lately, however, they have failed to gain the attention of the industry. One major objective of formalizing the software process that has ever (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  34. Coordination Technology for Active Support Networks: Context, Needfinding, and Design.Stanley J. Rosenschein & Todd Davies - 2018 - AI and Society 33 (1):113-123.
    Coordination is a key problem for addressing goal–action gaps in many human endeavors. We define interpersonal coordination as a type of communicative action characterized by low interpersonal belief and goal conflict. Such situations are particularly well described as having collectively “intelligent”, “common good” solutions, viz., ones that almost everyone would agree constitute social improvements. Coordination is useful across the spectrum of interpersonal communication—from isolated individuals to organizational teams. Much attention has been paid to coordination in teams and organizations. In this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?Wojciech Tylman - 2018 - Foundations of Science 23 (1):159-172.
    This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the computer science community to go (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. An Architecture of Thin Client in Internet of Things and Efficient Resource Allocation in Cloud for Data Distribution.Aymen Abdullah, Phamhung Phuoc & Eui Namhuh - 2017 - International Arab Journal of Information Technology 14 (6).
    These days, Thin-client devices are continuously accessing the Internet to perform/receive diversity of services in the cloud. However these devices might either has lack in their capacity (e.g., processing, CPU, memory, storage, battery, resource allocation, etc) or in their network resources which is not sufficient to meet users satisfaction in using Thin-client services. Furthermore, transferring big size of Big Data over the network to centralized server might burden the network, cause poor quality of services, cause long respond delay, and inefficient (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Selective Software Project Management Methodology.Hisham Khdair - 2017 - IJournals: International Journal of Software and Hardware Research in Engineering 5.
    The selection of a proper management methodology plays a central role in releasing a successful software project. Selective Software Project Management Methodology (SSPMM) is a framework that enables software personnel to select the methodology that suits their software project. It fills the gap of controlling and progress tracking related to software projects according to the chosen development methodology. Furthermore, it allows a software project manager to schedule tasks in each software development phase. In addition, it monitors how a certain task (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. Three Steps Multiobjective Decision Process for Software Release Planning.Isabel M. Del Águila & José Del Sagrado - 2016 - Complexity 21 (S1):250-262.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. An Ontology of Suspicious Software Behavior.André Grégio, Rodrigo Bonacin, Antonio Carlos de Marchi, Olga Fernanda Nabuco & Paulo Lício de Geus - 2016 - Applied ontology 11 (1):29-49.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Software Implementation of the SNOW 3G Generator on iOS and Android Platforms.J. Molina-Gil, P. Caballero-Gil, C. Caballero-Gil & A. Fúster-Sabater - 2016 - Logic Journal of the IGPL 24 (1).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering.Julian Newman - 2016 - In History and Philosophy of Computing (IFIP AICT 487). Cham, Switzerland: Springer. pp. 256-272.
    Epistemic opacity vis a vis human agents has been presented as an essential, ineliminable characteristic of computer simulation models resulting from the characteristics of the human cognitive agent. This paper argues, on the contrary, that such epistemic opacity as does occur in computer simulations is not a consequence of human limitations but of a failure on the part of model developers to adopt good software engineering practice for managing human error and ensuring the software artefact is maintainable. One consequence of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43. A Shift From Cloud Computing Model to Fog Computing.C. Sailesh & S. Svermani - 2016 - Journal of Applied Computing 1 (1).
    Cloud computing has provided many opportunities to businesses and individuals. It enables global and on demand network access to a shared pool of resources with minimal management effort. However, this bliss has become a problem for latency-sensitive applications. To improve efficiency of cloud and to reduce the amount of data that needs to be transported to the cloud for data processing, analysis and storage, a new network architect technology 'Fog Computing' has been introduced. In fog computing, small applications and resources (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. Crossbows, von Clauswitz, and the Eternality of Software Shrouds: Reply to Christianson.Selmer Bringsjord & John Licato - 2015 - Philosophy and Technology 28 (3):365-367.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Software Implementation of Cryptographic Sequence Generators Over Extended Fields.O. Delgado-Mohatar & A. Fuster-Sabater - 2015 - Logic Journal of the IGPL 23 (1):73-87.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Classification of Software Risks with Discriminant Analysis Techniques in Software Planning Development Process.Abdelrafe Elzamly, Burairah Hussin, Samy Naser, Doheir S. Abu & Mohamed - 2015 - International Journal of Advanced Science and Technology 81:35--48.
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Biosecurity and Open-Source Biology: The Promise and Peril of Distributed Synthetic Biological Technologies.Nicholas G. Evans & Michael J. Selgelid - 2015 - Science and Engineering Ethics 21 (4):1065-1083.
    In this article, we raise ethical concerns about the potential misuse of open-source biology : biological research and development that progresses through an organisational model of radical openness, deskilling, and innovation. We compare this organisational structure to that of the open-source software model, and detail salient ethical implications of this model. We demonstrate that OSB, in virtue of its commitment to openness, may be resistant to governance attempts.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48. SP2MN: A Software Process Meta-Modeling Language.Hisham Khdair - 2015 - International Review on Computers and Software 10 (7):726-734.
    In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process modeling/meta-modeling languages (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. CCP4 Software Suite: History, Evolution, Content, Challenges and Future Developments.Eugene Krissinel - 2015 - Arbor 191 (772):a220.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. An Ontology of Online User Feedback in Software Engineering.Itzel Morales-Ramirez, Anna Perini & Renata S. S. Guizzardi - 2015 - Applied ontology 10 (3-4):297-330.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 453