Edizione	[1st ed. 2009.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica	1 online resource (XVIII, 516 p.)
Disciplina	005.74
Collana	Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico	Software engineering Computers Computer programming Data structures (Computer science) Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Models and Principles Data Structures
Soggetto genere / forma	Gramado (2009) Kongress.
ISBN	3-642-04840-4
Classificazione	DAT 310f DAT 600f SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	ER 30th Anniversary Paper -- Thirty Years of ER Conferences: Milestones, Achievements, and Future Directions -- Keynotes -- A Frame Manipulation Algebra for ER Logical Stage Modelling -- Conceptual Modeling in the Time of the Revolution: Part II -- Data Auditor: Analyzing Data Quality Using Pattern Tableaux -- Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration -- Conceptual Modeling -- A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models -- An Empirical Study of Enterprise Conceptual Modeling -- Formalizing Linguistic Conventions for Conceptual Models -- Requirements Engineering -- Monitoring and Diagnosing Malicious Attacks with Autonomic Software -- A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations -- Modeling Domain Variability in Requirements Engineering with Contexts -- Foundational Aspects -- Information Networking Model -- Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations -- Inducing Metaassociations and Induced Relationships -- Query Approaches -- Tractable Query Answering over Conceptual Schemata -- Query-By-Keywords (QBK): Query Formulation Using Semantics and Feedback -- Cluster-Based Exploration for Effective Keyword Search over Semantic Datasets -- Space and Time Modeling -- Geometrically Enhanced Conceptual Modelling -- Anchor Modeling -- Evaluating Exceptions on Time Slices -- Schema Matching and Integration -- A Strategy to Revise the Constraints of the Mediated Schema -- Schema Normalization for Improving Schema Matching -- Extensible User-Based XML Grammar Matching -- Ontology-Based Approaches -- Modeling Associations through Intensional Attributes -- Modeling Concept Evolution: A Historical Perspective -- FOCIH: Form-Based Ontology Creation and Information Harvesting -- Specifying Valid Compound Terms in Interrelated Faceted Taxonomies -- Application Contexts -- Conceptual Modeling in Disaster Planning Using Agent Constructs -- Modelling Safe Interface Interactions in Web Applications -- A Conceptual Modeling Approach for OLAP Personalization -- Creating User Profiles Using Wikipedia -- Process and Service Modeling -- Hosted Universal Composition: Models, Languages and Infrastructure in mashArt -- From Static Methods to Role-Driven Service Invocation – A Metamodel for Active Content in Object Databases -- Business Process Modeling: Perceived Benefits -- Industrial Session -- Designing Law-Compliant Software Requirements -- A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design -- Virtual Business Operating Environment in the Cloud: Conceptual Architecture and Challenges.
Record Nr.	UNISA-996466364803316

Edizione	[1st ed. 2010.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica	1 online resource (XII, 302 p. 125 illus.)
Disciplina	620.00420285
Collana	Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico	Computer communication systems Software engineering Application software User interfaces (Computer systems) Information storage and retrieval Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Software Engineering User Interfaces and Human Computer Interaction Information Storage and Retrieval
Soggetto genere / forma	Kongress.
ISBN	1-280-38942-7 9786613567345 3-642-16066-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Cooperative Applications -- Using Tag Clouds to Promote Community Awareness in Research Environments -- A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building Environment -- Applying Situation Awareness Approach to Cooperative Play in Interactive Installation Storytelling System -- Argumentation Tools in a Collaborative Development Environment -- Cooperative Learning by Replay Files in Real-Time Strategy Game -- Cooperative eLearning to Enhance Knowledge Creation -- Memory and Creativity in Cooperative vs. Non cooperative Spatial Planning and Architecture -- An Embedded Road Crack Detection System in a Cooperative Platform -- Saving Energy with Cooperative Group-Based Wireless Sensor Networks -- Enhancing Collaboration in Vehicular Networks -- Initial Risk Assessment of Emergency Events in Cooperative Operating Control -- The Sensitivity Analysis for Cooperative Decision by TOPSIS Method -- A Freshness Based Persistent Assurance Scheme for Secure Scalable Media Distribution -- Cooperative Decision Making for Evaluating Ports’ Reception Facilities -- Group Formation through Cooperating Node in VANETs -- Scrum in Research -- Towards a Framework for the Development of CSCW Systems -- Cooperative Design -- An Anthropo-Based Study of Industrial Design Cooperative Practices Using “Mediating Objects” -- Design for Service-Oriented Collaborative Design and Manufacturing Platform -- Cluster Analysis for Classifying Similar Shared Resources in Cooperative Design -- Parametric CAD Data Exchange Using Geometry-Based Neutral Macro File -- Study of Collaborative Design Based on Fuzzy Theory -- Technological Change: Educating for Extreme Collaboration -- Team Organization and Web-Based Project Management for Collaborative Highway Design -- Taking the Customer into Account in Collaborative Design -- Cooperative Visualization -- Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting -- Explore, Collaborate and Publish Official Statistics for Measuring Regional Progress -- Pattern Browsing and Query Adjustment for the Exploratory Analysis and Cooperative Visualisation of Microarray Time-Course Data -- CAD and VR Technologies Used in Civil Engineering Education -- Complicated Simulation Visualization Based on Grid and Cloud Computing -- Visualization of Neutral Model of Ship Pipe System Using X3D -- Cooperative Engineering -- Coordinating a Cooperative Automotive Manufacturing Network – An Agent-Based Model -- A Constraint Solving Method for Collaborative Product Development -- A Solution of Manufacturing Resources Sharing in Cloud Computing Environment -- Cluster Analysis on Candidates of Cooperative Product Development Team -- Collaboration Support in a Web-Based SCADA System -- Collaborative Control of Hierarchical System Based on JADE -- Requirement Specification for Agent-Based Cooperative Control of Dynamical Systems -- Web Engineering Process Matrix for Sustainable Deployment of Web-Based Applications -- Collaborative and Visualized Safety Planning for Construction Performed at High Elevation -- Product Precision Information Modeling under Cooperative Virtual Assembly Environment -- Task Scheduling of Collaborative Product Design Project.
Record Nr.	UNISA-996465980803316

Edizione	[1st ed. 2009.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica	1 online resource (XVI, 472 p.)
Disciplina	005.8/2
Collana	Security and Cryptology
Soggetto topico	Data encryption (Computer science) Coding theory Information theory Data structures (Computer science) Computer security Algorithms Computer science—Mathematics Cryptology Coding and Information Theory Data Structures and Information Theory Systems and Data Security Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation
Soggetto genere / forma	Kongress. Lausanne (2009)
ISBN	3-642-04138-8
Classificazione	DAT 130f DAT 260f DAT 465f SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Software Implementations -- Faster and Timing-Attack Resistant AES-GCM -- Accelerating AES with Vector Permute Instructions -- SSE Implementation of Multivariate PKCs on Modern x86 CPUs -- MicroEliece: McEliece for Embedded Devices -- Invited Talk 1 -- Physical Unclonable Functions and Secure Processors -- Side Channel Analysis of Secret Key Cryptosystems -- Practical Electromagnetic Template Attack on HMAC -- First-Order Side-Channel Attacks on the Permutation Tables Countermeasure -- Algebraic Side-Channel Attacks on the AES: Why Time also Matters in DPA -- Differential Cluster Analysis -- Side Channel Analysis of Public Key Cryptosystems -- Known–Plaintext–Only Attack on RSA–CRT with Montgomery Multiplication -- A New Side-Channel Attack on RSA Prime Generation -- Side Channel and Fault Analysis Countermeasures -- An Efficient Method for Random Delay Generation in Embedded Software -- Higher-Order Masking and Shuffling for Software Implementations of Block Ciphers -- A Design Methodology for a DPA-Resistant Cryptographic LSI with RSL Techniques -- A Design Flow and Evaluation Framework for DPA-Resistant Instruction Set Extensions -- Invited Talk 2 -- Crypto Engineering: Some History and Some Case Studies -- Pairing-Based Cryptography -- Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers -- Faster -Arithmetic for Cryptographic Pairings on Barreto-Naehrig Curves -- Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves -- New Ciphers and Efficient Implementations -- KATAN and KTANTAN — A Family of Small and Efficient Hardware-Oriented Block Ciphers -- Programmable and Parallel ECC Coprocessor Architecture: Tradeoffs between Area, Speed and Security -- Elliptic Curve Scalar Multiplication Combining Yao’s Algorithm and Double Bases -- TRNGs and Device Identification -- The Frequency Injection Attack on Ring-Oscillator-Based True Random Number Generators -- Low-Overhead Implementation of a Soft Decision Helper Data Algorithm for SRAM PUFs -- CDs Have Fingerprints Too -- Invited Talk 3 -- The State-of-the-Art in IC Reverse Engineering -- Hot Topic Session: Hardware Trojans and Trusted ICs -- Trojan Side-Channels: Lightweight Hardware Trojans through Side-Channel Engineering -- MERO: A Statistical Approach for Hardware Trojan Detection -- Theoretical Aspects -- On Tamper-Resistance from a Theoretical Viewpoint -- Mutual Information Analysis: How, When and Why? -- Fault Analysis -- Fault Attacks on RSA Signatures with Partially Unknown Messages -- Differential Fault Analysis on DES Middle Rounds.
Record Nr.	UNISA-996465530903316

Edizione	[1st ed. 2009.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica	1 online resource (XVI, 472 p.)
Disciplina	005.8/2
Collana	Security and Cryptology
Soggetto topico	Data encryption (Computer science) Coding theory Information theory Data structures (Computer science) Computer security Algorithms Computer science—Mathematics Cryptology Coding and Information Theory Data Structures and Information Theory Systems and Data Security Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation
Soggetto genere / forma	Kongress. Lausanne (2009)
ISBN	3-642-04138-8
Classificazione	DAT 130f DAT 260f DAT 465f SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Software Implementations -- Faster and Timing-Attack Resistant AES-GCM -- Accelerating AES with Vector Permute Instructions -- SSE Implementation of Multivariate PKCs on Modern x86 CPUs -- MicroEliece: McEliece for Embedded Devices -- Invited Talk 1 -- Physical Unclonable Functions and Secure Processors -- Side Channel Analysis of Secret Key Cryptosystems -- Practical Electromagnetic Template Attack on HMAC -- First-Order Side-Channel Attacks on the Permutation Tables Countermeasure -- Algebraic Side-Channel Attacks on the AES: Why Time also Matters in DPA -- Differential Cluster Analysis -- Side Channel Analysis of Public Key Cryptosystems -- Known–Plaintext–Only Attack on RSA–CRT with Montgomery Multiplication -- A New Side-Channel Attack on RSA Prime Generation -- Side Channel and Fault Analysis Countermeasures -- An Efficient Method for Random Delay Generation in Embedded Software -- Higher-Order Masking and Shuffling for Software Implementations of Block Ciphers -- A Design Methodology for a DPA-Resistant Cryptographic LSI with RSL Techniques -- A Design Flow and Evaluation Framework for DPA-Resistant Instruction Set Extensions -- Invited Talk 2 -- Crypto Engineering: Some History and Some Case Studies -- Pairing-Based Cryptography -- Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers -- Faster -Arithmetic for Cryptographic Pairings on Barreto-Naehrig Curves -- Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves -- New Ciphers and Efficient Implementations -- KATAN and KTANTAN — A Family of Small and Efficient Hardware-Oriented Block Ciphers -- Programmable and Parallel ECC Coprocessor Architecture: Tradeoffs between Area, Speed and Security -- Elliptic Curve Scalar Multiplication Combining Yao’s Algorithm and Double Bases -- TRNGs and Device Identification -- The Frequency Injection Attack on Ring-Oscillator-Based True Random Number Generators -- Low-Overhead Implementation of a Soft Decision Helper Data Algorithm for SRAM PUFs -- CDs Have Fingerprints Too -- Invited Talk 3 -- The State-of-the-Art in IC Reverse Engineering -- Hot Topic Session: Hardware Trojans and Trusted ICs -- Trojan Side-Channels: Lightweight Hardware Trojans through Side-Channel Engineering -- MERO: A Statistical Approach for Hardware Trojan Detection -- Theoretical Aspects -- On Tamper-Resistance from a Theoretical Viewpoint -- Mutual Information Analysis: How, When and Why? -- Fault Analysis -- Fault Attacks on RSA Signatures with Partially Unknown Messages -- Differential Fault Analysis on DES Middle Rounds.
Record Nr.	UNINA-9910482972503321