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.
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Record Nr. | UNISA-996465393403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Record Nr. | UNINA-9910767508103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNISA-996465278603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNINA-9910483369103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida
| Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 530 p.) |
| Disciplina | 004n/a |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Computer simulation Artificial intelligence Application software Multimedia information systems User interfaces (Computer systems) Information Storage and Retrieval Simulation and Modeling Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Peking (2009) |
| ISBN | 3-642-04875-7 |
| Classificazione |
DAT 614f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Using Neural Imaging to Inform the Instruction of Mathematics -- Distributed Human-Machine Systems: Progress and Prospects -- Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem -- How Midazolam Can Help Us Understand Human Memory: 3 Illustrations and a Proposal for a New Methodology -- Research on Brain-Like Computer -- A Framework for Machine Learning with Ambiguous Objects -- Special Session on Conversational Informatics -- Implementing a Multi-user Tour Guide System with an Embodied Conversational Agent -- Actively Adaptive Agent for Human-Agent Collaborative Task -- Low-Overhead 3D Items Drawing Engine for Communicating Situated Knowledge -- A Method to Detect Lies in Free Communication Using Diverse Nonverbal Information: Towards an Attentive Agent -- An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks -- Special Session on Human-Web Interaction -- Consumer Decision Making in Knowledge-Based Recommendation -- Incremental Learning of Triadic PLSA for Collaborative Filtering -- Interactive Storyboard: Animated Story Creation on Touch Interfaces -- Comparative Evaluation of Reliabilities on Semantic Search Functions: Auto-complete and Entity-Centric Unified Search -- Integrated Recommender Systems Based on Ontology and Usage Mining -- Active Media Retrieval and Sharing -- Knowledge-Based Concept Score Fusion for Multimedia Retrieval -- Example-Based Query Analysis Using Functional Conceptual Graphs -- Checking Satisfactions of XML Referential Integrity Constraints -- A Verification Method of Hyponymy between Chinese Terms Based on Concept Space -- Sharing Mobile Multimedia Annotations to Support Inquiry-Based Learning Using MobiTOP -- Understanding Perceived Gratifications for Mobile Content Sharing and Retrieval in a Game-Based Environment -- Why We Share: A Study of Motivations for Mobile Media Sharing -- Active Support Systems and Intelligent Interfaces -- The Layout of Web Pages: A Study on the Relation between Information Forms and Locations Using Eye-Tracking -- Human Characteristics on Length Perception with Three Fingers for Tactile Intelligent Interfaces -- A Model and Environment for Improving Multimedia Intensive Reading Practices -- Study on Adaptive Computer-Assisted Instruction for In-Service Training -- Research on Recreational Sports Instruction Using an Expert System -- Smart Digital Media -- Using 6LowPAN UPnP and OSGi to Implement Adaptable Home Ambient Intelligence Network Platform -- Low Frequency Domain Aided Texture Synthesis for Intra Prediction -- A Novel Geometry Image Coding -- Musical Style Classification Using Low-Level Features -- Multi-agent Systems and Autonomy-Oriented Computing -- Enterprise Cluster Dynamics and Innovation Diffusion: A New Scientific Approach -- A Novel Application of Organic Plant Farming Analysis System – Using Game Theory and Multi-Agent Technique -- A Dynamic Trust Network for Autonomy-Oriented Partner Finding -- Modeling an Educational Multi-Agent System in MaSE -- Enhancing Decentralized MAS-Based Framework for Composite Web Services Orchestration and Exception Handling by Means of Mobile Agents Technology -- Multi-objective Analysis on Optimization of Negotiation Support -- Data Mining and Ontology Mining in Active Media -- Rough Set Based Personalized Recommendation in Mobile Commerce -- SpamTerminator: A Personal Anti-spam Add-In for Outlook -- Classifying Images with Image and Text Search Clickthrough Data -- A Novel Fast Inter Mode Decision Algorithm in H.264/AVC for Forest Fire Prevention Surveillance -- A Method for Analyzing Software Faults Based on Mining Outliers’ Feature Attribute Sets -- Web Intelligence -- Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity -- The Quest for Parallel Reasoning on the Semantic Web -- A Model for Personalized Web-Scale Case Base Maintenance -- X3D-Based Web 3D Resources Integration and Reediting -- Providing Relevant Answers for Queries over E-Commerce Web Databases -- Detecting News Event from a Citizen Journalism Website Using Tags -- Networks and Security -- A New Mechanism for Job Scheduling in Computational Grid Network Environments -- Efficient and Provably Secure Self-certified Signature Scheme -- A Reversible Watermarking Scheme for 3D Meshes -- Neighbor-List Based Pairwise Key Management Scheme in Wireless Sensor Networks. |
| Record Nr. | UNISA-996465866003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida
| Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 530 p.) |
| Disciplina | 004n/a |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Computer simulation Artificial intelligence Application software Multimedia information systems User interfaces (Computer systems) Information Storage and Retrieval Simulation and Modeling Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Peking (2009) |
| ISBN | 3-642-04875-7 |
| Classificazione |
DAT 614f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Using Neural Imaging to Inform the Instruction of Mathematics -- Distributed Human-Machine Systems: Progress and Prospects -- Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem -- How Midazolam Can Help Us Understand Human Memory: 3 Illustrations and a Proposal for a New Methodology -- Research on Brain-Like Computer -- A Framework for Machine Learning with Ambiguous Objects -- Special Session on Conversational Informatics -- Implementing a Multi-user Tour Guide System with an Embodied Conversational Agent -- Actively Adaptive Agent for Human-Agent Collaborative Task -- Low-Overhead 3D Items Drawing Engine for Communicating Situated Knowledge -- A Method to Detect Lies in Free Communication Using Diverse Nonverbal Information: Towards an Attentive Agent -- An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks -- Special Session on Human-Web Interaction -- Consumer Decision Making in Knowledge-Based Recommendation -- Incremental Learning of Triadic PLSA for Collaborative Filtering -- Interactive Storyboard: Animated Story Creation on Touch Interfaces -- Comparative Evaluation of Reliabilities on Semantic Search Functions: Auto-complete and Entity-Centric Unified Search -- Integrated Recommender Systems Based on Ontology and Usage Mining -- Active Media Retrieval and Sharing -- Knowledge-Based Concept Score Fusion for Multimedia Retrieval -- Example-Based Query Analysis Using Functional Conceptual Graphs -- Checking Satisfactions of XML Referential Integrity Constraints -- A Verification Method of Hyponymy between Chinese Terms Based on Concept Space -- Sharing Mobile Multimedia Annotations to Support Inquiry-Based Learning Using MobiTOP -- Understanding Perceived Gratifications for Mobile Content Sharing and Retrieval in a Game-Based Environment -- Why We Share: A Study of Motivations for Mobile Media Sharing -- Active Support Systems and Intelligent Interfaces -- The Layout of Web Pages: A Study on the Relation between Information Forms and Locations Using Eye-Tracking -- Human Characteristics on Length Perception with Three Fingers for Tactile Intelligent Interfaces -- A Model and Environment for Improving Multimedia Intensive Reading Practices -- Study on Adaptive Computer-Assisted Instruction for In-Service Training -- Research on Recreational Sports Instruction Using an Expert System -- Smart Digital Media -- Using 6LowPAN UPnP and OSGi to Implement Adaptable Home Ambient Intelligence Network Platform -- Low Frequency Domain Aided Texture Synthesis for Intra Prediction -- A Novel Geometry Image Coding -- Musical Style Classification Using Low-Level Features -- Multi-agent Systems and Autonomy-Oriented Computing -- Enterprise Cluster Dynamics and Innovation Diffusion: A New Scientific Approach -- A Novel Application of Organic Plant Farming Analysis System – Using Game Theory and Multi-Agent Technique -- A Dynamic Trust Network for Autonomy-Oriented Partner Finding -- Modeling an Educational Multi-Agent System in MaSE -- Enhancing Decentralized MAS-Based Framework for Composite Web Services Orchestration and Exception Handling by Means of Mobile Agents Technology -- Multi-objective Analysis on Optimization of Negotiation Support -- Data Mining and Ontology Mining in Active Media -- Rough Set Based Personalized Recommendation in Mobile Commerce -- SpamTerminator: A Personal Anti-spam Add-In for Outlook -- Classifying Images with Image and Text Search Clickthrough Data -- A Novel Fast Inter Mode Decision Algorithm in H.264/AVC for Forest Fire Prevention Surveillance -- A Method for Analyzing Software Faults Based on Mining Outliers’ Feature Attribute Sets -- Web Intelligence -- Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity -- The Quest for Parallel Reasoning on the Semantic Web -- A Model for Personalized Web-Scale Case Base Maintenance -- X3D-Based Web 3D Resources Integration and Reediting -- Providing Relevant Answers for Queries over E-Commerce Web Databases -- Detecting News Event from a Citizen Journalism Website Using Tags -- Networks and Security -- A New Mechanism for Job Scheduling in Computational Grid Network Environments -- Efficient and Provably Secure Self-certified Signature Scheme -- A Reversible Watermarking Scheme for 3D Meshes -- Neighbor-List Based Pairwise Key Management Scheme in Wireless Sensor Networks. |
| Record Nr. | UNINA-9910484889803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ad-Hoc, Mobile and Wireless Networks : 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / / Pedro M. Ruiz, Jose Joaquim Garcia-Luna-Aceves, (eds.)
| Ad-Hoc, Mobile and Wireless Networks : 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / / Pedro M. Ruiz, Jose Joaquim Garcia-Luna-Aceves, (eds.) |
| Pubbl/distr/stampa | Berlin ; ; , Heidelberg : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (xiv, 404 pages) : illustrations |
| Disciplina | 621.3821 |
| Collana |
Lecture notes in computer science
LNCS Sublibrary: SL 5--Computer communication networks and telecommunications |
| Soggetto topico |
Mobile communication systems
Wireless communication systems Ad hoc networks (Computer networks) |
| Soggetto genere / forma |
Kongress.
Murcia (2009) |
| ISBN | 3-642-04383-6 |
| Classificazione |
DAT 256f
ELT 745f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- TCP over Multi-Hop Wireless Networks: The Impact of MAC Level Interactions -- Cooperative Signalling and Its Application in a Power-Controlled MAC Protocol -- Joint Source-Channel-Network Decoding and Blind Estimation of Correlated Sensors Using Concatenated Zigzag Codes -- Challenges for Routing and Search in Dynamic and Self-organizing Networks -- Routing Metric for Interference and Channel Diversity in Multi-Radio Wireless Mesh Networks -- Minimum Delay Data Gathering in Radio Networks -- Asymptotic Delay Analysis and Timeout-Based Admission Control for Ad Hoc Wireless Networks -- Statistical Properties of the Delivery Rate for Single-Sink and Multiple-Sink Sensor Networks -- Application-Driven Analytic Toolbox for WSNs -- A Diffusion Approximation Analysis of Multilevel Ad Hoc and Sensor Networks -- Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment -- An Efficient and Scalable Address Autoconfiguration in Mobile Ad Hoc Networks -- Towards Fair Leader Election in Wireless Networks -- Auction Aggregation Protocols for Wireless Robot-Robot Coordination -- On Minimizing the Maximum Sensor Movement for Barrier Coverage of a Line Segment -- Mobile Sinks for Information Retrieval from Cluster-Based WSN Islands -- Secure EPC Gen2 Compliant Radio Frequency Identification -- On the Trade-Off between User-Location Privacy and Queried-Location Privacy in Wireless Sensor Networks -- SenSearch: GPS and Witness Assisted Tracking for Delay Tolerant Sensor Networks -- Monte Carlo Localization of Mobile Sensor Networks Using the Position Information of Neighbor Nodes -- Autonomous Transmission Power Adaptation for Multi-Radio Multi-Channel Wireless Mesh Networks -- A Decentralized Approach to Minimum-Energy Broadcasting in Static Ad Hoc Networks -- Heavily Reducing WSNs’ Energy Consumption by Employing Hardware-Based Compression -- Optimal and Fair Transmission Rate Allocation Problem in Multi-hop Cellular Networks -- Short Papers -- A Topology Management Routing Protocol for Mobile IP Support of Mobile Ad Hoc Networks -- Implementation and Comparison of AODV and OLSR Routing Protocols in an Ad-Hoc Network over Bluetooth -- Inside-Out OLSR Scalability Analysis -- Proximal Labeling for Oblivious Routing in Wireless Ad Hoc Networks -- Proposal and Evaluation of a Caching Scheme for Ad Hoc Networks -- A Secure Spontaneous Ad-Hoc Network to Share Internet Access -- A Middleware Family for VANETs -- Joint IP Address and Public Key Certificate Trust Model for Mobile Ad Hoc Networks -- A Localized Algorithm for Target Monitoring in Wireless Sensor Networks -- A Wireless Sensor Network Architecture for Homeland Security Application. |
| Record Nr. | UNISA-996465764703316 |
| Berlin ; ; , Heidelberg : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ad-Hoc, Mobile and Wireless Networks : 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / / Pedro M. Ruiz, Jose Joaquim Garcia-Luna-Aceves, (eds.)
| Ad-Hoc, Mobile and Wireless Networks : 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / / Pedro M. Ruiz, Jose Joaquim Garcia-Luna-Aceves, (eds.) |
| Pubbl/distr/stampa | Berlin ; ; , Heidelberg : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (xiv, 404 pages) : illustrations |
| Disciplina | 621.3821 |
| Collana |
Lecture notes in computer science
LNCS Sublibrary: SL 5--Computer communication networks and telecommunications |
| Soggetto topico |
Mobile communication systems
Wireless communication systems Ad hoc networks (Computer networks) |
| Soggetto genere / forma |
Kongress.
Murcia (2009) |
| ISBN | 3-642-04383-6 |
| Classificazione |
DAT 256f
ELT 745f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- TCP over Multi-Hop Wireless Networks: The Impact of MAC Level Interactions -- Cooperative Signalling and Its Application in a Power-Controlled MAC Protocol -- Joint Source-Channel-Network Decoding and Blind Estimation of Correlated Sensors Using Concatenated Zigzag Codes -- Challenges for Routing and Search in Dynamic and Self-organizing Networks -- Routing Metric for Interference and Channel Diversity in Multi-Radio Wireless Mesh Networks -- Minimum Delay Data Gathering in Radio Networks -- Asymptotic Delay Analysis and Timeout-Based Admission Control for Ad Hoc Wireless Networks -- Statistical Properties of the Delivery Rate for Single-Sink and Multiple-Sink Sensor Networks -- Application-Driven Analytic Toolbox for WSNs -- A Diffusion Approximation Analysis of Multilevel Ad Hoc and Sensor Networks -- Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment -- An Efficient and Scalable Address Autoconfiguration in Mobile Ad Hoc Networks -- Towards Fair Leader Election in Wireless Networks -- Auction Aggregation Protocols for Wireless Robot-Robot Coordination -- On Minimizing the Maximum Sensor Movement for Barrier Coverage of a Line Segment -- Mobile Sinks for Information Retrieval from Cluster-Based WSN Islands -- Secure EPC Gen2 Compliant Radio Frequency Identification -- On the Trade-Off between User-Location Privacy and Queried-Location Privacy in Wireless Sensor Networks -- SenSearch: GPS and Witness Assisted Tracking for Delay Tolerant Sensor Networks -- Monte Carlo Localization of Mobile Sensor Networks Using the Position Information of Neighbor Nodes -- Autonomous Transmission Power Adaptation for Multi-Radio Multi-Channel Wireless Mesh Networks -- A Decentralized Approach to Minimum-Energy Broadcasting in Static Ad Hoc Networks -- Heavily Reducing WSNs’ Energy Consumption by Employing Hardware-Based Compression -- Optimal and Fair Transmission Rate Allocation Problem in Multi-hop Cellular Networks -- Short Papers -- A Topology Management Routing Protocol for Mobile IP Support of Mobile Ad Hoc Networks -- Implementation and Comparison of AODV and OLSR Routing Protocols in an Ad-Hoc Network over Bluetooth -- Inside-Out OLSR Scalability Analysis -- Proximal Labeling for Oblivious Routing in Wireless Ad Hoc Networks -- Proposal and Evaluation of a Caching Scheme for Ad Hoc Networks -- A Secure Spontaneous Ad-Hoc Network to Share Internet Access -- A Middleware Family for VANETs -- Joint IP Address and Public Key Certificate Trust Model for Mobile Ad Hoc Networks -- A Localized Algorithm for Target Monitoring in Wireless Sensor Networks -- A Wireless Sensor Network Architecture for Homeland Security Application. |
| Record Nr. | UNINA-9910484806203321 |
| Berlin ; ; , Heidelberg : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adaptive and Natural Computing Algorithms [[electronic resource] ] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / / edited by Ville Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski
| Adaptive and Natural Computing Algorithms [[electronic resource] ] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / / edited by Ville Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 630 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction Life sciences Artificial intelligence Computer science Algorithms Software engineering User Interfaces and Human Computer Interaction Life Sciences Artificial Intelligence Theory of Computation Software Engineering |
| ISBN | 3-642-04921-4 |
| Classificazione |
DAT 708f
DAT 717f DAT 718f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural Networks -- Automatic Discriminative Lossy Binary Conversion of Redundant Real Training Data Inputs for Simplifying an Input Data Space and Data Representation -- On Tractability of Neural-Network Approximation -- Handling Incomplete Data Using Evolution of Imputation Methods -- Ideas about a Regularized MLP Classifier by Means of Weight Decay Stepping -- Connection Strategies in Associative Memory Models with Spiking and Non-spiking Neurons -- Some Enhancements to Orthonormal Approximation of 2D Functions -- Shortest Common Superstring Problem with Discrete Neural Networks -- A Methodology for Developing Nonlinear Models by Feedforward Neural Networks -- A Predictive Control Economic Optimiser and Constraint Governor Based on Neural Models -- Computationally Efficient Nonlinear Predictive Control Based on RBF Neural Multi-models -- Parallel Implementations of Recurrent Neural Network Learning -- Growing Competitive Network for Tracking Objects in Video Sequences -- Emission Analysis of a Fluidized Bed Boiler by Using Self-Organizing Maps -- Network Security Using Growing Hierarchical Self-Organizing Maps -- On Document Classification with Self-Organising Maps -- Evolutionary Computation -- A Heuristic Procedure with Guided Reproduction for Constructing Cocyclic Hadamard Matrices -- Tuning of Large-Scale Linguistic Equation (LE) Models with Genetic Algorithms -- Elitistic Evolution: An Efficient Heuristic for Global Optimization -- Solving the Multiple Sequence Alignment Problem Using Prototype Optimization with Evolved Improvement Steps -- Grid-Oriented Scatter Search Algorithm -- Agent-Based Gene Expression Programming for Solving the RCPSP/max Problem -- Feature Selection from Barkhausen Noise Data Using Genetic Algorithms with Cross-Validation -- Time-Dependent Performance Comparison of Evolutionary Algorithms -- Multiobjective Genetic Programming for Nonlinear System Identification -- NEAT in HyperNEAT Substituted with Genetic Programming -- Simulation Studies on a Genetic Algorithm Based Tomographic Reconstruction Using Time-of-Flight Data from Ultrasound Transmission Tomography -- Estimation of Sensor Network Topology Using Ant Colony Optimization -- Learning -- Scalability of Learning Impact on Complex Parameters in Recurrent Neural Networks -- A Hierarchical Classifier with Growing Neural Gas Clustering -- A Generative Model for Self/Non-self Discrimination in Strings -- On the Efficiency of Swap-Based Clustering -- Sum-of-Squares Based Cluster Validity Index and Significance Analysis -- Supporting Scalable Bayesian Networks Using Configurable Discretizer Actuators -- String Distances and Uniformities -- Emergent Future Situation Awareness: A Temporal Probabilistic Reasoning in the Absence of Domain Experts -- Efficient Hold-Out for Subset of Regressors -- Improving Optimistic Exploration in Model-Free Reinforcement Learning -- Improving Visualization, Scalability and Performance of Multiclass Problems with SVM Manifold Learning -- A Cat-Like Robot Real-Time Learning to Run -- Controlling the Experimental Three-Tank System via Support Vector Machines -- Feature-Based Clustering for Electricity Use Time Series Data -- The Effect of Different Forms of Synaptic Plasticity on Pattern Recognition in the Cerebellar Cortex -- Soft Computing -- Fuzzy Inference Systems for Efficient Non-invasive On-Line Two-Phase Flow Regime Identification -- Machine Tuning of Stable Analytical Fuzzy Predictive Controllers -- Crisp Classifiers vs. Fuzzy Classifiers: A Statistical Study -- Efficient Model Predictive Control Algorithm with Fuzzy Approximations of Nonlinear Models -- Dynamic Classifier Systems and Their Applications to Random Forest Ensembles -- A Fuzzy Shape Descriptor and Inference by Fuzzy Relaxation with Application to Description of Bones Contours at Hand Radiographs -- Hough and Fuzzy Hough Transform in Music Tunes Recognition Systems -- Bioinformatics -- Multiple Order Gradient Feature for Macro-Invertebrate Identification Using Support Vector Machines -- Bayesian Dimension Reduction Models for Microarray Data -- Gene Selection for Cancer Classification through Ensemble of Methods -- Applications -- Rules versus Hierarchy: An Application of Fuzzy Set Theory to the Assessment of Spatial Grouping Techniques -- A Novel Signal-Based Approach to Anomaly Detection in IDS Systems -- Extracting Discriminative Features Using Non-negative Matrix Factorization in Financial Distress Data -- Evolutionary Regression Modeling with Active Learning: An Application to Rainfall Runoff Modeling -- Gene Trajectory Clustering for Learning the Stock Market Sectors -- Accurate Prediction of Financial Distress of Companies with Machine Learning Algorithms -- Approximation Scheduling Algorithms for Solving Multi-objects Movement Synchronization Problem -- Automatic Segmentation of Bone Tissue in X-Ray Hand Images -- Automatic Morphing of Face Images -- A Comparison Study of Strategies for Combining Classifiers from Distributed Data Sources -- Visualizing Time Series State Changes with Prototype Based Clustering. |
| Record Nr. | UNISA-996465662903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Adaptive and Natural Computing Algorithms [[electronic resource] ] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / / edited by Ville Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski
| Adaptive and Natural Computing Algorithms [[electronic resource] ] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / / edited by Ville Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 630 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction Life sciences Artificial intelligence Computer science Algorithms Software engineering User Interfaces and Human Computer Interaction Life Sciences Artificial Intelligence Theory of Computation Software Engineering |
| ISBN | 3-642-04921-4 |
| Classificazione |
DAT 708f
DAT 717f DAT 718f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural Networks -- Automatic Discriminative Lossy Binary Conversion of Redundant Real Training Data Inputs for Simplifying an Input Data Space and Data Representation -- On Tractability of Neural-Network Approximation -- Handling Incomplete Data Using Evolution of Imputation Methods -- Ideas about a Regularized MLP Classifier by Means of Weight Decay Stepping -- Connection Strategies in Associative Memory Models with Spiking and Non-spiking Neurons -- Some Enhancements to Orthonormal Approximation of 2D Functions -- Shortest Common Superstring Problem with Discrete Neural Networks -- A Methodology for Developing Nonlinear Models by Feedforward Neural Networks -- A Predictive Control Economic Optimiser and Constraint Governor Based on Neural Models -- Computationally Efficient Nonlinear Predictive Control Based on RBF Neural Multi-models -- Parallel Implementations of Recurrent Neural Network Learning -- Growing Competitive Network for Tracking Objects in Video Sequences -- Emission Analysis of a Fluidized Bed Boiler by Using Self-Organizing Maps -- Network Security Using Growing Hierarchical Self-Organizing Maps -- On Document Classification with Self-Organising Maps -- Evolutionary Computation -- A Heuristic Procedure with Guided Reproduction for Constructing Cocyclic Hadamard Matrices -- Tuning of Large-Scale Linguistic Equation (LE) Models with Genetic Algorithms -- Elitistic Evolution: An Efficient Heuristic for Global Optimization -- Solving the Multiple Sequence Alignment Problem Using Prototype Optimization with Evolved Improvement Steps -- Grid-Oriented Scatter Search Algorithm -- Agent-Based Gene Expression Programming for Solving the RCPSP/max Problem -- Feature Selection from Barkhausen Noise Data Using Genetic Algorithms with Cross-Validation -- Time-Dependent Performance Comparison of Evolutionary Algorithms -- Multiobjective Genetic Programming for Nonlinear System Identification -- NEAT in HyperNEAT Substituted with Genetic Programming -- Simulation Studies on a Genetic Algorithm Based Tomographic Reconstruction Using Time-of-Flight Data from Ultrasound Transmission Tomography -- Estimation of Sensor Network Topology Using Ant Colony Optimization -- Learning -- Scalability of Learning Impact on Complex Parameters in Recurrent Neural Networks -- A Hierarchical Classifier with Growing Neural Gas Clustering -- A Generative Model for Self/Non-self Discrimination in Strings -- On the Efficiency of Swap-Based Clustering -- Sum-of-Squares Based Cluster Validity Index and Significance Analysis -- Supporting Scalable Bayesian Networks Using Configurable Discretizer Actuators -- String Distances and Uniformities -- Emergent Future Situation Awareness: A Temporal Probabilistic Reasoning in the Absence of Domain Experts -- Efficient Hold-Out for Subset of Regressors -- Improving Optimistic Exploration in Model-Free Reinforcement Learning -- Improving Visualization, Scalability and Performance of Multiclass Problems with SVM Manifold Learning -- A Cat-Like Robot Real-Time Learning to Run -- Controlling the Experimental Three-Tank System via Support Vector Machines -- Feature-Based Clustering for Electricity Use Time Series Data -- The Effect of Different Forms of Synaptic Plasticity on Pattern Recognition in the Cerebellar Cortex -- Soft Computing -- Fuzzy Inference Systems for Efficient Non-invasive On-Line Two-Phase Flow Regime Identification -- Machine Tuning of Stable Analytical Fuzzy Predictive Controllers -- Crisp Classifiers vs. Fuzzy Classifiers: A Statistical Study -- Efficient Model Predictive Control Algorithm with Fuzzy Approximations of Nonlinear Models -- Dynamic Classifier Systems and Their Applications to Random Forest Ensembles -- A Fuzzy Shape Descriptor and Inference by Fuzzy Relaxation with Application to Description of Bones Contours at Hand Radiographs -- Hough and Fuzzy Hough Transform in Music Tunes Recognition Systems -- Bioinformatics -- Multiple Order Gradient Feature for Macro-Invertebrate Identification Using Support Vector Machines -- Bayesian Dimension Reduction Models for Microarray Data -- Gene Selection for Cancer Classification through Ensemble of Methods -- Applications -- Rules versus Hierarchy: An Application of Fuzzy Set Theory to the Assessment of Spatial Grouping Techniques -- A Novel Signal-Based Approach to Anomaly Detection in IDS Systems -- Extracting Discriminative Features Using Non-negative Matrix Factorization in Financial Distress Data -- Evolutionary Regression Modeling with Active Learning: An Application to Rainfall Runoff Modeling -- Gene Trajectory Clustering for Learning the Stock Market Sectors -- Accurate Prediction of Financial Distress of Companies with Machine Learning Algorithms -- Approximation Scheduling Algorithms for Solving Multi-objects Movement Synchronization Problem -- Automatic Segmentation of Bone Tissue in X-Ray Hand Images -- Automatic Morphing of Face Images -- A Comparison Study of Strategies for Combining Classifiers from Distributed Data Sources -- Visualizing Time Series State Changes with Prototype Based Clustering. |
| Record Nr. | UNINA-9910485044703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
