Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable Systems: Software, Computing, Networks [[electronic resource] ] : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper
| Dependable Systems: Software, Computing, Networks [[electronic resource] ] : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 295 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Special purpose computers Computer system failures Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Special Purpose and Application-Based Systems System Performance and Evaluation |
| ISBN | 3-540-36823-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic Computing for Virtual Laboratories -- Dependable Networks -- Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks -- Robustness of the Internet at the Topology and Routing Level -- Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn. |
| Record Nr. | UNISA-996465987203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper
| Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 295 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Special purpose computers Computer system failures Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Special Purpose and Application-Based Systems System Performance and Evaluation |
| ISBN | 3-540-36823-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic Computing for Virtual Laboratories -- Dependable Networks -- Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks -- Robustness of the Internet at the Topology and Routing Level -- Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn. |
| Record Nr. | UNINA-9910484122403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human Machine Interaction [[electronic resource] ] : Research Results of the MMI Program / / edited by Denis Lalanne, Juerg Kohlas
| Human Machine Interaction [[electronic resource] ] : Research Results of the MMI Program / / edited by Denis Lalanne, Juerg Kohlas |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 311 p.) |
| Disciplina |
005.437
4.019 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
User interfaces (Computer systems)
Multimedia information systems Computer graphics Software engineering Computer simulation Computer logic User Interfaces and Human Computer Interaction Multimedia Information Systems Computer Graphics Software Engineering Simulation and Modeling Logics and Meanings of Programs |
| ISBN | 3-642-00437-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Human Machine Interaction -- Multimodal Interfaces: A Survey of Principles, Models and Frameworks -- Interactive Visualization - A Survey -- Mixed Reality: A Survey -- Multimodal User Interfaces -- Intelligent Multi-modal Interfaces for Mobile Applications in Hostile Environment(IM-HOST) -- MEMODULES as Tangible Shortcuts to Multimedia Information -- Why Androids Will Have Emotions: Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind -- Interactive Visualization -- EvoSpaces - Multi-dimensional Navigation Spaces for Software Evolution -- HOVISSE – Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment -- A Language and a Methodology for Prototyping User Interfaces for Control Systems -- Mixed Reality -- See ColOr: Seeing Colours with an Orchestra -- 6 th Sense– Toward a Generic Framework for End-to-End Adaptive Wearable Augmented Reality. |
| Record Nr. | UNISA-996466039103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Human Machine Interaction [[electronic resource] ] : Research Results of the MMI Program / / edited by Denis Lalanne, Juerg Kohlas
| Human Machine Interaction [[electronic resource] ] : Research Results of the MMI Program / / edited by Denis Lalanne, Juerg Kohlas |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 311 p.) |
| Disciplina |
005.437
4.019 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
User interfaces (Computer systems)
Multimedia information systems Computer graphics Software engineering Computer simulation Computer logic User Interfaces and Human Computer Interaction Multimedia Information Systems Computer Graphics Software Engineering Simulation and Modeling Logics and Meanings of Programs |
| ISBN | 3-642-00437-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Human Machine Interaction -- Multimodal Interfaces: A Survey of Principles, Models and Frameworks -- Interactive Visualization - A Survey -- Mixed Reality: A Survey -- Multimodal User Interfaces -- Intelligent Multi-modal Interfaces for Mobile Applications in Hostile Environment(IM-HOST) -- MEMODULES as Tangible Shortcuts to Multimedia Information -- Why Androids Will Have Emotions: Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind -- Interactive Visualization -- EvoSpaces - Multi-dimensional Navigation Spaces for Software Evolution -- HOVISSE – Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment -- A Language and a Methodology for Prototyping User Interfaces for Control Systems -- Mixed Reality -- See ColOr: Seeing Colours with an Orchestra -- 6 th Sense– Toward a Generic Framework for End-to-End Adaptive Wearable Augmented Reality. |
| Record Nr. | UNINA-9910484021203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [[electronic resource] ] : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings / / edited by Christine Froidevaux, Juerg Kohlas
| Symbolic and Quantitative Approaches to Reasoning and Uncertainty [[electronic resource] ] : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings / / edited by Christine Froidevaux, Juerg Kohlas |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (X, 438 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-49438-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | For all typical -- A posteriori knowledge: from ambiguous knowledge and undefined information to knowledge -- Modeling uncertain relational knowledge: the AV-quantified production rules approach -- Multiple database logic -- A local approach to reasoning under inconsistency in stratified knowledge bases -- Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information -- A cost bounded possibilistic ATMS -- A substructural connective for possibilistic logic -- Chain graphs: Semantics and expressiveness -- Axiomatic treatment of possibilistic independence -- Parametric structure of probabilities in Bayesian networks -- From non-monotonic syntax-based entailment to preference-based argumentation -- Non-monotonic syntax-based entailment: A classification of consequence relations -- Local Möbius transforms of monotone capacities -- Automated reasoning with merged contradictory information whose reliability depends on topics -- Linking transition-based update and base revision -- Prioritized transitions for updates -- Probabilistic satisfiability and decomposition -- Update postulates without inertia -- Similarity-based consequence relations -- Epistemic approach to actions with typical effects -- Nonmonotonic belief state frames and reasoning frames -- A Bayesian network based learning system: — Architecture and performance comparison with other methods -- Specificity by default -- Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases -- On the formalism of stochastic logic -- Using default logic in information retrieval -- Sensitivity analysis in Bayesian networks -- Bayesian approximation and invariance of Bayesian belief functions -- Model-based diagnostics using hints -- An axiomatic approach to extensional probability measures -- The dynamics of default reasoning -- Lemma handling in default logic theorem provers -- Uncertain reasoning in concept lattices -- A theorem prover for default logic based on prioritized conflict resolution and an extended resolution principle -- A theorem prover for lukaszewicz open default theory -- Two different types of discontinuity of bayesian learning in causal probabilistic networks -- Revision in extended propositional calculus -- Using qualitative uncertainty in protein topology prediction -- Circumscribing features and fluents: Reasoning about action with default effects -- Using Maximum Entropy to compute marginal probabilities in a causal binary tree need not take exponential time -- Yet some more considerations on cumulativity in default logics -- A two-stage approach to first order default reasoning -- A reduction of the theory of confirmation to the notions of distance and measure -- Cluster-based specification techniques in Dempster-Shafer theory -- And/or trees for knowledge representation -- Why defeasible deontic logic needs a multi preference semantics -- Numeric defaults. |
| Record Nr. | UNISA-996466131603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||