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.
Application and Theory of Petri Nets 1993 [[electronic resource] ] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / / edited by Marco Ajmone Marsan
| Application and Theory of Petri Nets 1993 [[electronic resource] ] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / / edited by Marco Ajmone Marsan |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 598 p.) |
| Disciplina | 519 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Applied mathematics
Engineering mathematics Mathematical logic Computers Algorithms Computer logic Mathematical and Computational Engineering Applications of Mathematics Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
| ISBN | 3-540-47759-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and enactment of workflow systems -- Interleaving functional and performance structural analysis of net models -- FSPNs: Fluid stochastic Petri nets -- Taking advantages of temporal redundancy in High Level Petri Nets implementations -- A subset of Lotos with the computational power of Place/Transition-nets -- An efficient algorithm for finding structural deadlocks in colored Petri nets -- Synthesis of net systems -- Hierarchies in colored GSPNs -- Variable reasoning and analysis about uncertainty with fuzzy Petri nets -- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency -- Transient analysis of deterministic and stochastic Petri nets -- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs -- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems -- Shortest paths in reachability graphs -- Construction of S-invariants and S-components for refined Petri boxes -- Compositional liveness properties of EN-systems -- Analysis of place/transition nets with timed arcs and its application to batch process control -- On well-formed nets and optimizations in enabling tests -- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net -- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model -- Marking optimization of stochastic timed event graphs -- A client-server protocol for the composition of Petri nets -- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks -- Liveness and home states in equal conflict systems -- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling -- Interval timed coloured petri nets and their analysis -- Integration of specification for modeling and specification for system design -- New priority-lists for scheduling in timed Petri nets -- A unified approach for reasoning about conflict-free Petri nets -- A colored Petri Net model for a naval command and control system -- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application -- On net modeling of industrial size concurrent systems -- Analysis of the TMS320C40 communication channels using timed Petri Nets -- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN -- Petri Nets modeling in pipelined microprocessor design. |
| Record Nr. | UNISA-996466085503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of Service in Multiservice IP Networks [[electronic resource] ] : Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005 / / edited by Marco Ajmone Marsan, Giuseppe Bianchi, Marco Listanti, Michaela Meo
| Quality of Service in Multiservice IP Networks [[electronic resource] ] : Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005 / / edited by Marco Ajmone Marsan, Giuseppe Bianchi, Marco Listanti, Michaela Meo |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 658 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Software engineering Application software Information storage and retrieval Management information systems Computer science Electrical engineering Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems Communications Engineering, Networks |
| ISBN | 3-540-30573-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analytical Models -- An Analytical Model of a New Packet Marking Algorithm for TCP Flows -- Of Mice and Models -- A Dual Approach to Network Calculus Applying the Legendre Transform -- Service Curve Estimation by Measurement: An Input Output Analysis of a Softswitch Model -- Utility Proportional Fair Bandwidth Allocation: An Optimization Oriented Approach -- Traffic Characterization -- Packet Size Distribution: An Aside? -- Synthesis and MAVAR Characterization of Self-similar Traffic Traces from Chaotic Generators -- Coupled Kermack-McKendrick Models for Randomly Scanning and Bandwidth-Saturating Internet Worms -- On-Line Segmentation of Non-stationary Fractal Network Traffic with Wavelet Transforms and Log-Likelihood-Based Statistics -- MPLS Failure and Restoration -- Implementation of Virtual Path Hopping (VPH) as a Solution for Control Plane Failures in Connection Oriented Networks and an Analysis of Traffic Distribution of VPH -- Experimental Comparison of Fault Notification and LSP Recovery Mechanisms in MPLS Operational Testbeds -- NPP: A Facility Based Computation Framework for Restoration Routing Using Aggregate Link Usage Information -- An Efficient Backup Path Selection Algorithm in MPLS Networks -- Network Planning and Dimensioning -- Planning Multiservice VPN Networks: An Analytical/Simulative Mechanism to Dimension the Bandwidth Assignments -- Topological Design of Survivable IP Networks Using Metaheuristic Approaches -- Replicated Server Placement with QoS Constraints -- Dimensioning Approaches for an Access Link Assuring Integrated QoS -- Aggregation Network Design for Offering Multimedia Services to Fast Moving Users -- DiffServ and IntServ -- Management of Non-conformant TCP Traffic in IP DiffServ Networks -- Performance of Active Queue Management Algorithms to Be Used in Intserv Under TCP and UDP Traffic -- An Analytical Framework to Design a DiffServ Network Supporting EF-, AF- and BE-PHBs -- A Performance Model for Multimedia Services Provisioning on Network Interfaces -- An Integrated Multi-service Software Simulation Platform: SIMPSONS Architecture -- Routing I -- Optimal Load Balancing in Insensitive Data Networks -- Hybrid IGP+MPLS Routing in Next Generation IP Networks: An Online Traffic Engineering Model -- Leveraging Network Performances with IPv6 Multihoming and Multiple Provider-Dependent Aggregatable Prefixes -- Software Routers -- Open-Source PC-Based Software Routers: A Viable Approach to High-Performance Packet Switching -- Performance of a Software Router Using AltQ/CBQ – A Measurement-Based Analysis -- Comparative Analysis of SMP Click Scheduling Techniques -- Implementation of Implicit QoS Control in a Modular Software Router Context -- Network Architectures for QoS Provisioning -- Should IP Networks Go Multiservices? -- The Impact of Revenues on Delivering Differentiated IP Multimedia Services in Wired/Wireless Networks -- Architecture and Protocols for the Seamless and Integrated Next Generation IP Networks -- Bandwidth Management in IntServ to DiffServ Mapping -- Routing II -- Optimizing Routing Decisions Under Inaccurate Network State Information -- On the Performance of Dynamic Online QoS Routing Schemes -- A Dynamic QoS-Aware Transmission for Emergency Traffic in IP Networks -- Unicast and Multicast QoS Routing with Multiple Constraints -- Multiservice Wireless Networks -- Q-MEHROM: Mobility Support and Resource Reservations for Mobile Hosts in IP Access Networks -- 802.11 MAC Protocol with Selective Error Detection for Speech Transmission -- Performance Evaluation of a Feedback Based Dynamic Scheduler for 802.11e MAC -- QoS Routing in Multi-hop Wireless Networks: A New Model and Algorithm -- Transient QoS Measure for Call Admission Control in WCDMA System with MIMO -- TCP in Special Environments -- Adaptive Bandwidth Partitioning Among TCP Elephant Connections over Multiple Rain-Faded Satellite Channels -- On the Performance of TCP over Optical Burst Switched Networks with Different QoS Classes -- Loss Differentiation Schemes for TCP over Wireless Networks -- Scheduling -- Revenue-Based Adaptive Deficit Round Robin -- A Shift Varying Filtering Theory for Dynamic Service Guarantees -- Robust Delay Estimation of an Adaptive Scheduling Algorithm -- Input Register Architectures of High Speed Router for Supporting the PHB of Differentiated Services. |
| Record Nr. | UNISA-996466016603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of Service in Multiservice IP Networks [[electronic resource] ] : International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / / edited by Marco Ajmone Marsan, Andrea Bianco
| Quality of Service in Multiservice IP Networks [[electronic resource] ] : International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / / edited by Marco Ajmone Marsan, Andrea Bianco |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 442 p.) |
| Disciplina | 004.6/6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Software engineering Computer science Application software Management information systems Computer Communication Networks Software Engineering/Programming and Operating Systems Popular Computer Science Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
| ISBN | 3-540-44554-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Connection Admission Control I -- Design and Implementation of Scalable Admission Control -- Analysis and Performance Evaluation of a Connection Admission Control Scheme Based on the Many Sources Asymptotic -- Call Admission Control and Routing of QoS-Aware and Best-Effort Flows in an IP-over-ATM Networking Environment -- Statistical Bounds -- An Upper Bound to the Loss Probability in the Multiplexing of Jittered Flows -- Novel Architectures for QoS Provisioning -- SMART: A Scalable Multipath Architecture for Intra-domain QoS Provisioning -- Definition and Experimental Evaluation of an Architecture for Joint Quality of Service Control in Multimedia Networks -- Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-service Networks -- Invited Paper -- Resource Allocation and Admission Control Styles in QoS DiffServ Networks -- QoS for Multicast Traffic -- A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks -- Source Modelling -- Modeling the Stationary Behavior of TCP Reno Connections -- A Markov Model for the Design of Feedback Techniques to Match Traffic Specification Parameters in MPEG Video Sources -- Intrastandard Hybrid Speech Coding for Adaptive IP Telephony -- IP Telephony -- Implementation of a Test-Bed for Telephony over IP: Architectural, Theoretical, and Performance Issues -- Router and Switch Algorithms -- Enhanced Weighted Round Robin Schedulers for Bandwidth Guarantees in Packet Networks -- Router Architectures Exploiting Input-Queued Cell-Based Switching Fabrics -- Packet Discard Schemes for Differentiated Services Networks with ATM Switching Systems -- Analysis and Simulation of WF2Q+ Based Schedulers: Comparisons and Compliance with Theoretical Bounds -- Invited Paper -- Requirements on the TCP/IP Protocol Stack for Real-Time Communication in Wireless Environments -- Multicast Routing -- Multicast Routing by Multiple Tree Routes -- Differentiated Services -- Optimal Design of Optical Ring Networks with Differentiated Reliability (DiR) -- An Optical Packet Switch for IP Traffic with QoS Provisioning -- A Policy Management Framework Using Traffic Engineering in DiffServ Networks -- QoS in Wireless Networks -- Quality of Service Issues in Multi-service Wireless Internet Links -- Enhancing the General Packet Radio Service with IP QoS Support -- Genetic Algorithm for Mobiles Equilibrium Applied to Video Traffic -- Connection Admission Control II -- PCP: An End-to-End Measurement-Based Call Admission Control for Real-Time Services over IP Networks -- Admission Control for Distribution of Smoothed Video Using Patching Algorithms -- A Migration Path for the Internet: From Best-Effort to a QoS Capable Infrastructure by Means of Localized Admission Control. |
| Record Nr. | UNISA-996466039003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of Service in Multiservice IP Networks : International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / / edited by Marco Ajmone Marsan, Andrea Bianco
| Quality of Service in Multiservice IP Networks : International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings / / edited by Marco Ajmone Marsan, Andrea Bianco |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 442 p.) |
| Disciplina | 004.6/6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networks
Software engineering Computer science Application software Management information systems Computer Communication Networks Software Engineering/Programming and Operating Systems Popular Computer Science Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
| ISBN | 3-540-44554-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Connection Admission Control I -- Design and Implementation of Scalable Admission Control -- Analysis and Performance Evaluation of a Connection Admission Control Scheme Based on the Many Sources Asymptotic -- Call Admission Control and Routing of QoS-Aware and Best-Effort Flows in an IP-over-ATM Networking Environment -- Statistical Bounds -- An Upper Bound to the Loss Probability in the Multiplexing of Jittered Flows -- Novel Architectures for QoS Provisioning -- SMART: A Scalable Multipath Architecture for Intra-domain QoS Provisioning -- Definition and Experimental Evaluation of an Architecture for Joint Quality of Service Control in Multimedia Networks -- Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-service Networks -- Invited Paper -- Resource Allocation and Admission Control Styles in QoS DiffServ Networks -- QoS for Multicast Traffic -- A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks -- Source Modelling -- Modeling the Stationary Behavior of TCP Reno Connections -- A Markov Model for the Design of Feedback Techniques to Match Traffic Specification Parameters in MPEG Video Sources -- Intrastandard Hybrid Speech Coding for Adaptive IP Telephony -- IP Telephony -- Implementation of a Test-Bed for Telephony over IP: Architectural, Theoretical, and Performance Issues -- Router and Switch Algorithms -- Enhanced Weighted Round Robin Schedulers for Bandwidth Guarantees in Packet Networks -- Router Architectures Exploiting Input-Queued Cell-Based Switching Fabrics -- Packet Discard Schemes for Differentiated Services Networks with ATM Switching Systems -- Analysis and Simulation of WF2Q+ Based Schedulers: Comparisons and Compliance with Theoretical Bounds -- Invited Paper -- Requirements on the TCP/IP Protocol Stack for Real-Time Communication in Wireless Environments -- Multicast Routing -- Multicast Routing by Multiple Tree Routes -- Differentiated Services -- Optimal Design of Optical Ring Networks with Differentiated Reliability (DiR) -- An Optical Packet Switch for IP Traffic with QoS Provisioning -- A Policy Management Framework Using Traffic Engineering in DiffServ Networks -- QoS in Wireless Networks -- Quality of Service Issues in Multi-service Wireless Internet Links -- Enhancing the General Packet Radio Service with IP QoS Support -- Genetic Algorithm for Mobiles Equilibrium Applied to Video Traffic -- Connection Admission Control II -- PCP: An End-to-End Measurement-Based Call Admission Control for Real-Time Services over IP Networks -- Admission Control for Distribution of Smoothed Video Using Patching Algorithms -- A Migration Path for the Internet: From Best-Effort to a QoS Capable Infrastructure by Means of Localized Admission Control. |
| Record Nr. | UNINA-9910143598303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency VI [[electronic resource] /] / edited by Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars M. Kristensen
| Transactions on Petri Nets and Other Models of Concurrency VI [[electronic resource] /] / edited by Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars M. Kristensen |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 365 p. 193 illus.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer communication systems Artificial intelligence Computer system failures Software Engineering Computation by Abstract Devices Programming Languages, Compilers, Interpreters Computer Communication Networks Artificial Intelligence System Performance and Evaluation |
| ISBN | 3-642-35179-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | RFID Data Management and Analysis via Tensor Calculus -- Processing Exact Results for Windowed Stream Joins in a Memory-Limited System: A Disk-Based, Adaptive Approach -- Reducing the Semantic Heterogeneity of Unstructured P2P Systems: A Contribution Based on a Dissemination Protocol -- Towards a Scalable Semantic Provenance Management System -- A Unified Conceptual Framework for Service-Oriented Computing: Aligning Models of Architecture and Utilization. |
| Record Nr. | UNISA-996466289503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||