On RT-LOTOS and its application to the formal design of multimedia protocols 0
-
citeseer
(0) (0 Votes)Views: (1005) Date: (13-05-09) Pages: () -
Author: by Jean-Pierre Courtiat Roberto Roberto C. De Oliveira La Conception Formelle De Protocoles Multim
-
Abstract: The paper is devoted to the presentation of a new formal description technique RT-LOTOS (Real-Time LOTOS) which is a temporal extension of the standard formal description technique LOTOS. After a brief introduction to LOTOS, the first part of the paper describes the main features of RT-LOTOS both informally by means of simple examples and formally by detailing its operational semantics and stating some important properties of the model. The second part of the paper shows the applicability of RT-LOTOS for the formal design of multimedia protocols. A design method based on generic and reusable specification building blocks is presented for formalizing an intra-stream synchronization mechanism designed and used within the CESAME project. Several simulation results obtained with RTL (RT-LOTOS Laboratory), the tool environment supporting RT-LOTOS, are presented for assessing the quality of service of the proposed mechanism. Key words : Formal methods, LOTOS, Multimedia synchronization RT-...
Related Documents
Related Groups
Related Science News
- News Hub - Scientific and Academic News from Trusted Sources ...
a:1:{s:5:"value";s:427:"Browse, read, and share thousands of articles from trusted sources in various scientific fields. Link the RSS Feed of your particular fields of interest ...
More on Sciencestage
- Achtung Impfungen Anita Petek auf der AZK 11/12 - aids, masern ...
Impfungen Sinn oder Unsinn. Der Vortrag in einem Stück: video.google.de ... aids masern grippe influenza vogel gebährmutterhals krebs angst tod impfen h5n1 kindstod ... - Streaming Knowledge, Advancing Careers | science videos, tutorial ...
sciencestage.com ScienceStage.com is a virtual conference room, lecture hall, laboratory, library and meeting venue all in one. - Underwater Volcanoes - National, Geographic, Wild, Chronicles ...
You no longer have to imagine what amazing landscapes like the Grand Canyon or Yosemite National Park would look like under water. National Geographic Explorer-in-Residence Bob ... - Browse our video content by scientific field on sciencestage.com
Have a look through all of sciencestage.com's fields of science. - Building Stonehenge - Wally, Wallington, Stonehenge, Gravity ...
Wally Wallington has demonstrated that he can lift a Stonehenge-sized pillar weighing 22,000 lbs and moved a barn over 300 ft. What makes this so special is that he does it ... - HAARP The Systen which can create earth Quakes and Tsunami ...
The High Frequency Active Auroral Research Program (HAARP) is an investigation project jointly funded by the United States Air Force, the United States Navy, the University of ... - Sinápsis - neuronas, función, de, relación, ciencias, naturales ...
Sinápsis, función de relación. La sinapsis (del gr. ÏƒÏ ναψιÏ‚, "enlace") es el proceso de comunicación entre neuronas. Se inicia con una descarga ... - Gerald Bull Space Gun Part 1 - Gerald, Vincent, Bull, Canadian ...
Brief story of the career of master artillery designer Gerald Bull Wiki Gerald Bull :- en.wikipedia.org Discovery Science channel No Copyright Infringement intended Educational ... - Mark-to-market accounting - Accounting rules - Post-Crisis Reform ...
Bob Pozen of Harvard Business School discusses the controversial accounting rules and where we should go from here. 17 Nov 2009 Background ... - فیلم آموز انتگرال گیری - فیلم, اموزش ...
فیلم اموزش ریاضی 6 مبحث انتگرال گیری جلسه اول ...
Answers
- Resolved Question: What is a word for strong on the outside but weak on the outside?
... english paper I need a word for strong on the outside but weak on the outside. I ... - Undecided Question: How to block a friend on facebook from viewing the comments I post on other friends pages?
...from seeing the comments I post on other friends pages. I work... - Open Question: What is the best mode on my camera to use while ghost hunting?
I have a Canon rebel t3 and I like to use it on ghost hunts. I would really like to know... - Open Question: Why do I find cockroaches on their backs in my apartment, but when I go to pick them up they start r…
...I find at least one every week. Usually their on their backs all still, but when I ... - Undecided Question: How to make songs on your music page on Facebook able to download?
...39;m trying to make the songs on my bands music page on Facebook available... - Open Question: What is to file and exemption on yourself?
... me if i want to claim and exemption on myself. I am new to online filing so... - Open Question: Why wont my computer turn on if the motherboard shows power?
...a wall. I plugged it in and the LED on the motherboard lit up. When I turned it... - Undecided Question: Is there any way to play Pokemon on the computer legally without buying a DS?
...a nintendo DS. And i dont like playing on a Rom because it is pirating... - Open Question: Is it a good idea to install monitoring software on ur computer and ipod?
...of ppl say its a bad thing to install spyware on ur child's (or teen's) personal computer... - Open Question: What are your highest rounds on black ops zombies?
On all the maps you have played on? BQ:If you could invent a new perk what would...
News
- On Day 7 on NY Fashion Week, a new look for layers
Layers are nothing new, but New York Fashion Week is showing them in a different way. - Eurozone stands by hard line on Greek bailout terms
Pressure rose on Greece on Tuesday to enact deep budget cuts in return for a bailout, just as new economic data revealed acute distress and there was new talk of exclusion from the eurozone. - Top-ranked Kentucky opens doors on practice
Kentucky opened its practice on Wednesday, allowing students, faculty, staff and a national television audience to watch the top-ranked Wildcats' workout and scrimmage. "I want the students into it, I want the players alert and focused through the week," coach John Calipari said. "Our practices are pretty consistent in how we go about it, then it turns into ... - On The Fly: Closing Wrap
Stocks on Wall Street were lower as doubts about future quantitative easing, and about progress in Greece, took hold. Stock futures moved lower following mixed domestic economic data. The futures action ... - European stocks slip on ratings cuts, US data
European stocks slipped on Tuesday following disappointing US retail sales data, having largely taken in stride a Moody's ratings cut on six European nations overnight due to the eurozone crisis. - Zynga warning on player spending hits shares
Zynga Inc's shares fell 16 percent on Wednesday, amid heavy volumes, after the social gaming company warned of a slowdown in bookings, indicating paying players may be spending less than expected. A lackluster ... - Fishermen on ice as sturgeon spear season opens
WINNECONNE, Wis (Reuters) - Dan Loftus, on a mission to spear a sturgeon from the ice-choked waters of Lake Winnebago in Wisconsin, dropped a rubber chicken into the frigid emerald abyss and waited. The 48-year-old chiropractor from Germantown sat on a lawn chair in the dark and leaned over, staring into the murky water through a hole carved into 10-inch-thick ice as his two buddies gregariously ... - Brent ends at 8-month high on supply risks
NEW YORK (Reuters) - Brent oil settled at an eight-month high on Wednesday as fears of supply disruptions from Iran producers and Africa outweighed worries about the global economy. Crude markets found early support from an Iranian state media report, which was later denied by the oil ministry, that Tehran had banned oil exports to six European Union countries in retaliation for EU sanctions. ... - European stocks mixed on Greek bailout delay
European shares mostly rose despite a Greek bailout hanging in the balance on Wednesday, with supportive Chinese comments lifting sentiment. - Stocks on the Road to Greatness
Investors can find great investments by looking beyond the glare of top-rated stars.
Related on Wikipedia
- Wikipedia, the free encyclopedia
Other areas of Wikipedia. Community portal – Bulletin board, projects, resources and activities covering a wide range of Wikipedia areas. Help desk – Ask questions about ... - Wikipedia:IPA for English - Wikipedia, the free encyclopedia
The pronunciation of English words in Wikipedia is given in the International Phonetic Alphabet (IPA) using the following transcription, which is not specific to any one dialect. - Wikipedia - Wikipedia, the free encyclopedia
Wikipedia (i / ˌ w ɪ k ɨ ˈ p iː d i ə / or i / ˌ w ɪ k i ˈ p iː d i ə / wik-i-pee-dee-ə) is a free, collaborative, multilingual Internet encyclopedia supported by ... - Twitter - Wikipedia, the free encyclopedia
Twitter is an online social networking service and microblogging service that enables its users to send and read text-based posts of up to 140 characters, known as "tweets". - Wikipedia:IPA for Polish - Wikipedia, the free encyclopedia
The charts below show the way in which the International Phonetic Alphabet (IPA) represents Polish language pronunciations in Wikipedia articles. - Meme - Wikipedia, the free encyclopedia
A meme ( / ˈ m iː m) is "an idea, behavior or style that spreads from person to person within a culture." A meme acts as a unit for carrying cultural ideas, symbols or ... - Chav - Wikipedia, the free encyclopedia
A chav ( / ˈ tʃ æ v / chav, also charver in Yorkshire and North East England) is a term that is used in the United Kingdom to describe a stereotype of teenagers and young ... - Paganism - Wikipedia, the free encyclopedia
Paganism (from Latin paganus, meaning "country dweller", "rustic") is a blanket term, typically used to refer to non-Abrahamic, indigenous polytheistic religious traditions. - Proline - Wikipedia, the free encyclopedia
Proline (abbreviated as Pro or P) is an α-amino acid, one of the twenty DNA-encoded amino acids. Its codons are CCU, CCC, CCA, and CCG. It is not an essential amino acid ... - In Rainbows - Wikipedia, the free encyclopedia
In Rainbows is the seventh studio album by the English rock band Radiohead. It was first released on 10 October 2007 as a digital download self-released, that customers could ...