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.
Autonomic and Trusted Computing [[electronic resource] ] : 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou
| Autonomic and Trusted Computing [[electronic resource] ] : 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 328 p. 112 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Software engineering Computer communication systems Data encryption (Computer science) Application software Management information systems Computer science Systems and Data Security Software Engineering Computer Communication Networks Cryptology Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
| ISBN |
1-280-39009-3
9786613568014 3-642-16576-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Autonomic and Organic Computing -- Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems -- On-Line Adaptive Algorithms in Autonomic Restart Control -- Designing Self-healing in Automotive Systems -- Trustworthy Organic Computing Systems: Challenges and Perspectives -- AC/OC Network and Protocol -- Adaptive Control of Sensor Networks -- Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service -- Trust Models and Application -- Effects of Displaying Trust Information on Mobile Application Usage -- Context Based Trust Normalization in Service-Oriented Environments -- A Framework for Trust Enabled Software Asset Retrieval -- Opportunistic Trust Based P2P Services Framework for Disconnected MANETs -- A Risk-Aware Resource Service Decision Strategy for Global Computing -- Trustworthy Computing -- Message Race Detection for Web Services by an SMT-Based Analysis -- A User-Oriented Approach to Assessing Web Service Trustworthiness -- Improving the Trustworthiness of Service QoS Information in Service-Based Systems -- Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software -- The Testing Method for Interface Customized Component -- Trust-Related Security -- A New Monitor Model for Enhancing Trust-Based Systems -- Design and Analysis of “Flexible” k-out-of-n Signatures -- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints -- Invited Session -- Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture -- Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace -- On Alleviating Reader Collisions Towards High Efficient RFID Systems. |
| Record Nr. | UNISA-996465705203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Autonomic and Trusted Computing [[electronic resource] ] : 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou
| Autonomic and Trusted Computing [[electronic resource] ] : 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 328 p. 112 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Software engineering Computer communication systems Data encryption (Computer science) Application software Management information systems Computer science Systems and Data Security Software Engineering Computer Communication Networks Cryptology Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
| ISBN |
1-280-39009-3
9786613568014 3-642-16576-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Autonomic and Organic Computing -- Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems -- On-Line Adaptive Algorithms in Autonomic Restart Control -- Designing Self-healing in Automotive Systems -- Trustworthy Organic Computing Systems: Challenges and Perspectives -- AC/OC Network and Protocol -- Adaptive Control of Sensor Networks -- Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service -- Trust Models and Application -- Effects of Displaying Trust Information on Mobile Application Usage -- Context Based Trust Normalization in Service-Oriented Environments -- A Framework for Trust Enabled Software Asset Retrieval -- Opportunistic Trust Based P2P Services Framework for Disconnected MANETs -- A Risk-Aware Resource Service Decision Strategy for Global Computing -- Trustworthy Computing -- Message Race Detection for Web Services by an SMT-Based Analysis -- A User-Oriented Approach to Assessing Web Service Trustworthiness -- Improving the Trustworthiness of Service QoS Information in Service-Based Systems -- Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software -- The Testing Method for Interface Customized Component -- Trust-Related Security -- A New Monitor Model for Enhancing Trust-Based Systems -- Design and Analysis of “Flexible” k-out-of-n Signatures -- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints -- Invited Session -- Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture -- Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace -- On Alleviating Reader Collisions Towards High Efficient RFID Systems. |
| Record Nr. | UNINA-9910481963403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Embedded Software and Systems [[electronic resource] ] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin
| Embedded Software and Systems [[electronic resource] ] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXVIII, 784 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Operating systems (Computers) Computers, Special purpose Microprocessors Computer architecture Software Engineering Computer Communication Networks Operating Systems Special Purpose and Application-Based Systems Processor Architectures |
| ISBN | 3-540-32297-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Track 1: Embedded Hardware -- Track 2: Embedded Software -- Track 3: Real-Time Systems -- Track 4: Power-Aware Computing -- Track 5: Hardware/Software Co-design and System-On-Chip -- Track 6: Testing and Verification -- Track 7: Reconfigurable Computing -- Track 8: Agent and Distributed Computing -- Track 9: Wireless Communications -- Track 10: Mobile Computing -- Track 11: Pervasive/Ubiquitous Computing and Intelligence -- Track 12: Multimedia and Human-Computer Interaction -- Track 13: Network Protocol, Security and Fault-Tolerance -- Track 14: Workshop Selected Papers -- Keynote Speech. |
| Record Nr. | UNISA-996465564103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded Software and Systems [[electronic resource] ] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin
| Embedded Software and Systems [[electronic resource] ] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXVIII, 784 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Operating systems (Computers) Computers, Special purpose Microprocessors Computer architecture Software Engineering Computer Communication Networks Operating Systems Special Purpose and Application-Based Systems Processor Architectures |
| ISBN | 3-540-32297-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Track 1: Embedded Hardware -- Track 2: Embedded Software -- Track 3: Real-Time Systems -- Track 4: Power-Aware Computing -- Track 5: Hardware/Software Co-design and System-On-Chip -- Track 6: Testing and Verification -- Track 7: Reconfigurable Computing -- Track 8: Agent and Distributed Computing -- Track 9: Wireless Communications -- Track 10: Mobile Computing -- Track 11: Pervasive/Ubiquitous Computing and Intelligence -- Track 12: Multimedia and Human-Computer Interaction -- Track 13: Network Protocol, Security and Fault-Tolerance -- Track 14: Workshop Selected Papers -- Keynote Speech. |
| Record Nr. | UNINA-9910484684503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ubiquitous Intelligence and Computing [[electronic resource] ] : 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Zhiwen Yu, Ramiro Liscano, Guanlilng Chen, Daqing Zhang, Xingshe Zhou
| Ubiquitous Intelligence and Computing [[electronic resource] ] : 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Zhiwen Yu, Ramiro Liscano, Guanlilng Chen, Daqing Zhang, Xingshe Zhou |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 696 p. 295 illus.) |
| Disciplina | 006.3 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Computer communication systems Artificial intelligence Computers and civilization Application software Personal computers User Interfaces and Human Computer Interaction Computer Communication Networks Artificial Intelligence Computers and Society Computer Appl. in Social and Behavioral Sciences Personal Computing |
| ISBN |
1-280-38980-X
9786613567727 3-642-16355-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speeches -- Programming Pervasive Spaces -- Ubiquitous Experience Media -- The Operating System for the Computer of the 21st Century -- Invited Paper -- Extracting Social and Community Intelligence from Digital Footprints: An Emerging Research Area -- Activity, Localization, and User Identification -- Smart Itinerary Recommendation Based on User-Generated GPS Trajectories -- Inferring User Search Intention Based on Situation Analysis of the Physical World -- GPS Calibrated Ad-Hoc Localization for Geosocial Networking -- Ontology-Enabled Activity Learning and Model Evolution in Smart Homes -- Support Vector Machines for Inhabitant Identification in Smart Houses -- Towards Non-intrusive Sleep Pattern Recognition in Elder Assistive Environment -- Ubiquitous Services and Applications -- The Making of a Dataset for Smart Spaces -- to the Business Processes with Ambient Media - Challenges for Ubiquitous and Pervasive Systems -- A Steerable Tangible Interface and Its Evaluation -- Alerting Accidents with Ambiguity: A Tangible Tabletop Application for Safe and Independent Chemistry Experiments -- Dependency Relation Based Detection of Lexicalized User Goals -- Identification of Gait Patterns Related to Health Problems of Elderly -- Sensor Networks -- An Energy Efficient Localization Strategy for Outdoor Objects Based on Intelligent Light-Intensity Sampling -- RESS: A Data Dissemination Protocol Using Residual Energy and Signal Strength for Wireless Sensor Networks -- Design and Implementation of Mobile Sink Node in SDMA Applications -- RCO: A Multi-channel MAC Protocol with Random Cooperation for Sensor Networks -- Power and Bandwidth Efficiency of IEEE 802.15.4 Wireless Sensor Networks -- Protecting Source Location Privacy in Wireless Sensor Networks with Data Aggregation -- Infrastructure, Middleware and Context-Awareness -- A Middleware for Intelligent Environments and the Internet of Things -- An Infrastructure for Real Objects Augmentation with Additional Personalized Information Services -- A Low-Cost Ubiquitous Family Healthcare Framework -- A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context -- Modeling Files with Context Streams -- CASPER: Mining Personalized Services -- Distributed Systems and Services -- A Simple Public-Goods Game Based Incentive Mechanism for Resource Provision in P2P Networks -- A Novel Framework for Service Description and Operations -- A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications -- Toward Distributed Declarative Control of Networked Cyber-Physical Systems -- AdContRep: A Privacy Enhanced Reputation System for MANET Content Services -- Context-Awareness Handoff Planning in Heterogeneous Wireless Networks -- Wireless and Mobile Ad hoc Networks -- On the Improving Strategies upon the Route Cache of DSR in MANETs -- LALO: A Link-Aware Lightweight Routing Protocol for Data Delivery in Vehicular Ad Hoc Networks -- POCOSIM: A Power Control and Scheduling Scheme in Multi-Rate Wireless Mesh Networks -- Modeling Contacts and Mobility for Wireless Mobile Networks -- A Method to Improve Adaptability of the Minstrel MAC Rate Control Algorithm -- A New Location-Aware Hierarchical Routing Protocol for MANETs -- Special Session: Ubiquitous Intelligence and Services -- Towards an Efficient and Accurate EEG Data Analysis in EEG-Based Individual Identification -- Activity Recognition on an Accelerometer Embedded Mobile Phone with Varying Positions and Orientations -- A Hybrid Content Delivery Approach for a Mixed Reality Web Service Platform -- Analyzing the Behavioral Structure Characteristics from Web Traffic -- A Smartphone-Based Obstacle Sensor for the Visually Impaired -- SSP: Smart Service Provider A Smart Environment Providing Contextual Services on Android Mobile Devices -- Special Track: Pervasive Social Computing -- Using Cohesive Subgroups for Analyzing the Evolution of the Friend View Mobile Social Network -- Towards Topic-Based Trust in Social Networks -- Mlogger: An Automatic Blogging System by Mobile Sensing User Behaviors -- Managing Workplace Resources in Office Environments through Ephemeral Social Networks -- Contextual Biometric-Based Authentication for Ubiquitous Services. |
| Record Nr. | UNISA-996465821003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ubiquitous Intelligence and Computing : 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Zhiwen Yu, Ramiro Liscano, Guanlilng Chen, Daqing Zhang, Xingshe Zhou
| Ubiquitous Intelligence and Computing : 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings / / edited by Zhiwen Yu, Ramiro Liscano, Guanlilng Chen, Daqing Zhang, Xingshe Zhou |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 696 p. 295 illus.) |
| Disciplina | 006.3 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Computer communication systems Artificial intelligence Computers and civilization Application software Personal computers User Interfaces and Human Computer Interaction Computer Communication Networks Artificial Intelligence Computers and Society Computer Appl. in Social and Behavioral Sciences Personal Computing |
| ISBN |
1-280-38980-X
9786613567727 3-642-16355-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speeches -- Programming Pervasive Spaces -- Ubiquitous Experience Media -- The Operating System for the Computer of the 21st Century -- Invited Paper -- Extracting Social and Community Intelligence from Digital Footprints: An Emerging Research Area -- Activity, Localization, and User Identification -- Smart Itinerary Recommendation Based on User-Generated GPS Trajectories -- Inferring User Search Intention Based on Situation Analysis of the Physical World -- GPS Calibrated Ad-Hoc Localization for Geosocial Networking -- Ontology-Enabled Activity Learning and Model Evolution in Smart Homes -- Support Vector Machines for Inhabitant Identification in Smart Houses -- Towards Non-intrusive Sleep Pattern Recognition in Elder Assistive Environment -- Ubiquitous Services and Applications -- The Making of a Dataset for Smart Spaces -- to the Business Processes with Ambient Media - Challenges for Ubiquitous and Pervasive Systems -- A Steerable Tangible Interface and Its Evaluation -- Alerting Accidents with Ambiguity: A Tangible Tabletop Application for Safe and Independent Chemistry Experiments -- Dependency Relation Based Detection of Lexicalized User Goals -- Identification of Gait Patterns Related to Health Problems of Elderly -- Sensor Networks -- An Energy Efficient Localization Strategy for Outdoor Objects Based on Intelligent Light-Intensity Sampling -- RESS: A Data Dissemination Protocol Using Residual Energy and Signal Strength for Wireless Sensor Networks -- Design and Implementation of Mobile Sink Node in SDMA Applications -- RCO: A Multi-channel MAC Protocol with Random Cooperation for Sensor Networks -- Power and Bandwidth Efficiency of IEEE 802.15.4 Wireless Sensor Networks -- Protecting Source Location Privacy in Wireless Sensor Networks with Data Aggregation -- Infrastructure, Middleware and Context-Awareness -- A Middleware for Intelligent Environments and the Internet of Things -- An Infrastructure for Real Objects Augmentation with Additional Personalized Information Services -- A Low-Cost Ubiquitous Family Healthcare Framework -- A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context -- Modeling Files with Context Streams -- CASPER: Mining Personalized Services -- Distributed Systems and Services -- A Simple Public-Goods Game Based Incentive Mechanism for Resource Provision in P2P Networks -- A Novel Framework for Service Description and Operations -- A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications -- Toward Distributed Declarative Control of Networked Cyber-Physical Systems -- AdContRep: A Privacy Enhanced Reputation System for MANET Content Services -- Context-Awareness Handoff Planning in Heterogeneous Wireless Networks -- Wireless and Mobile Ad hoc Networks -- On the Improving Strategies upon the Route Cache of DSR in MANETs -- LALO: A Link-Aware Lightweight Routing Protocol for Data Delivery in Vehicular Ad Hoc Networks -- POCOSIM: A Power Control and Scheduling Scheme in Multi-Rate Wireless Mesh Networks -- Modeling Contacts and Mobility for Wireless Mobile Networks -- A Method to Improve Adaptability of the Minstrel MAC Rate Control Algorithm -- A New Location-Aware Hierarchical Routing Protocol for MANETs -- Special Session: Ubiquitous Intelligence and Services -- Towards an Efficient and Accurate EEG Data Analysis in EEG-Based Individual Identification -- Activity Recognition on an Accelerometer Embedded Mobile Phone with Varying Positions and Orientations -- A Hybrid Content Delivery Approach for a Mixed Reality Web Service Platform -- Analyzing the Behavioral Structure Characteristics from Web Traffic -- A Smartphone-Based Obstacle Sensor for the Visually Impaired -- SSP: Smart Service Provider A Smart Environment Providing Contextual Services on Android Mobile Devices -- Special Track: Pervasive Social Computing -- Using Cohesive Subgroups for Analyzing the Evolution of the Friend View Mobile Social Network -- Towards Topic-Based Trust in Social Networks -- Mlogger: An Automatic Blogging System by Mobile Sensing User Behaviors -- Managing Workplace Resources in Office Environments through Ephemeral Social Networks -- Contextual Biometric-Based Authentication for Ubiquitous Services. |
| Record Nr. | UNINA-9910484006903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||