Готові списки джерел за темами / Session and event systems

Добірка наукової літератури з теми "Session and event systems"

Автор: Grafiati
Опубліковано: 30 травня 2022
Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Session and event systems".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Session and event systems"

1

Viering, Malte, Raymond Hu, Patrick Eugster, and Lukasz Ziarek. "A multiparty session typing discipline for fault-tolerant event-driven distributed programming." Proceedings of the ACM on Programming Languages 5, OOPSLA (October 20, 2021): 1–30. http://dx.doi.org/10.1145/3485501.

Повний текст джерела
Анотація:
This paper presents a formulation of multiparty session types (MPSTs) for practical fault-tolerant distributed programming. We tackle the challenges faced by session types in the context of distributed systems involving asynchronous and concurrent partial failures – such as supporting dynamic replacement of failed parties and retrying failed protocol segments in an ongoing multiparty session – in the presence of unreliable failure detection. Key to our approach is that we develop a novel model of event-driven concurrency for multiparty sessions. Inspired by real-world practices, it enables us to unify the session-typed handling of regular I/O events with failure handling and the combination of features needed to express practical fault-tolerant protocols. Moreover, the characteristics of our model allow us to prove a global progress property for well-typed processes engaged in multiple concurrent sessions, which does not hold in traditional MPST systems. To demonstrate its practicality, we implement our framework as a toolchain and runtime for Scala, and use it to specify and implement a session-typed version of the cluster management system of the industrial-strength Apache Spark data analytics framework. Our session-typed cluster manager composes with other vanilla Spark components to give a functioning Spark runtime; e.g., it can execute existing third-party Spark applications without code modification. A performance evaluation using the TPC-H benchmark shows our prototype implementation incurs an average overhead below 10%.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

KOUZAPAS, DIMITRIOS, NOBUKO YOSHIDA, RAYMOND HU, and KOHEI HONDA. "On asynchronous eventful session semantics." Mathematical Structures in Computer Science 26, no. 2 (November 10, 2014): 303–64. http://dx.doi.org/10.1017/s096012951400019x.

Повний текст джерела
Анотація:
Event-driven programming is one of the major paradigms in concurrent and communication-based programming, where events are typically detected as the arrival of messages on asynchronous channels. Unfortunately, the flexibility and performance of traditional event-driven programming come at the cost of more complex programs: low-level APIs and the obfuscation of event-driven control flow make programs difficult to read, write and verify.This paper introduces a π-calculus with session types that modelsevent-driven session programming(called ESP) and studies its behavioural theory. The main characteristics of the ESP model are asynchronous, order-preserving message passing, non-blocking detection of event/message arrivals and dynamic inspection of session types. Session types offer formal safety guarantees, such as communication and event handling safety, and programmatic benefits that overcome problems with existing event-driven programming languages and techniques. The new typed bisimulation theory developed for the ESP model is distinct from standard synchronous or asynchronous bisimulation, capturing the semantic nature of eventful session-based processes. The bisimilarity coincides with reduction-closed barbed congruence.We demonstrate the features and benefits of ESP and the behavioural theory through two key use cases. First, we examine an encoding and the semantic behaviour of the event selector, a central component of general event-driven systems, providing core results for verifying type-safe event-driven applications. Second, we examine the Lauer–Needham duality, building on the selector encoding and bisimulation theory to prove that a systematic transformation from multithreaded to event-driven session processes is type- and semantics-preserving.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Di Mascolo, Maria. "Special Session on Discrete Event Systems French-German Research Cooperation." IFAC Proceedings Volumes 33, no. 17 (July 2000): 191. http://dx.doi.org/10.1016/s1474-6670(17)39398-9.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Scheid, Jeanette M., Issidoros Sarinopoulos, Sierra Cameron, and Clare Tanner. "Learning Collaborative Events With Child Welfare and Health Care Providers Improve Systems Knowledge and Intent to Change." Journal of Primary Care & Community Health 12 (January 2021): 215013272110483. http://dx.doi.org/10.1177/21501327211048359.

Повний текст джерела
Анотація:
Introduction: Children in foster care are at higher risk of health problems. These risks present challenges to achieving permanency, safety, and well-being. Despite efforts to improve the systems serving children in foster care, gaps remain in achieving timely and quality health services. Based on stakeholder reports that health care provider knowledge about child welfare systems is a barrier to care, the Fostering Health Partnerships project conducted 2-session learning collaborative events across Michigan. The project team hypothesized that participants would increase knowledge of child welfare policy and that physician participants would identify and commit to practice change to improve health care services to children in foster care. Methods: Learning collaborative events included an in-person session followed by a live webinar session. Participants included child welfare professionals, physicians, and other health care representatives. Participants completed surveys assessing knowledge about child welfare health policy. Physician participants completed a post-event interview. The investigators used pre- and post-intervention survey design and qualitative evaluation of physician interview data to assess the impact of the learning collaborative events on knowledge and practice. Results: A total of 781 individuals attended the initial session and 383 attended the second session of 36 events for 80 counties in Michigan. 247 individuals completed pre- and post-event surveys and 7 physicians completed interviews after the events. Survey data showed that event participants demonstrated increased knowledge of child welfare policy related to health ( P < .001). Interviewed physicians reported making practice changes to improve health care services and indicated that the events were valuable though time intensive. Conclusion: An abbreviated learning collaborative process is an effective tool to improve knowledge and drive practice change. Future efforts will build on this project to improve access, coordination, and quality health services for children in foster care.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Goharian, Nazli, and Hannah Bast. "Report on women in IR (WIR 2021) at SIGIR 2021." ACM SIGIR Forum 55, no. 2 (December 2021): 1–3. http://dx.doi.org/10.1145/3527546.3527558.

Повний текст джерела
Анотація:
The SIGIR'21 Women in IR event 1 , co-organized by SIGIR WIR co-chairs, Nazli Goharian (US East Coast) and Hannah Bast (Central Europe), took place on July 13-14 and was attended by ~70 participants. Due to Covid-19, SIGIR'21 was held online. To accommodate all the time zones, we organized two sessions (A and B) on the same topics. Session A, which was scheduled at a good time for the US and Europe, was well attended by around 52 participants. Session B, which was aimed for Asia-Pacific, had only around 15 participants, where several already attended the earlier session. The low attendance of Session B caused a significant delay in the start of the session which impacted negatively the session due to the very late / middle of night of the organizers physical location. This year's theme was " Community Engagement & Influence " covering two topics: 1. Gender pay disparity and the community feedback and input which were captured via a survey and presented during the session, and 2. A presentation and discussion on the notion of hero culture. Date : 13--14 July, 2021.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Gomes, Diana, Dinis Moreira, João Costa, Ricardo Graça, and João Madureira. "Surf Session Events’ Profiling Using Smartphones’ Embedded Sensors." Sensors 19, no. 14 (July 17, 2019): 3138. http://dx.doi.org/10.3390/s19143138.

Повний текст джерела
Анотація:
The increasing popularity of water sports—surfing, in particular—has been raising attention to its yet immature technology market. While several available solutions aim to characterise surf session events, this can still be considered an open issue, due to the low performance, unavailability, obtrusiveness and/or lack of validation of existing systems. In this work, we propose a novel method for wave, paddle, sprint paddle, dive, lay, and sit events detection in the context of a surf session, which enables its entire profiling with 88.1% accuracy for the combined detection of all events. In particular, waves, the most important surf event, were detected with second precision with an accuracy of 90.3%. When measuring the number of missed and misdetected wave events, out of the entire universe of 327 annotated waves, wave detection performance achieved 97.5% precision and 94.2% recall. These findings verify the precision, validity and thoroughness of the proposed solution in constituting a complete surf session profiling system, suitable for real-time implementation and with market potential.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Bostick, David L., Kalvin Yu, Cynthia Yamaga, Ann Liu-Ferrara, Didier Morel, and Ying P. Tabak. "590. Vancomycin Infusion: Algorithmic Analysis of Unstructured Real-World Data Captured from Automated Infusion Devices." Open Forum Infectious Diseases 7, Supplement_1 (October 1, 2020): S358. http://dx.doi.org/10.1093/ofid/ofaa439.784.

Повний текст джерела
Анотація:
Abstract Background Large scale research on antimicrobial usage in real-world populations traditionally does not consist of infusion data. With automation, detailed infusion events are captured in device systems, providing opportunities to harness them for patient safety studies. However, due to the unstructured nature of infusion data, the scale-up of data ingestion, cleansing, and processing is challenging. Figure 1. Illustration of dosing complexity Methods We applied algorithmic techniques to quantitate and visualize vancomycin administration data captured in real-time by automated infusion devices from 3 acute care hospitals. The device data included timestamped infusion events – infusion started, paused, restarted, alarmed, and stopped. We used time density-based segmentation algorithms to depict infusion sessions as bursts of event activity. We examined clinical interpretability of the cluster-defined sessions in defining infusion events, dosing intensity, and duration. Results The algorithms identified 13,339 vancomycin infusion sessions from 2,417 unique patients (mean = 5.5 sessions per patient). Clustering captured vancomycin infusion sessions consistently with correct event labels in &gt;98% of cases. It disentangled ambiguity associated with unexpected events (e.g. multiple stopped/started events within a single infusion session). Segmentation of vancomycin infusion events on an example patient timeline is illustrated in Figure 1. The median duration of infusion sessions was 1.55 (1st, 3rd quartiles: 1.14, 2.02) hours, demonstrating clinical plausibility. Conclusion Passively captured vancomycin administration data from automated infusion device systems provide ramifications for real-time bed-side patient care practice. With large volume of data, temporal event segmentation can be an efficient approach to generate clinically interpretable insights. This method scales up accuracy and consistency in handling longitudinal dosing data. It can enable real-time population surveillance and patient-specific clinical decision support for large patient populations. Better understanding of infusion data may also have implications for vancomycin pharmacokinetic dosing. Disclosures David L. Bostick, PhD, Becton, Dickinson and Co. (Employee) Kalvin Yu, MD, Becton, Dickinson and Company (Employee)GlaxoSmithKline plc. (Other Financial or Material Support, Funding) Cynthia Yamaga, PharmD, BD (Employee) Ann Liu-Ferrara, PhD, Becton, Dickinson and Co. (Employee) Didier Morel, PhD, Becton, Dickinson and Co. (Employee) Ying P. Tabak, PhD, Becton, Dickinson and Co. (Employee)
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Shareef, Idris, Mohana Kuppuswamy Parthasarathy, Michael A. Webster, Alireza Tavakkoli, and Fang Jiang. "Contributed Session II: Effects of event number and adaptation duration on blur and face aftereffects." Journal of Vision 22, no. 3 (February 1, 2022): 22. http://dx.doi.org/10.1167/jov.22.3.22.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Råman, Tanja. "Systems of Co-Creation Artistic reflection." Nordic Journal of Dance 6, no. 2 (December 1, 2015): 32–39. http://dx.doi.org/10.2478/njd-2015-0014.

Повний текст джерела
Анотація:
Abstract This article is an artistic reflection of a research project called Please Switch On Your Mobile Phones (PSOYMP) that took place in three venues in Wales in 2014. The aim of PSOYMP was to develop new tools for audience interaction with on-stage dance, with the intention of developing new audiences. The project utilised an action research model to create a flexible choreographic and digital hybrid system that enabled the audience to collaborate in real time with the creative team–a choreographer, five dancers, a digital artist and a technologist–using mobile phones and tablets. The project resulted in the creation of an hour-long performance event. This was developed through three stages that included a week-long residency in each stage and a public performance event with a feedback session at the end of each residency. The final event was streamed live via YouTube and a web-based application, which allowed the online audience to participate in the event and to collaborate with the creative team in a similar way to the in-house audience. This article focusses on the creative process and discusses the nature and the development of the collaboration between the creative team and the audience.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Tsukahara, Kenichi, and Toshimitsu Komatsu. "Special Issue on the International Symposium on River Technologies for Innovations and Social Systems at the WECC2015 and the Special Session on Disaster Risk Management at the 11th I3R2." Journal of Disaster Research 11, no. 6 (December 1, 2016): 1211. http://dx.doi.org/10.20965/jdr.2016.p1211.

Повний текст джерела
Анотація:
The Standing Technical Committees on Disaster Risk Management (CDRM) of the World Federation of Engineering Organizations (WFEO) play an important role in collecting and disseminating DRM-related information and knowledge that will conceivably help engineering society members take effective disaster mitigation measures. As part of achieving this mission, the CDRM conducted two important 2015 events – the WFEO-CDRM Special Session on Disaster Risk Management at the 11th International Conference of the International Institute for Infrastructure Resilience and Reconstruction (I3R2) (I3R2 session) held in Seoul, Korea, and the 9th Joint International Symposium on Disaster Risk Management conducted in conjunction with the International Symposium on River Technologies for Innovations and Social Systems held in the 2015 World Engineering Conference and Convention (WECC2015) in Kyoto, Japan (WECC2015 symposium). The I3R2 session featured seven presentations. During the first half, disaster-cause papers covered high typhoon tides, earthquakes, and rain-induced soil erosion. The second half focused on mitigation-measure presentations such as recovery/reconstruction and regional support for mothers and children in the event of disasters. The WECC2015 symposium featured ten presentations by ten speakers with widely varied backgrounds in disaster mitigation, river engineering, international cooperation, UNESCO regional centers, NPO management, science and technology sections at embassies, and ferry and resort complex management. These informative, meaningful presentations close with active and informative Q&A sessions. In this special issue, five presentations that were revised as a form of academic paper were selected and published. I hope that these papers will be utilized for further advancement of disaster mitigation measures.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Session and event systems"

1

Редько, Владислав Ігорович. "Система збору аналітики додатку для розробників ігор". Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2021. https://ela.kpi.ua/handle/123456789/43959.

Повний текст джерела
Анотація:
Аналітика – інструмент для розроблення та правильного підтримання програмних продуктів. Системи аналітики є актуальними для усіх пост-релізних етапах розробки гри – від збору аналітики для визначення залученості гравців на початкових етапах, до збору аналітики для розробки оновлень. Мета роботи – проаналізувати існуючі системи аналітки, та на основі дослідження розробити систему аналітики, яка б легко інтегрувалась в будь-яку гру, розроблену за допомогою C#, та відображала дані в зручному для розробника вигляді. Записка містить 64 сторінки, 29 рисунків, 4 додатки та 14 посилань.
Analytics is a tool for developing and properly maintaining software products. Analytics systems are relevant for all post – release stages of game development-from collecting analytics to determining player engagement in the initial stages, to collecting analytics to develop updates. The aim of the work is to analyze existing analytics systems, and based on the research, develop an analytics system that would easily integrate into any game developed using C#, and display data in a convenient form for the developer. The note contains 64 pages, 29 Figures, 4 attachments and 14 links.
Аналитика - инструмент для разработки и правильного поддержания программных продуктов. Системы аналитики актуальны для всех пост-релизных этапах разработки игры - от сбора аналитики для определения вовлеченности игроков на начальных этапах, к сбору аналитики для разработки обновлений. Цель работы - проанализировать существующие системы Аналитки, и на основе исследования разработать систему аналитики, которая легко интегрировалась в любую игру, разработанную с помощью C #, и отражала данные в удобном для разработчика виде. Записка содержит 64 страницы, 29 рисунков, 4 приложения и 14 ссылок.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Wulff, Tobias. "Evaluation of and Mitigation against Malicious Traffic in SIP-based VoIP Applications in a Broadband Internet Environment." Thesis, University of Canterbury. Computer Science and Software Engineering, 2010. http://hdl.handle.net/10092/5120.

Повний текст джерела
Анотація:
Voice Over IP (VoIP) telephony is becoming widespread, and is often integrated into computer networks. Because of his, it is likely that malicious software will threaten VoIP systems the same way traditional computer systems have been attacked by viruses, worms, and other automated agents. While most users have become familiar with email spam and viruses in email attachments, spam and malicious traffic over telephony currently is a relatively unknown threat. VoIP networks are a challenge to secure against such malware as much of the network intelligence is focused on the edge devices and access environment. A novel security architecture is being developed which improves the security of a large VoIP network with many inexperienced users, such as non-IT office workers or telecommunication service customers. The new architecture establishes interaction between the VoIP backend and the end users, thus providing information about ongoing and unknown attacks to all users. An evaluation of the effectiveness and performance of different implementations of this architecture is done using virtual machines and network simulation software to emulate vulnerable clients and servers through providing apparent attack vectors.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Coen, Stephanie. "NEXUS Poster Session & Book Launch 2009 - Event Flyer." NEXUS, 2009. http://hdl.handle.net/2429/15386.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Aiken, Milam Worth. "An expert systems approach to group decision support systems pre-session planning." Diss., The University of Arizona, 1991. http://catalog.hathitrust.org/api/volumes/oclc/31253019.html.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Schulz, Joseph Edward. "A desision support system for session scheduling." Thesis, Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/25106.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Neykova, Rumyana. "Multiparty session types for dynamic verification of distributed systems." Thesis, Imperial College London, 2016. http://hdl.handle.net/10044/1/45276.

Повний текст джерела
Анотація:
In large-scale distributed systems, each application is realised through interactions among distributed components. To guarantee safe communication (no deadlocks and communication mismatches) we need programming languages and tools that structure, manage, and policy-check these interactions. Multiparty session types (MPST), a typing discipline for structured interactions between communicating processes, offers a promising approach. To date, however, session types applications have been limited to static verification, which is not always feasible and is often restrictive in terms of programming API and specifying policies. This thesis investigates the design and implementation of a runtime verification framework, ensuring conformance between programs and specifications. Specifications are written in Scribble, a protocol description language formally founded on MPST. The central idea of the approach is a dynamic monitor, which takes a form of a communicating finite state machine, automatically generated from Scribble specifications, and a communication runtime stipulating a message format. We extend and apply Scribble-based runtime verification in manifold ways. First, we implement a Python library, facilitated with session primitives and verification runtime. We integrate the library in a large cyber-infrastructure project for oceanography. Second, we examine multiple communication patterns, which reveal and motivate two novel extensions, asynchronous interrupts for verification of exception handling behaviours, and time constraints for enforcement of realtime protocols. Third, we apply the verification framework to actor programming by augmenting an actor library in Python with protocol annotations. For both implementations, measurements show Scribble-based dynamic checking delivers minimal overhead and allows expressive specifications. Finally, we explore a static analysis of Scribble specifications as to efficiently compute a safe global state from which a monitored system of interacting processes can be recovered after a failure. We provide an implementation of a verification framework for recovery in Erlang. Benchmarks show our recovery strategy outperforms a built-in static recovery strategy, in Erlang, on a number of use cases.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Fiege, Ludger. "Visibility in event based systems." Phd thesis, [S.l. : s.n.], 2005. http://elib.tu-darmstadt.de/diss/000574.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Van, der Westhuizen Eugene Daniel. "A session layer for the X.400 message handling system." Master's thesis, University of Cape Town, 1990. http://hdl.handle.net/11427/18228.

Повний текст джерела
Анотація:
Bibliography: pages 233-235.
The CCITT X.400 Message Handling System resides in the Application Layer of the seven-layer Reference Model for Open Systems Interconnection. It bypasses the services of the Presentation Layer completely to interact directly with the Session Layer. The objectives of this thesis are to show how the general Session Layer may be tailored to be minimally conformant to the requirements of X. 400; to produce a formal specification of this session layer; and to show how this session layer may be implemented on a real system. The session services required by X. 400 are those of the Halfduplex, Minor Synchronization, Exceptions and Activity Management functional units of the CCITT X.215 Session Service Definition. These services, and particularly their use by X.400, are described in detail. State tables describing these services are derived from the general session service state tables. Those elements of the CCITT X. 225 Session Protocol Specification which are required to provide only those services required by X. 400 are described in detail. State tables describing this session protocol are derived from the general session protocol state tables. A formal specification of the session layer for X.400 is presented using the Formal Description Technique Estelle. This specification includes a complete session entity, which characterizes the entire session layer for X.400. A session entity for supporting X.400 is partially implemented and interfaced to an existing X.400 product on a real system. Only the Session Connection Establishment Phase of the session protocol is implemented to illustrate the technique whereby the entire session protocol may be implemented. This implementation uses the C programming language in the UNIX operating system environment.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Chen, Tsu-Chun. "Theories for Session-based Governance for Large-scale Distributed Systems." Thesis, Queen Mary, University of London, 2013. http://qmro.qmul.ac.uk/xmlui/handle/123456789/8778.

Повний текст джерела
Анотація:
Large-scale distributed systems and distributed computing are the pillars of IT infrastructure and society nowadays. Robust theoretical principles for designing, building, managing and understanding the interactive behaviours of such systems need to be explored. A promising approach for establishing such principles is to view the session as the key unit for design, execution and verification. Governance is a general term for verifying whether activities meet the specified requirements and for enforcing safe behaviours among processes. This thesis, based on the asynchronous -calculus and the theory of session types, provides a monitoring framework and a theory for validating specifications, verifying mutual behaviours during runtime, and taking actions when noncompliant behaviours are detected. We explore properties and principles for governing large-scale distributed systems, in which autonomous and heterogeneous system components interact with each other in the network to accomplish application goals. This thesis, incorporating lessons from my participation in a substantial practical project, the Ocean Observatories Initiative (OOI), proposes an asynchronous monitoring framework and the process calculus for dynamically governing the asynchronous interactions among distributed multiple applications. We prove that this monitoring model guarantees the satisfaction of global assertions, and state and prove theorems of local and global safety, transparency, and session fidelity. We also study and introduce the semantic mechanisms for runtime session-based governance and the principles of validation of stateful specifications through capturing the runtime asynchronous interactions.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Seyboth, Georg Sebastian. "Event-based Controlfor Multi-Agent Systems." Thesis, KTH, Reglerteknik, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-105117.

Повний текст джерела
Анотація:
In this thesis, a novel approach to the average consensus problem for multi-agent systems is followed. A new event-based control strategy is proposed, which incorporates event-based scheduling of state measurement broadcasts over the network. The control-laws are based on the resulting piecewise constant functions of these measurement values. This facilitates implementation on digital platforms such as microprocessors and reduces the number of interagent communications over the network. Starting from a basic problem setup with singleintegrator agents, fixed undirected connected communication topologies, and no time-delays, the novel strategy is developed. Different triggering conditions guaranteeing convergence to an adjustable region around the average consensus point or asymptotic convergence to this point, respectively, are discussed. Numerical simulations show the effectiveness of this approach, outperforming classical time-scheduled implementations of the consensus protocol in terms of load on the communication medium. Furthermore the problem class is extended to networks with directed communication links, switching topologies, and time-delays in the communication as well as to agents with double-integrator dynamics. As an illustrative example, the novel strategy is applied to a formation control problem of non-holonomic mobile robots in the plane.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Session and event systems"

1

Sayed-Mouchaweh, Moamar. Discrete Event Systems. New York, NY: Springer New York, 2014. http://dx.doi.org/10.1007/978-1-4614-0031-8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Boel, R., and G. Stremersch, eds. Discrete Event Systems. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4493-7.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Distributed event-based systems. Berlin, DE: Springer, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Liu, Shih-Chii, Tobi Delbruck, Giacomo Indiveri, Adrian Whatley, and Rodney Douglas. Event-Based Neuromorphic Systems. Chichester, UK: John Wiley & Sons, Ltd, 2015. http://dx.doi.org/10.1002/9781118927601.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Zimmermann, Armin. Stochastic Discrete Event Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-74173-2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Incident command, control, and communications during catastrophic events: Hearing before the Subcommittee on Emergency Preparedness, Science, and Technology of the Committee on Homeland Security, House of Representatives, One Hundred Ninth Congress, first session, September 29, 2005. Washington: U.S. G.P.O., 2007.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Brain Storming Session on the Great Tsunami Event of 26th December 2004 (2005 INSA). Proceedings of the Brain Storming Session on the Great Tsunami Event of 26th December 2004: Held on January 21-22, 2005 at INSA, New Delhi. New Delhi: Ministry of Science & Technology, Dept. of Science & Technology, Seismology Division, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Cassandras, Christos G. Introduction to discrete event systems. 2nd ed. New York: Springer, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Cassandras, Christos G. Introduction to Discrete Event Systems. Boston, MA: Springer US, 1999.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Cassandras, Christos G., and Stéphane Lafortune. Introduction to Discrete Event Systems. Boston, MA: Springer US, 1999. http://dx.doi.org/10.1007/978-1-4757-4070-7.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Session and event systems"

1

Das, Ankush, Henry DeYoung, Andreia Mordido, and Frank Pfenning. "Nested Session Types." In Programming Languages and Systems, 178–206. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_7.

Повний текст джерела
Анотація:
AbstractSession types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is not fully understood in the context of session types. In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes. Remarkably, we prove that type equality is decidable by exhibiting a reduction to trace equivalence of deterministic first-order grammars. Recognizing the high theoretical complexity of the latter, we also propose a novel type equality algorithm and prove its soundness. We observe that the algorithm is surprisingly efficient and, despite its incompleteness, sufficient for all our examples. We have implemented our ideas by extending the Rast programming language with nested session types. We conclude with several examples illustrating the expressivity of our enhanced type system.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Debes, Norbert. "Alter Session/System Set Events." In Secrets of the Oracle Database, 129–33. Berkeley, CA: Apress, 2009. http://dx.doi.org/10.1007/978-1-4302-1953-8_13.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Elnikety, Sameh. "Session." In Encyclopedia of Database Systems, 3484. New York, NY: Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_667.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Elnikety, Sameh. "Session." In Encyclopedia of Database Systems, 2636. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_667.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Elnikety, Sameh. "Session." In Encyclopedia of Database Systems, 1. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4899-7993-3_667-2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Lacroix, Michel, and Jacky Estublier. "SCM Systems Session." In Lecture Notes in Computer Science, 215. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60578-9_19.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Altintaş, Ayşe, and Celal Cem Sarioğlu. "Problem Session." In Arrangements, Local Systems and Singularities, 283–319. Basel: Birkhäuser Basel, 2009. http://dx.doi.org/10.1007/978-3-0346-0209-9_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Etzion, Opher. "Event Lineage." In Encyclopedia of Database Systems, 1373. New York, NY: Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_580.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Etzion, Opher. "Event Stream." In Encyclopedia of Database Systems, 1393–94. New York, NY: Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_590.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Etzion, Opher. "Event Source." In Encyclopedia of Database Systems, 1388–89. New York, NY: Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_585.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Session and event systems"

1

Olarte, Carlos, and Camilo Rueda. "Session types for communicating systems in event-B." In SAC 2016: Symposium on Applied Computing. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2851613.2851836.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Ozay, Necmiye. "Session details: Time- and Event-based Models." In HSCC'16: 19th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/3261113.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

"Session C: Single event effects: Mechanisms and modeling." In 2009 European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE, 2009. http://dx.doi.org/10.1109/radecs.2009.5994574.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Kiss, Tibor, and Katalin Tunde Janosi-Rancz. "Developing railway interlocking systems with session types and Event-B." In 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI). IEEE, 2016. http://dx.doi.org/10.1109/saci.2016.7507347.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

"Session B: Single event effects: Devices and integrated circuits." In 2009 European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE, 2009. http://dx.doi.org/10.1109/radecs.2009.5993795.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

"INTRODUCTION OF RFID TECHNOLOGIES IN A MANUFACTURING SYSTEM - A Discrete Event Simulation Approach." In Special Session on Manufacturing Simulation and Industrial Engineering. SciTePress - Science and and Technology Publications, 2011. http://dx.doi.org/10.5220/0003646805230529.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Dillahunt, Tawanna. "Session details: Disasters & Humanitarian Events." In CHI '15: CHI Conference on Human Factors in Computing Systems. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/3251782.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Barkaoui, Kamel, Chafia Bouanaka, and José Martín Molina Espinosa. "AN EVENT STRUCTURE BASED COORDINATION MODEL FOR COLLABORATIVE SESSIONS." In 11th International Conference on Enterprise Information Systems. SCITEPRESS - Science and Technology Publications, 2009. http://dx.doi.org/10.5220/0001987101370143.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Tramontin, Aline, Ricardo Sohn, Bruna de Oliveira, Roberto Pereira, and Isabela Gasparini. "A Social Recommendation Template for Presentations Sessions for Scientific Events." In Workshop sobre Aspectos da Interação Humano-Computador na Web Social. Sociedade Brasileira de Computação (SBC), 2018. http://dx.doi.org/10.5753/waihcws.2018.3898.

Повний текст джерела
Анотація:
Scientific/Academic events promote the meeting of researchers for the dissemination of their work to the scientific community. These events are dynamic, sessions can happen simultaneously, and in this case participants may have difficulty choosing which sessions attend. Recommender Systems can aid the participant in this choice, as they use information from the sessions, participants and information about the participants' social relationships. The goal of this work is to present the proposal of a Model of Social Recommendation for Scientific Events, which can be applicable to any type of scientific event. The model was partially implemented and was applied for the IHC 2017 event, for this, co-authoring relationships were considered. The instantiated model was evaluated through a questionnaire, where we evaluated users' perceptions about the utility of coauthoring indication to recommend sessions.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Philippot, Alexandre. "Survey on diagnosis of a pick and place benchmark: Special session on diagnosis of Discrete Event Systems: Application on a benchmark." In 2011 3rd International Workshop on Dependable Control of Discrete Systems (DCDS). IEEE, 2011. http://dx.doi.org/10.1109/dcds.2011.5970313.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Session and event systems"

1

Hilt, V., and G. Camarillo. A Session Initiation Protocol (SIP) Event Package for Session-Specific Policies. RFC Editor, December 2012. http://dx.doi.org/10.17487/rfc6795.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

B., A. Session Initiation Protocol (SIP)-Specific Event Notification. RFC Editor, June 2002. http://dx.doi.org/10.17487/rfc3265.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Rosenberg, J. A Session Initiation Protocol (SIP) Event Package for Registrations. RFC Editor, March 2004. http://dx.doi.org/10.17487/rfc3680.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Pendleton, A., A. Clark, A. Johnston, and H. Sinnreich. Session Initiation Protocol Event Package for Voice Quality Reporting. RFC Editor, November 2010. http://dx.doi.org/10.17487/rfc6035.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Camarillo, G. The Session Initiation Protocol (SIP) Pending Additions Event Package. RFC Editor, October 2008. http://dx.doi.org/10.17487/rfc5362.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Niemi, A., ed. Session Initiation Protocol (SIP) Extension for Event State Publication. RFC Editor, October 2004. http://dx.doi.org/10.17487/rfc3903.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Shen, C., H. Schulzrinne, and A. Koike. A Session Initiation Protocol (SIP) Load-Control Event Package. RFC Editor, April 2014. http://dx.doi.org/10.17487/rfc7200.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Rosenberg, J., and H. Schulzrinne. A Session Initiation Protocol (SIP) Event Package for Conference State. Edited by O. Levin. RFC Editor, August 2006. http://dx.doi.org/10.17487/rfc4575.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Rosenberg, J. A Presence Event Package for the Session Initiation Protocol (SIP). RFC Editor, August 2004. http://dx.doi.org/10.17487/rfc3856.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Niemi, A., K. Kiss, and S. Loreto. Session Initiation Protocol (SIP) Event Notification Extension for Notification Rate Control. RFC Editor, January 2012. http://dx.doi.org/10.17487/rfc6446.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Session and event systems" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії