02481nam0 2200493 i 450 LO1046510620231121125520.08802051518IT99-2516 19981116d1998 ||||0itac50 baitaitz01i xxxe z01nIntroduzione ai princìpi della morale e della legislazionedi Jeremy Benthama cura di Eugenio Lecaldanotraduzione e note di Stefania Di PietroTorinoUnione tipografico-editrice torinese\1998!485 p., \8! p. di tav.ill.24 cm.Classici della filosofia001CFI00063302001 Classici della filosofia˜An œintroduction to the principles of morals and legislation.CFI0414865CFIV10130350515FilosofiaFIRRMLC001456IEticaFIRRMLC007322E102Filosofia. Miscellanea.21170Etica (Filosofia morale)21171.5ETICA. UTILITARISMO20171.521Bentham, Jeremy <1748-1832>CFIV101303070123453Lecaldano, EugenioCFIV008416Di Pietro, StefaniaMILV023252Bentham, GeremiaMILV148029Bentham, Jeremy <1748-1832>Bentham, Jérémie <1748-1832>MILV246347Bentham, Jeremy <1748-1832>ITIT-0119981116IT-RM028 IT-RM0289 IT-RM0313 IT-RM0418 IT-FR0084 IT-FR0017 Biblioteca Universitaria AlessandrinaRM028 Biblioteca Statale A. BaldiniRM0289 BIBLIOTECA CASANATENSERM0313 BIBLIOTECA ACCADEMIA NAZ. DEI LINCEI E CORSINIANARM0418 Biblioteca Del Monumento Nazionale Di MontecassinoFR0084 Biblioteca umanistica Giorgio ApreaFR0017 LO10465106Biblioteca umanistica Giorgio Aprea 52CIS 850 UTET BEN(12) 52VM 0000625425 VM barcode:00040650. - Inventario:7551 FLSVMB 2006072420121204 52S.L. 102 UTET Ben 52FSS0000075515 VMN RS C 2013072220130722 01 04 07 10 25 52Introduction to the principles of morals and legislation50515UNICAS05148nam 22006255 450 99646548450331620240409104044.03-540-30232-8978354023252010.1007/b100576(CKB)1000000000212597(MiAaPQ)EBC3088675(DE-He213)978-3-540-30232-2(BIP)011189136(PPN)155190415(EXLCZ)99100000000021259720121227d2004 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierFormal Techniques for Networked and Distributed Systems - FORTE 2004[electronic resource] 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /edited by David de Frutos-Escrig, Manuel Nunez1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (X, 382 p.)Lecture Notes in Computer Science,1611-3349 ;3235Invited Talks -- A Logical Account of NGSCB -- Composing Event Constraints in State-Based Specification -- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research -- Regular Papers -- Parameterized Models for Distributed Java Objects -- Towards the Harmonisation of UML and SDL -- Localizing Program Errors for Cimple Debugging -- Formal Verification of a Practical Lock-Free Queue Algorithm -- Formal Verification of Web Applications Modeled by Communicating Automata -- Towards Design Recovery from Observations -- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach -- Connectivity Testing Through Model-Checking -- Fault Propagation by Equation Solving -- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems -- Formal Composition of Distributed Scenarios -- Conditions for Resolving Observability Problems in Distributed Testing -- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design -- Witness and Counterexample Automata for ACTL -- A Symbolic Symbolic State Space Representation -- Introducing the Iteration in sPBC -- Petri Net Semantics of the Finite ?-Calculus -- Symbolic Diagnosis of Partially Observable Concurrent Systems -- Automatized Verification of Ad Hoc Routing Protocols -- A Temporal Logic Based Framework for Intrusion Detection.This section gives a description of notions used throughout this study. Current achievements in developing action-centered ontologies are also discussed. 2.1 Ontologies In the context of information extraction and retrieval, different kinds of ontologies can be distinguished [15]: * Top-level ontologies describe very general concepts like space and time, not depending on a particular domain, * Domain ontologies and task ontologies describe the vocabulary related to a generic domain or kind of task, detailing the terms used in the top-level ontology, * Application ontologies describe the concepts that depend on the particular domain and task within a specific activity. Several investigations have been conducted to bring actions (tasks) to bear on - tologies. Among them are Chandrasekaran et al. [6] and Mizoguchi et al. [23] in the fields of AI and Knowledge Engineering. For the geospatial domain, Kuhn [21] and Raubal and Kuhn [26] have attempted to support human actions in ontologies for transportation. Acknowledging the importance of human actions in the geographic domain, a research workshop was held in 2002, bringing together experts from diff- ent disciplines to share the knowledge and work on this issue [1]. Camara [5], one of the workshop participants, has proposed that action-driven spatial ontologies are formed via category theory, for the case of emergency action plans.Lecture Notes in Computer Science,1611-3349 ;3235Computer networksSoftware engineeringComputer scienceOperating systems (Computers)Computer Communication NetworksSoftware EngineeringComputer Science Logic and Foundations of ProgrammingOperating SystemsGeographic Information SystemsTechnology & EngineeringComputer networks.Software engineering.Computer science.Operating systems (Computers).Computer Communication Networks.Software Engineering.Computer Science Logic and Foundations of Programming.Operating Systems.004.6Frutos-Escrig David deedthttp://id.loc.gov/vocabulary/relators/edtNunez Manueledthttp://id.loc.gov/vocabulary/relators/edtBOOK996465484503316Formal Techniques for Networked and Distributed Systems - FORTE 20043562232UNISA