Interactive systems : :: SCD d'Orléans

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, june 11-13, 2003 : revised papers

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, june 11-13, 2003 : revised papers

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented t...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	DSV-IS 2003 :Funchal, Madeira island, Portugal
Outros autores:	Jorge, Joaquim A. (Directeur de la publication), Jardim Nunes, Nuno (Directeur de la publication), Falcao e Cunha, Joao (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 2844
Sujets:	Génie logiciel Informatique Systèmes conversationnels (informatique) Réseaux d'ordinateurs Systèmes d'aide à la décision Interfaces utilisateur (informatique) Informatique documentaire Multimédias Actes de congrès
Acceso en liña:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Interactive systems, design, specification, and verification, 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, june 11-13, 2003, revised papers, Joaquim A. Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha (eds.), Berlin, Springer, 2003, 1 vol. (XIII-427 p.), Lecture notes in computer science, 3-540-20159-9 • Interactive Systems. Design, Specification, and Verification, Texte imprimé, 9783662171707

Títulos similares

Interactive systems : design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13 15, 2001 : revised papers

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5 6, 2000 : revised papers
por: Palanque, Philippe, 1966-...., informaticien, et autres

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Hypermedia : openness, structural awareness, and adaptivity : international workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001 : revised papers

Management of multimedia networks and services : 6th IFIP/IEEE International Conference, MMNS 2003, Belfast, Northern Ireland, UK, September 7-10, 2003 : proceedings

Web technologies and applications : 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 23 25, 2003 : proceedings

Interactive multimedia and next generation networks : Second international workshop on multimedia interactive protocols and systems, MIPS 2004, Grenoble, France, November 16-19, 2004 : proceedings

Management of multimedia networks and services : 7th IFIP/IEEE International conference, MMNS 2004, San Diego, CA, USA, october 3-6, 2004 : proceedings

Human-computer interaction with mobile devices and services : 5th international symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003 : proceedings

Grid and cooperative computing : second international workshop, GCC 2003 : Shanghai, China, December 7-10, 2003 : revised papers
por: Li, Minglu

Networked group communication : First International COST264 Workshop, NGC 99, Pisa, Italy, November 17-20, 1999 : proceedings

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings

Grid and cooperative computing : second international workshop, GCC 2003, Shanghai, China, December 7-10, 2003 : revised papers, part I

User-centered interaction paradigms for universal access in the information society : 8th ERCIM workshop on user interfaces for all, Vienna, Austria, June 28-29, 2004 : revised selected papers
por: Stary, Christian

Knowledge-based intelligent information and engineering systems : 7th International Conference, KES 2003, Oxford, UK, September 2003 : proceedings, part II

Text-and speech-triggered information access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30 2000 : revised lectures

Knowledge-based intelligent information and engineering systems : 7th International conference, KES 2003, Oxford, UK, September 3-5, 2003 : proceedings, part I

Metainformatics : international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 : revised papers

Mobility aware technologies and applications : First international workshop, MATA 2004, Florianopolis, Brazil, october 20-22, 2004 : proceedings

Adaptive hypermedia and adaptive Web-based systems : international conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings

Adaptive hypermedia and adaptive Web-based systems : Second International Conference, AH 2002, Málaga, Spain, May 29-31, 2002 : proceedings
por: De Bra, Paul M. E., 1959-
Publicado: (2003)

Computer Music Modeling and Retrieval : International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003. Revised Papers
por: Wiil, Uffe Kock

Interactive distributed multimedia systems and telecommunication services : 7th international workshop, IDMS 2000, Enschede, Netherlands, October 17-20, 2000 : proceedings

Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings

Intelligent systems and soft computing : prospects, tools and applications
por: Azvine, Behnam

Agent-oriented information systems : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers
por: Giorgini, Paolo, 1968-

Digital libraries : technology and management of indigenous knowledge for global access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003 : proceedings

Software engineering research and applications : First international conference, SERA 2003, San Fransisco, CA, USA, June 25-27, 2003 : Selected revised papers

Digital libraries : people, knowledge, and technology : 5th International Conference on Asian Digital Libraries, ICADL 2002, Singapore, December 11 14, 2002 : proceedings

Groupware : design, implementation, and use : 10th international workshop, CRIWG 2004, San Carlos, Costa Rica, september 5-9, 2004 : proceedings

Embedded and ubiquitous computing : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004 : proceedings

Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976

Innovative Internet community systems : Third international workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003 : revised papers

Grid and cooperative computing : GCC 2004 international workshops IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004 : proceedings

Management of multimedia on the Internet : 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA, October 29 - November 1, 2001 : proceedings

Mobile and ubiquitous information access : Mobile HCI 2003 international workshop, Udine, Italy, September 8, 2003 : revised and invited papers
por: Crestani, Fabio, 1962-

Advances in databases and information systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004 : proceedings
por: Benczúr, Andras

Networked group communication : Third International COST264 Workshop, NGC 2001, London, UK, November 7 9, 2001 : proceedings

Mobile human-computer interaction : MobileHCI 2004 : 6th international symposium, MobileHCI 2004, Glasgow, UK, September 13-16, 2004 : proceedings
por: Brewster, Stephen

Cooperative information agents VII : 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales