Results for 'IFIP'

18 found
Order:
  1. IFIP WG 2.12 and WG 12.4 International Workshop on Web Semantic (SWWS)-Ontologies-OntoExtractor: A Fuzzy-Based Approach to Content and Structure-Based Metadata Extraction. [REVIEW]Paolo Damiani Ceravolo & Marcello Viviani Leida - 2006 - In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 1825-1834.
    No categories
     
    Export citation  
     
    Bookmark  
  2. IFIP WG 2.12 and WG 12.4 International Workshop on Web Semantic (SWWS)-Security, Risk and Privacy for the Semantic Web-An OWL Copyright Ontology for Semantic Digital Rights Management. [REVIEW]Roberto Gil Garcia - 2006 - In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 1745-1754.
     
    Export citation  
     
    Bookmark  
  3. IFIP WG 2.12 and WG 12.4 International Workshop on Web Semantic (SWWS)-Applications of Semantic Web-QP-T: Query Pattern-Based RDB-to-XML Translation. [REVIEW]Jinhyung Jeong Kim & Yixin Baik Jing - 2006 - In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 1844-1853.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  19
    Technology and Intimacy: Choice or Coercion. HCC 2016. IFIP Advances in Information and Communication Technology, vol 474.David Kreps, Gordon Fletcher & Marie Griffiths (eds.) - 2016 - Cham.: Springer Nature.
    This book constitutes the refereed proceedings of the 12th IFIP TC 9 International Conference on Human Choice and Computers, HCC12 2016, held in Salford, UK, in September 2016. -/- The 26 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers deal with the constantly evolving intimate relationship between humans and technology. They focus on three main themes: ethics, communications, and futures.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. McCarthy J.. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Popplewell Cicely M., North-Holland Publishing Company, Amsterdam 1963, pp. 21–28.McCarthy John. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222.Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
  6. J. Hartmanis, P. M. LewisII, and R. E. Stearns. Classifications of computations by time and memory requirements. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29,1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 31–35.Jir Becvar - 1972 - Journal of Symbolic Logic 37 (3):624.
  7.  91
    Kallick Bruce. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by Morrell A. J. H., North-Holland Publishing Company, Amsterdam 1969, pp. 269–275.Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  86
    Wang Hao. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58.Joyce Friedman - 1974 - Journal of Symbolic Logic 39 (2):350-350.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  76
    International conference on theoretical computer science (ifip tcs2000).Takayasu Ito - 2001 - Bulletin of Symbolic Logic 7 (2):291-292.
  10. The Practice of Enterprise Modeling - 15th IFIP WG 8.1 Working Conference, PoEM 2022.Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi (eds.) - 2022 - Springer.
     
    Export citation  
     
    Bookmark  
  11. Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory, edited by E. R. Caianiello, Academic Press, New York and London1966, pp. 35–65. Reprinted in Pubblicazioni dell'Istituto Nazionale per le Applicazioni del Calcolo, ser. 11 no. 669, Rome 1966. - C. Böhm. The CUCH as a formal and description language. Formal language description languages for computer programming, Proceedings of the IFIP Working Conference on Formal Language Description Languages, edited by T. B. SteelJr., North-Holland Publishing Company, Amsterdam1966, pp. 179–197. [REVIEW]Jonathan P. Seldin - 1975 - Journal of Symbolic Logic 40 (1):81-83.
  12. International federation for information processing's framework for computer ethics.Professor J. Berleur - 1996 - Science and Engineering Ethics 2 (2):155-165.
    This paper reviews codes of ethics and codes of conduct from different countries. The differences and similarities between code content and between attitudes are considered. Distinction is drawn between a code of ethics and a code of conduct. Recommendations are made for establishing a common framework for IFIP (International Federation for Information Process) Member or Affiliate Societies.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  21
    Conceptualising Programming Language Semantics.Troy Kaighin Astarte - 2025 - Philosophies 10 (4):90.
    The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective. In this paper, I draw on the philosophical and cognitive theories of metaphor and use the early work of Adriaan van Wijngaarden as a historical case study to explore the conceptual and discursive surroundings of semantics. I investigate the relationships between the texts of semantics, the abstract entities they denote, and the metaphors, analogies, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Applications of the ACGT Master Ontology on Cancer.Mathias Brochhausen, Gabriele Weiler, Luis Martín, Cristian Cocos, Holger Stenzhorn, Norbert Graf, Martin Dörr, Manolis Tsiknakis & Barry Smith - 2008 - In Meersman R. & Herrero P., Proceedings of 4th International IFIP Workshop On Semantic Web and Web Semantics (OTM 2008: Workshops), LNCS 5333. pp. 1046–1055.
    In this paper we present applications of the ACGT Master Ontology (MO) which is a new terminology resource for a transnational network providing data exchange in oncology, emphasizing the integration of both clinical and molecular data. The development of a new ontology was necessary due to problems with existing biomedical ontologies in oncology. The ACGT MO is a test case for the application of best practices in ontology development. This paper provides an overview of the application of the ontology within (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Internet-Based Commons of Intellectual Resources: An Exploration of their Variety.Paul B. de Laat - 2006 - In Jacques Berleur, Markku I. Nurminen & John Impagliazzo, IFIP; Social Informatics: An Information Society for All? In Remembrance of Rob Kling Vol 223. Springer.
    During the two last decades, speeded up by the development of the Internet, several types of commons have been opened up for intellectual resources. In this article their variety is being explored as to the kind of resources and the type of regulation involved. The open source software movement initiated the phenomenon, by creating a copyright-based commons of source code that can be labelled `dynamic': allowing both use and modification of resources. Additionally, such a commons may be either protected from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Skeuomorphic Reassurance: Personhood, Dementia, and Gerontechnology.David Kreps - 2016 - In David Kreps, Gordon Fletcher & Marie Griffiths, Technology and Intimacy: Choice or Coercion. HCC 2016. IFIP Advances in Information and Communication Technology, vol 474. Cham.: Springer Nature. pp. 61-71.
    This paper introduces the concept of ‘skeuomorphic reassurance’ as a guiding principle for human interfaces in technological development and design, particularly for older people and people with dementia (PwD). Skeuomorphs exhibit decorative design elements reminiscent of ‘parent’ objects that incorporated such design elements because they were structurally integral. Human interfaces adopted by new technologies need to be carefully balanced between novelty and recognisability. -/- The philosophy of personhood is discussed in the context of dementia, concluding that the subjective character of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  38
    Revocable Anonymisation in Video Surveillance: A ‘Digital Cloak of Invisibility’.Feiten Linus, Sebastian Sester, Christian Zimmermann, Sebastian Weydner-Volkmann, Laura Wehle & Bernd Becker - 2016 - In David Kreps, Gordon Fletcher & Marie Griffiths, Technology and Intimacy: Choice or Coercion. HCC 2016. IFIP Advances in Information and Communication Technology, vol 474. Cham.: Springer Nature. pp. 314-327.
    Video surveillance is an omnipresent phenomenon in today’s metropolitan life. Mainly intended to solve crimes, to prevent them by realtime-monitoring or simply as a deterrent, video surveillance has also become interesting in economical contexts; e.g. to create customer profiles and analyse patterns of their shopping behaviour. The extensive use of video surveillance is challenged by legal claims and societal norms like not putting everybody under generalised suspicion or not recording people without their consent. In this work we propose a technological (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Ontological Analysis and Redesign of Security Modeling in ArchiMate.Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi - 2022 - In Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi, The Practice of Enterprise Modeling - 15th IFIP WG 8.1 Working Conference, PoEM 2022. Springer. pp. 82-98.
    Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations