175documents trouvés
A loosely coupled integration environment for collaborative applications
R.L.LIMA GOMES, G.J.HOYOS RIVERA, R.WILLRICH, C.VIANA LIMA, J.P.COURTIAT
UFES, Veracruzana, INE-UFSC, Inst.Telecomunicações, OLC
Revue Scientifique : IEEE Transactions on Systems, Man and Cybernetics, Part A, Vol.41, N°5, pp.905-916, Août 2011 , N° 11840
Diffusable
126902Extended real-time LOTOS for preemptive systems verification
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : 15th Conference on Real-Time and Network Systems (RTNS'07), Nancy (France), 29-30 Mars 2007, pp.25-34 , N° 06766
Diffusable
109647Mapping RT-LOTOS specifications into time Petri nets
T.SADANI, M.BOYER, P.DE SAQUI SANNES, J.P.COURTIAT
ENSICA, OLC
Manifestation avec acte : International Conference on Formal Engineering Methods, Macao (Chine), 1-3 Novembre 2006, 20p. , N° 06888
Diffusable
109004CoLab - A new paradigm and tool for browsing collaboratively the web
G.J.HOYOS RIVERA, R.L.LIMA GOMES, R.WILLRICH, J.P.COURTIAT
OLC, INE-UFSC
Revue Scientifique : IEEE Transactions on Systems, Man and Cybernetics, Part A, Vol.36, N°6, pp.1074-1085, Novembre 2006 , N° 06482
Diffusable
Plus d'informations
Abstract
Widespread adoption of Web technologies, particularly in professional and educational areas, has motivated new research efforts with the objective of designing new interaction mechanisms based on Web technologies. Within this framework, collaborative Web browsing (cobrowsing) aims at extending currently available Web browsing capabilities in order to allow several users to "browse together" on the Web. Such a browsing paradigm can have many useful applications, for instance, in e-learning, for collaboratively searching and retrieving documents, and for online assistance (helpdesk). A cobrowsing system should provide all the facilities required for allowing users to establish and release, in a very simple and flexible way, browsing synchronization relations as well as interactions with continuous media presentations embedded within Web pages. This paper presents the design, modeling, and implementation of the cobrowsing system called CoLab. CoLab provides all the functionalities required for allowing users to collaboratively browse the Web, and a first experimental version of the tool has been implemented and is fully operational
Mots-Clés / Keywords
Collaborative web browsing; Synchronization; Continuous media;
Real-time and embedded system verification based on formal requirements
B.FONTAN, L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT
OLC, ENST Sophia
Manifestation avec acte : IEEE Symposium on Industrial Embedded Systems (IES'2006), Antibes (France), 18-20 Octobre 2006, 10p. , N° 06496
Diffusable
108764Effective representation of regular RT-LOTOS terms by finite time Petri nets
T.SADANI, M.BOYER, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris (France), 26-29 Septembre 2006, 16p. , N° 05605
Diffusable
109002CoLab: Co-navigation sur le web
G.J.HOYOS RIVERA, R.L.GOMES, R.WILLRICH, J.P.COURTIAT
INE-UFSC, OLC
Manifestation avec acte : New Technologies for Distributed Systems (NOTERE'2006), Toulouse (France), 6-9 Juin 2006, pp.153-158 , N° 06338
Diffusable
107373Extension de RT-LOTOS pour la spécification et la vérification de systèmes préemptifs
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT, M.BOYER
OLC, ENSICA
Manifestation sans acte : Journées FAC'2006 "Formalisation des Activités Concurrentes", Toulouse (France), 23-24 Mars 2006, 13p. , N° 06890
Diffusable
109008Recherche d'efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestations avec acte à diffusion limitée : 7ème Conférence Francophone "Approches Formelles dans l'Assistance au Développement de Logiciels" (AFADL'06), Paris (France), 15-17 Mars 2006, pp.127-139 , N° 05562
Diffusable
106560UML-based modeling and formal verification of authentication protocols
B.FONTAN, S.MOTA GONZALEZ , T.VILLEMUR, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : IEEE International Symposium on Secure Software Engineering (ISSSE'06), Arlington (USA), 13-15 Mars 2006, pp.137-146 , N° 05550
Diffusable
106405