SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 2002 : proceedings
Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a nar...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2540 |
| Matèries: | |
| Accés en línia: | 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: | • SOFSEM 2002, theory and practice of informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, proceedings, William I. Grosky, František Plášil (eds.), Berlin, Springer, 2002, 1 vol. (X-287 p.), Lecture notes in computer science, 3-540-00145-X • SOFSEM 2002: Theory and Practice of Informatics, Texte imprimé, 9783662198254 |
| LEADER | 05546nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 949085 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155211323 | ||
| 020 | |a 9783540361374 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Conference on Current Trends in Theory and Practice of Informatics |n (29 |d :2002 |c :Milovy, République Tchèque). | |
| 245 | 1 | 0 | |a SOFSEM 2002 : |b theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 2002 : proceedings |c [edited by] William I. Grosky, František Plášil. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2540 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a INVITED TALKS -- Conformance Testing Techniques for Timed Systems -- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies -- Equivalence-Checking with Infinite-State Systems: Techniques and Results -- On Functions and Types: A Tutorial -- Database Support for Multisource Multiresolution Scientific Data -- Semantic Annotation and Indexing of News and Sports Videos -- Multimedia Presentations Databases (Extended Abstract) -- Interactive Indexing and Retrieval of Multimedia Content -- A Model-Based Approach to Semantic-Based Retrieval of Visual Information -- Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract) -- PANEL SESSION -- Data Management Challenges for GRID Computing -- CONTRIBUTED PAPERS -- Hungarian Speech Synthesis Using a Phase Exact HNM Approach -- Modelling Resource Transitions in Constraint-Based Scheduling -- A Specification Framework for Real-Time Scheduling -- String Transformation for n-Dimensional Image Compression -- Validation and Decomposition of Partially Occluded Images -- Solving Conflicts of Agent Knowledge States in Multiagent Systems -- Specification and Verification of Secure Business Transaction Systems -- Agent-Oriented Model of Simulated Evolution -- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections -- The Complexity of Probabilistic versus Quantum Finite Automata -- Do We Need Liveness? Approximation of Liveness Properties by Safety Properties. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22 29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logiciels | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Multimédias | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Grosky, William. |4 pbd | |
| 700 | 1 | |a Plášil, František, |d 1943- |4 pbd | |
| 776 | 0 | |0 070214948 |t SOFSEM 2002 |o theory and practice of informatics |o 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 |o proceedings |f William I. Grosky, František Plášil (eds.) |c Berlin |n Springer |d 2002 |p 1 vol. (X-287 p.) |s Lecture notes in computer science |z 3-540-00145-X | |
| 776 | 0 | |t SOFSEM 2002: Theory and Practice of Informatics |b Texte imprimé |z 9783662198254 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36137-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PLNG528V-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748057366 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-36137-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751508748 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-36137-5 |z Accès INSA CVL | |
| 997 | |0 949085 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||