Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The Common Component Modeling Example [[electronic resource] ] : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil
| The Common Component Modeling Example [[electronic resource] ] : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VIII, 460 p.) |
| Disciplina | 520.9 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer programming Computer simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Models and Principles Programming Techniques Simulation and Modeling |
| ISBN | 3-540-85289-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CoCoTA – Common Component Task -- CoCoME - The Common Component Modeling Example -- Modeling Components and Component-Based Systems in KobrA -- A Rich Services Approach to CoCoME -- Modelling with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn) -- Service-Oriented Modeling of CoCoME with Focus and AutoFocus -- Modelling the CoCoME with the Java/A Component Model -- Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes -- Modelling the CoCoME with DisCComp -- Palladio – Prediction of Performance Properties -- KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability -- CoCoME in Fractal -- CoCoME in SOFA -- A Specification Language for Distributed Components Implemented in GCM/ProActive -- CoCoME Jury Evaluation and Conclusion. |
| Record Nr. | UNISA-996465886603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Common Component Modeling Example [[electronic resource] ] : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil
| The Common Component Modeling Example [[electronic resource] ] : Comparing Software Component Models / / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VIII, 460 p.) |
| Disciplina | 520.9 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer programming Computer simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Models and Principles Programming Techniques Simulation and Modeling |
| ISBN | 3-540-85289-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CoCoTA – Common Component Task -- CoCoME - The Common Component Modeling Example -- Modeling Components and Component-Based Systems in KobrA -- A Rich Services Approach to CoCoME -- Modelling with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn) -- Service-Oriented Modeling of CoCoME with Focus and AutoFocus -- Modelling the CoCoME with the Java/A Component Model -- Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes -- Modelling the CoCoME with DisCComp -- Palladio – Prediction of Performance Properties -- KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability -- CoCoME in Fractal -- CoCoME in SOFA -- A Specification Language for Distributed Components Implemented in GCM/ProActive -- CoCoME Jury Evaluation and Conclusion. |
| Record Nr. | UNINA-9910484299803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil
| Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 253 p. 78 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38673-8
9786613564658 3-642-13238-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple Failure Modes -- Comparison of Component Frameworks for Real-Time Embedded Systems -- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between Abstract Models of Embedded Systems -- Component-Based Adaptive Systems -- Reliable Dynamic Reconfigurations in a Reflective Component Model -- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware -- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution -- Component Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case Study -- Automated Creation and Assessment of Component Adapters with Test Cases -- An Empirical Study of the Component Dependency Resolution Search Space -- Composition and (De)-composition of Component-Based Systems -- Component Composition Using Feature Models -- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces -- (Behavioural) Design Patterns as Composition Operators. |
| Record Nr. | UNISA-996465845603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil
| Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 253 p. 78 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38673-8
9786613564658 3-642-13238-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple Failure Modes -- Comparison of Component Frameworks for Real-Time Embedded Systems -- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between Abstract Models of Embedded Systems -- Component-Based Adaptive Systems -- Reliable Dynamic Reconfigurations in a Reflective Component Model -- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware -- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution -- Component Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case Study -- Automated Creation and Assessment of Component Adapters with Test Cases -- An Empirical Study of the Component Dependency Resolution Search Space -- Composition and (De)-composition of Component-Based Systems -- Component Composition Using Feature Models -- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces -- (Behavioural) Design Patterns as Composition Operators. |
| Record Nr. | UNINA-9910484708803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Research into Practice - Reality and Gaps [[electronic resource] ] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by George Heineman, Jan Kofron, Frantisek Plasil
| Research into Practice - Reality and Gaps [[electronic resource] ] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by George Heineman, Jan Kofron, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 183 p. 66 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer logic Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN |
1-280-38742-4
9786613565341 3-642-13821-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of the Keynotes -- Intrinsic Definition in Software Architecture Evolution -- A Component-Based Approach to Adaptive User-Centric Pervasive Applications -- Model-Driven Analysis -- Validating Model-Driven Performance Predictions on Random Software Systems -- Statistical Inference of Software Performance Models for Parametric Performance Completions -- Parameterized Reliability Prediction for Component-Based Software Architectures -- Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems -- Quality of Service Adaptation -- QoS Driven Dynamic Binding in-the-many -- A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems -- Using QoS-Contracts to Drive Architecture-Centric Self-adaptation -- Case Studies and Experience Reports -- Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users -- Barriers to Modularity - An Empirical Study to Assess the Potential for Modularisation of Java Programs -- Evaluating Maintainability with Code Metrics for Model-to-Model Transformations -- Good Architecture = Good (ADL + Practices). |
| Record Nr. | UNISA-996465587603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Research into Practice - Reality and Gaps [[electronic resource] ] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by George Heineman, Jan Kofron, Frantisek Plasil
| Research into Practice - Reality and Gaps [[electronic resource] ] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by George Heineman, Jan Kofron, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 183 p. 66 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer logic Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN |
1-280-38742-4
9786613565341 3-642-13821-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of the Keynotes -- Intrinsic Definition in Software Architecture Evolution -- A Component-Based Approach to Adaptive User-Centric Pervasive Applications -- Model-Driven Analysis -- Validating Model-Driven Performance Predictions on Random Software Systems -- Statistical Inference of Software Performance Models for Parametric Performance Completions -- Parameterized Reliability Prediction for Component-Based Software Architectures -- Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems -- Quality of Service Adaptation -- QoS Driven Dynamic Binding in-the-many -- A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems -- Using QoS-Contracts to Drive Architecture-Centric Self-adaptation -- Case Studies and Experience Reports -- Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users -- Barriers to Modularity - An Empirical Study to Assess the Potential for Modularisation of Java Programs -- Evaluating Maintainability with Code Metrics for Model-to-Model Transformations -- Good Architecture = Good (ADL + Practices). |
| Record Nr. | UNINA-9910483080303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM '97: Theory and Practice of Informatics [[electronic resource] ] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / / edited by Frantisek Plasil, Keith G. Jeffery
| SOFSEM '97: Theory and Practice of Informatics [[electronic resource] ] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / / edited by Frantisek Plasil, Keith G. Jeffery |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 582 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Database management Computer science—Mathematics Numerical analysis Theory of Computation Software Engineering/Programming and Operating Systems Database Management Discrete Mathematics in Computer Science Numeric Computing |
| ISBN | 3-540-69645-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer chess: Algorithms and heuristics for a deep look into the future -- Algorithms for triangulated terrains -- On the distributed realization of parallel algorithms -- The fundamental problem of database design -- Solving and approximating combinatorial optimization problems (Towards MAX CUT and TSP) -- The computational power of continuous time neural networks -- A foundation for computable analysis -- Towards machines that can think -- Computational complexity of continuous problems -- Path layout in ATM networks -- The mobile agent technology -- Theory and practice in interactionally rich distributed systems -- Configuration-based programming systems -- Automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications -- A formal software engineering paradigm: From domains via requirements to software - Formal specification & design calculi - -- The whole picture to software process improvement -- Object-oriented design patterns -- Object-oriented DBMS and beyond -- On integration of relational and object-oriented database systems -- From OO through deduction to active databases — ROCK, ROLL & RAP -- An introduction to virtual reality modeling language -- Stepping stones to an information society -- Lower bounds for the virtual path layout problem in ATM networks -- Query processing in temporal evidential databases -- A first approach to temporal predicate locking for concurrency detection in temporal relational databases supporting schema versioning -- Efficient insertion of approximately sorted sequences of items into a dictionary -- High availability support in CORBA environments -- On f-sparse sets in NP - P -- Zero-overhead exception handling using metaprogramming -- The output-store formal translator directed by LR parsing -- Parallel processing on alphas under MATLAB 5 -- PRAM lower bound for element distinctness revisited -- Optimal trees for searching in codebook -- Time optimal self-stabilizing algorithms -- Requirements specification iteratively combined with reverse engineering -- On finite representations of infinite-state behaviours -- Efficient strong sequentiality using replacement restrictions -- Optimal encodings -- Monotonic rewriting automata with a restart operation -- Kahn's fixed-point characterization for linear dynamic networks -- DESAM — Annotated corpus for Czech -- Mobility management in CORBA: A generic implementation of the lifecycle service -- A theory of game trees, based on solution trees -- Approximation algorithms for the vertex bipartization problem -- Optical all-to-all communication for some product graphs (Extended Abstract) -- Parallelizing self-organizing maps. |
| Record Nr. | UNINA-9910144905103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM '97: Theory and Practice of Informatics [[electronic resource] ] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / / edited by Frantisek Plasil, Keith G. Jeffery
| SOFSEM '97: Theory and Practice of Informatics [[electronic resource] ] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / / edited by Frantisek Plasil, Keith G. Jeffery |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 582 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Database management Computer science—Mathematics Numerical analysis Theory of Computation Software Engineering/Programming and Operating Systems Database Management Discrete Mathematics in Computer Science Numeric Computing |
| ISBN | 3-540-69645-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer chess: Algorithms and heuristics for a deep look into the future -- Algorithms for triangulated terrains -- On the distributed realization of parallel algorithms -- The fundamental problem of database design -- Solving and approximating combinatorial optimization problems (Towards MAX CUT and TSP) -- The computational power of continuous time neural networks -- A foundation for computable analysis -- Towards machines that can think -- Computational complexity of continuous problems -- Path layout in ATM networks -- The mobile agent technology -- Theory and practice in interactionally rich distributed systems -- Configuration-based programming systems -- Automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications -- A formal software engineering paradigm: From domains via requirements to software - Formal specification & design calculi - -- The whole picture to software process improvement -- Object-oriented design patterns -- Object-oriented DBMS and beyond -- On integration of relational and object-oriented database systems -- From OO through deduction to active databases — ROCK, ROLL & RAP -- An introduction to virtual reality modeling language -- Stepping stones to an information society -- Lower bounds for the virtual path layout problem in ATM networks -- Query processing in temporal evidential databases -- A first approach to temporal predicate locking for concurrency detection in temporal relational databases supporting schema versioning -- Efficient insertion of approximately sorted sequences of items into a dictionary -- High availability support in CORBA environments -- On f-sparse sets in NP - P -- Zero-overhead exception handling using metaprogramming -- The output-store formal translator directed by LR parsing -- Parallel processing on alphas under MATLAB 5 -- PRAM lower bound for element distinctness revisited -- Optimal trees for searching in codebook -- Time optimal self-stabilizing algorithms -- Requirements specification iteratively combined with reverse engineering -- On finite representations of infinite-state behaviours -- Efficient strong sequentiality using replacement restrictions -- Optimal encodings -- Monotonic rewriting automata with a restart operation -- Kahn's fixed-point characterization for linear dynamic networks -- DESAM — Annotated corpus for Czech -- Mobility management in CORBA: A generic implementation of the lifecycle service -- A theory of game trees, based on solution trees -- Approximation algorithms for the vertex bipartization problem -- Optical all-to-all communication for some product graphs (Extended Abstract) -- Parallelizing self-organizing maps. |
| Record Nr. | UNISA-996465564403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM 2002: Theory and Practice of Informatics [[electronic resource] ] : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings / / edited by William I. Grosky, Frantisek Plasil
| SOFSEM 2002: Theory and Practice of Informatics [[electronic resource] ] : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings / / edited by William I. Grosky, Frantisek Plasil |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 294 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer communication systems Multimedia information systems Optical data processing Theory of Computation Software Engineering Computer Communication Networks Computation by Abstract Devices Multimedia Information Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-540-36137-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910208852303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2002: Theory and Practice of Informatics [[electronic resource] ] : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings / / edited by William I. Grosky, Frantisek Plasil
| SOFSEM 2002: Theory and Practice of Informatics [[electronic resource] ] : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings / / edited by William I. Grosky, Frantisek Plasil |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 294 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer communication systems Multimedia information systems Optical data processing Theory of Computation Software Engineering Computer Communication Networks Computation by Abstract Devices Multimedia Information Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-540-36137-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466196703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||