Timed session types formalise timed communication protocols between twoparticipants at the endpoints of a session. They feature a decidable compliance relation,which generalises to the timed setting the progress-based compliance between untimedsession types. We show a sound and complete technique to decide when a timed sessiontype admits a compliant one. Then, we show how to con...

Complicated search such as making a travel plan usually requires more than one search queries. A user interacts with a search engine for multiple iterations, which we call a session. Session search is the task that deals with document retrieval within a session. A session often involves a series of interactions between the user and the search engine. To make use of all the queries and various i...

This memo describes how to carry real time text conversation session contents in RTP packets. Text conversation session contents are specified in ITU-T Recommendation T.140. Two payload formats are described. One for transmitting text on a separate RTP session dedicated for the transmission of text, and one for transmitting audio and text data within one single RTP session. This RTP payload des...

This memo describes how to carry real time text conversation session contents in RTP packets. Text conversation session contents are specified in ITU-T Recommendation T.140 [1]. Two payload formats are described. One for transmitting text on a separate RTP session dedicated for the transmission of text, and one for transmitting audio and text data within one single RTP session. This RTP payload...

Two novel mutual authentication and key exchange protocols with anonymity are proposed for different roaming scenarios in the global mobility network (GLOMONET). The proposed protocols have new features, such as identity anonymity and one-time session key progression. Identity anonymity protects mobile users’ privacy in the roaming network environment. One-time session key progression frequentl...

This memo describes how to carry real time text conversation session contents in RTP packets. Text conversation session contents are specified in ITU-T Recommendation T.140. Two payload formats are described. One for transmitting text on a separate RTP session dedicated for the transmission of text, and one for transmitting audio and text data within one single RTP session. Hellstrom Expires Au...

abstractintroduction: we researched to study the effect of berberis vulgaris supplementation on glycemic indices patients with diabetes type 2 after one session of aerobic exercise in accordance to independent effects of barberry extract and aerobic exercise.methods and material: 32 patient men with type 2 diabetes accidently divided into four groups of barberry extract (10 cc per 200 ml of wat...

obgective: the purpose of the present study was to examine the effect of one session of swimming and running exercise on the appetite , calorie intake in the the healthy girls. methodology: the research design was a cross-sectional one and 12 girl from among university students (average age 22.5 ± 1.3 yr, bmi 21.17 ± 2.68 kg/m², weight 56.07 ± 5.46 kg and body fat percent 27.12 ± 8.31) voluntar...

This memo describes how to carry real time text conversation session contents in RTP packets. Text conversation session contents are specified in ITU-T Recommendation T.140. Two payload formats are described. One for transmitting text on a separate RTP session dedicated for the transmission of text, and one for transmitting audio and text data within one single RTP session. This RTP payload des...

Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session). As a generalization of i-session, a group session (g-session) is one in which each party may implement a group of roles based on one channel. In particular, each of the two parties involved in a dya...