Edizione	[1st ed. 2021.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica	1 online resource (344 pages)
Disciplina	004
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computers Computer networks Computers, Special purpose Computer systems Compilers (Computer programs) Image processing - Digital techniques Computer vision Computer Hardware Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Compilers and Interpreters Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN	3-030-79025-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Applications -- Design Tools -- Architecture -- Security -- Posters.
Record Nr.	UNISA-996464505403316

Edizione	[1st ed. 2020.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica	1 online resource (XIII, 404 p. 180 illus., 126 illus. in color.)
Disciplina	004
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computers Computer systems Computers, Special purpose Computer networks Software engineering Computer Hardware Computer System Implementation Special Purpose and Application-Based Systems Computer Communication Networks Software Engineering
ISBN	3-030-44534-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Design Methods & Tools -- Design Space Exploration & Estimation Techniques -- High-level Synthesis -- Architectures -- Applications. .
Record Nr.	UNISA-996418222903316

Edizione	[1st ed. 2010.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica	1 online resource (205 p. 82 illus.)
Disciplina	004.2
Collana	Security and Cryptology
Soggetto topico	Computer communication systems Special purpose computers Data encryption (Computer science) Application software Computers and civilization Algorithms Computer Communication Networks Special Purpose and Application-Based Systems Cryptology Information Systems Applications (incl. Internet) Computers and Society Algorithm Analysis and Problem Complexity
ISBN	1-280-38708-4 9786613565006 3-642-13556-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Design -- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance -- Architectural Design Decisions for Achieving Reliable Software Systems -- Integrating Fault-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical Systems, -- Verification and Validation -- A Road to a Formally Verified General-Purpose Operating System -- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements -- Testing Fault Robustness of Model Predictive Control Algorithms -- Domain-Specific Results -- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense -- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines -- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays -- Standards -- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling.
Record Nr.	UNISA-996465668203316

Edizione	[1st ed. 2009.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica	1 online resource (XII, 335 p.)
Disciplina	004.22
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Computer organization Special purpose computers Computer system failures Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Systems Organization and Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Operating Systems
ISBN	3-642-10248-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings.
Record Nr.	UNISA-996465641703316

Edizione	[1st ed. 2018.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica	1 online resource (X, 131 p. 72 illus.)
Disciplina	006.6
Collana	Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico	Optical data processing Artificial intelligence Application software Special purpose computers Image Processing and Computer Vision Artificial Intelligence Information Systems Applications (incl. Internet) Special Purpose and Application-Based Systems
ISBN	3-319-94544-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996465953603316