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.
Middleware 2012 [[electronic resource] ] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings / / edited by Priya Narasimhan, Peter Triantafillou
| Middleware 2012 [[electronic resource] ] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings / / edited by Priya Narasimhan, Peter Triantafillou |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVI, 498 p. 208 illus.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Application software Software engineering Algorithms Information storage and retrieval Artificial intelligence Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Algorithm Analysis and Problem Complexity Information Storage and Retrieval Artificial Intelligence |
| ISBN | 3-642-35170-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mobile middleware -- Tracing and diagnosis -- Architecture and performance -- Publish/subscribe middleware.- Big-data and cloud computing -- Availability, security and privacy. |
| Record Nr. | UNISA-996466288003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-oriented computing - ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007, proceedings / / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan
| Service-oriented computing - ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007, proceedings / / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIX, 632 p.) |
| Disciplina | 658.84 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Web services
Electronic commerce Computer network architectures |
| ISBN | 3-540-74974-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track Full Papers -- Pattern Based SOA Deployment -- A Domain-Specific Language for Web APIs and Services Mashups -- BPEL4Job: A Fault-Handling Design for Job Flow Management -- Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition -- Discovering Service Compositions That Feature a Desired Behaviour -- An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns for Transactional Workflows in SOA -- Bite: Workflow Composition for the Web -- Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks -- SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters -- Monitoring the QoS for Web Services -- Q-Peer: A Decentralized QoS Registry Architecture for Web Services -- Business Process Regression Testing -- Auditing Business Process Compliance -- Specification and Verification of Artifact Behaviors in Business Process Models -- Improving Temporal-Awareness of WS-Agreement -- Maintaining Data Dependencies Across BPEL Process Fragments -- Supporting Dynamics in Service Descriptions - The Key to Automatic Service Usage -- Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning -- Stochastic COWS -- Service License Composition and Compatibility Analysis -- Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems -- High Performance Approach for Multi-QoS Constrained Web Services Selection -- Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach -- Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions -- Syntactic Validation of Web Services Security Policies -- An Agent-Based, Model-Driven Approach for Enabling Interoperability in the Area of Multi-brand Vehicle Configuration -- User-Driven Service Lifecycle Management – Adopting Internet Paradigms in Telecom Services -- Run-Time Monitoring for Privacy-Agreement Compliance -- Task Memories and Task Forums: A Foundation for Sharing Service-Based Personal Processes -- Research Track Short Papers -- Addressing the Issue of Service Volatility in Scientific Workflows -- Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture -- eServices for Hospital Equipment -- Using Reo for Service Coordination -- A Context-Aware Service Discovery Framework Based on Human Needs Model -- Weight Assignment of Semantic Match Using User Values and a Fuzzy Approach -- Grounding OWL-S in SAWSDL -- A Declarative Approach for QoS-Aware Web Service Compositions -- Supporting QoS Negotiation with Feature Modeling -- A Multi-criteria Service Ranking Approach Based on Non-Functional Properties Rules Evaluation -- A Development Process for Self-adapting Service Oriented Applications -- Automated Dynamic Maintenance of Composite Services Based on Service Reputation -- Verifying Temporal and Epistemic Properties of Web Service Compositions -- Industrial Track Full Papers -- Research and Implementation of Knowledge-Enhanced Information Services -- A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework -- Semantic Web Services in Action - Enterprise Information Integration -- Policy Based Messaging Framework -- Contextualized B2B Registries -- Bridging Architectural Boundaries Design and Implementation of a Semantic BPM and SOA Governance Tool -- SOA and Large Scale and Complex Enterprise Transformation -- Run-Time Adaptation of Non-functional Properties of Composite Web Services Using Aspect-Oriented Programming -- Software as a Service: An Integration Perspective -- Building Data-Intensive Grid Applications with Globus Toolkit – An Evaluation Based on Web Crawling -- QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL -- Execution Optimization for Composite Services Through Multiple Engines -- Service Design Process for Reusable Services: Financial Services Case Study -- Demo Track Short Papers -- UMM Add-In: A UML Extension for UN/CEFACT’s Modeling Methodology -- 4 - A Prototype Demonstrating ontext and olicies for ransactional eb ervices -- WSQoSX – A QoS Architecture for Web Service Workflows -- ReoService: Coordination Modeling Tool. |
| Record Nr. | UNISA-996465302003316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-oriented computing - ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007, proceedings / / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan
| Service-oriented computing - ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007, proceedings / / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIX, 632 p.) |
| Disciplina | 658.84 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Web services
Electronic commerce Computer network architectures |
| ISBN | 3-540-74974-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track Full Papers -- Pattern Based SOA Deployment -- A Domain-Specific Language for Web APIs and Services Mashups -- BPEL4Job: A Fault-Handling Design for Job Flow Management -- Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition -- Discovering Service Compositions That Feature a Desired Behaviour -- An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns for Transactional Workflows in SOA -- Bite: Workflow Composition for the Web -- Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks -- SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters -- Monitoring the QoS for Web Services -- Q-Peer: A Decentralized QoS Registry Architecture for Web Services -- Business Process Regression Testing -- Auditing Business Process Compliance -- Specification and Verification of Artifact Behaviors in Business Process Models -- Improving Temporal-Awareness of WS-Agreement -- Maintaining Data Dependencies Across BPEL Process Fragments -- Supporting Dynamics in Service Descriptions - The Key to Automatic Service Usage -- Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning -- Stochastic COWS -- Service License Composition and Compatibility Analysis -- Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems -- High Performance Approach for Multi-QoS Constrained Web Services Selection -- Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach -- Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions -- Syntactic Validation of Web Services Security Policies -- An Agent-Based, Model-Driven Approach for Enabling Interoperability in the Area of Multi-brand Vehicle Configuration -- User-Driven Service Lifecycle Management – Adopting Internet Paradigms in Telecom Services -- Run-Time Monitoring for Privacy-Agreement Compliance -- Task Memories and Task Forums: A Foundation for Sharing Service-Based Personal Processes -- Research Track Short Papers -- Addressing the Issue of Service Volatility in Scientific Workflows -- Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture -- eServices for Hospital Equipment -- Using Reo for Service Coordination -- A Context-Aware Service Discovery Framework Based on Human Needs Model -- Weight Assignment of Semantic Match Using User Values and a Fuzzy Approach -- Grounding OWL-S in SAWSDL -- A Declarative Approach for QoS-Aware Web Service Compositions -- Supporting QoS Negotiation with Feature Modeling -- A Multi-criteria Service Ranking Approach Based on Non-Functional Properties Rules Evaluation -- A Development Process for Self-adapting Service Oriented Applications -- Automated Dynamic Maintenance of Composite Services Based on Service Reputation -- Verifying Temporal and Epistemic Properties of Web Service Compositions -- Industrial Track Full Papers -- Research and Implementation of Knowledge-Enhanced Information Services -- A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework -- Semantic Web Services in Action - Enterprise Information Integration -- Policy Based Messaging Framework -- Contextualized B2B Registries -- Bridging Architectural Boundaries Design and Implementation of a Semantic BPM and SOA Governance Tool -- SOA and Large Scale and Complex Enterprise Transformation -- Run-Time Adaptation of Non-functional Properties of Composite Web Services Using Aspect-Oriented Programming -- Software as a Service: An Integration Perspective -- Building Data-Intensive Grid Applications with Globus Toolkit – An Evaluation Based on Web Crawling -- QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL -- Execution Optimization for Composite Services Through Multiple Engines -- Service Design Process for Reusable Services: Financial Services Case Study -- Demo Track Short Papers -- UMM Add-In: A UML Extension for UN/CEFACT’s Modeling Methodology -- 4 - A Prototype Demonstrating ontext and olicies for ransactional eb ervices -- WSQoSX – A QoS Architecture for Web Service Workflows -- ReoService: Coordination Modeling Tool. |
| Record Nr. | UNINA-9910484372403321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan
| Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 378 p.) |
| Disciplina | 621.3819 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Artificial intelligence Information storage and retrieval Special purpose computers Application software User interfaces (Computer systems) Computer Communication Networks Artificial Intelligence Information Storage and Retrieval Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Newport Beach (Calif., 2009) |
| ISBN | 3-642-10265-4 |
| Classificazione |
DAT 260f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme -- Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems -- Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems -- Optimizing Mobile Application Performance with Model–Driven Engineering -- A Single-Path Chip-Multiprocessor System -- Towards Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis and Validation of Software Clocks -- Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing Pipeline Stalls -- Joining a Distributed Shared Memory Computation in a Dynamic Distributed System -- BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network -- DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network -- Development of Field Monitoring Server System and Its Application in Agriculture -- On-Line Model Checking as Operating System Service -- Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems -- Fine-Grained Tailoring of Component Behaviour for Embedded Systems -- MapReduce System over Heterogeneous Mobile Devices -- Towards Time-Predictable Data Caches for Chip-Multiprocessors -- From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach -- Model-Based Testing of GUI-Driven Applications -- Parallelizing Software-Implemented Error Detection -- Model-Based Analysis of Contract-Based Real-Time Scheduling -- Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems -- HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization -- Applying Architectural Hybridization in Networked Embedded Systems -- Concurrency and Communication: Lessons from the SHIM Project -- Location-Aware Web Service by Utilizing Web Contents Including Location Information -- The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems -- Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development -- Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing -- An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections -- Real-Sense Media Representation Technology Using Multiple Devices Synchronization -- Overview of Multicore Requirements towards Real-Time Communication -- Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems. |
| Record Nr. | UNISA-996466278703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan
| Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 378 p.) |
| Disciplina | 621.3819 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Artificial intelligence Information storage and retrieval Special purpose computers Application software User interfaces (Computer systems) Computer Communication Networks Artificial Intelligence Information Storage and Retrieval Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Newport Beach (Calif., 2009) |
| ISBN | 3-642-10265-4 |
| Classificazione |
DAT 260f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme -- Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems -- Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems -- Optimizing Mobile Application Performance with Model–Driven Engineering -- A Single-Path Chip-Multiprocessor System -- Towards Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis and Validation of Software Clocks -- Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing Pipeline Stalls -- Joining a Distributed Shared Memory Computation in a Dynamic Distributed System -- BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network -- DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network -- Development of Field Monitoring Server System and Its Application in Agriculture -- On-Line Model Checking as Operating System Service -- Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems -- Fine-Grained Tailoring of Component Behaviour for Embedded Systems -- MapReduce System over Heterogeneous Mobile Devices -- Towards Time-Predictable Data Caches for Chip-Multiprocessors -- From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach -- Model-Based Testing of GUI-Driven Applications -- Parallelizing Software-Implemented Error Detection -- Model-Based Analysis of Contract-Based Real-Time Scheduling -- Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems -- HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization -- Applying Architectural Hybridization in Networked Embedded Systems -- Concurrency and Communication: Lessons from the SHIM Project -- Location-Aware Web Service by Utilizing Web Contents Including Location Information -- The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems -- Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development -- Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing -- An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections -- Real-Sense Media Representation Technology Using Multiple Devices Synchronization -- Overview of Multicore Requirements towards Real-Time Communication -- Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems. |
| Record Nr. | UNINA-9910483224203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington
| Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2005 |
| Soggetto topico |
Embedded computer systems - Programming
Ubiquitous computing - Distributed processing Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
| ISBN | 1-5386-0120-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202413703316 |
| [Place of publication not identified], : IEEE Computer Society, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington
| Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : SEUS 2005 : proceedings : 16-17 May 2005, Seattle, Washington |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2005 |
| Soggetto topico |
Embedded computer systems - Programming
Ubiquitous computing - Distributed processing Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
| ISBN | 1-5386-0120-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910146538003321 |
| [Place of publication not identified], : IEEE Computer Society, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||