| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465883303316 |
|
|
Titolo |
Advances in Databases and Information Systems [[electronic resource] ] : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings / / edited by Yannis Manolopoulos, Jaroslav Pokorný, Timos Sellis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 456 p.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI ; ; 4152 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Database management |
Information storage and retrieval |
Application software |
Multimedia information systems |
Information technology |
Business—Data processing |
Database Management |
Information Storage and Retrieval |
Information Systems Applications (incl. Internet) |
Multimedia Information Systems |
IT in Business |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Data Ring: Let Us Turn the Net into a Database! -- Future Data Management: “It’s Nothing Business; It’s Just Personal.” -- Scalable Similarity Search in Computer Networks -- XML Databases and Semantic Web -- An XML Algebra for XQuery -- Satisfiability-Test, Rewriting and Refinement of Users’ XPath Queries According to XML Schema Definitions -- X-Warehousing: An XML-Based Approach for Warehousing Complex Data -- SDQNET: Semantic Distributed Querying in Loosely Coupled Data Sources -- Materialized Views -- Multi-source Materialized Views Maintenance: Multi-level Views -- Clustering-Based |
|
|
|
|
|
|
|
|
|
|
Materialized View Selection in Data Warehouses -- Non-blocking Materialized View Creation and Transformation of Schemas -- Database Modelling -- Relationship Design Using Spreadsheet Reasoning for Sets of Functional Dependencies -- Modeling and Storing Context-Aware Preferences -- An Integrated Framework for Meta Modeling -- Implementation of UNIDOOR, a Deductive Object-Oriented Database System -- Web Information Systems and Middleware -- Preloading Browsers for Optimizing Automatic Access to Hidden Web: A Ranking-Based Repository Solution -- A Middleware-Based Approach to Database Caching -- Integrating Caching Techniques on a Content Distribution Network -- Interactive Discovery and Composition of Complex Web Services -- Query Processing and Indexing -- Efficient Processing SAPE Queries Using the Dynamic Labelling Structural Indexes -- ICB-Index: A New Indexing Technique for Continuous Time Sequences -- Multiple k Nearest Neighbor Query Processing in Spatial Network Databases -- Searching for Similar Trajectories on Road Networks Using Spatio-temporal Similarity -- Efficient and Coordinated Checkpointing for Reliable Distributed Data Stream Management -- Data Mining and Clustering -- Towards Automatic Eps Calculation in Density-Based Clustering -- Symbolic Music Genre Classification Based on Note Pitch and Duration -- PPPA: Push and Pull Pedigree Analyzer for Large and Complex Pedigree Databases -- Discovering Emerging Topics in Unlabelled Text Collections -- Modelling and Design Issues -- Computational Database Technology Applied to Option Pricing Via Finite Differences -- A Framework for Merging, Repairing and Querying Inconsistent Databases -- An On-Line Reorganization Framework for SAN File Systems -- Towards Multimedia Fragmentation -- Content Is Capricious: A Case for Dynamic System Generation. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910704733003321 |
|
|
Titolo |
Air quality modeling technical support document : ozone source apportionment application in support of the designation process for the ozone NAAQS |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Research Triangle Park, NC : , : U.S. Environmental Protection Agency, Office of Air Quality Planning and Standards, Air Quality Assessment Division, , 2010 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (55 unnumbered pages) : color illustrations |
|
|
|
|
|
|
Soggetti |
|
Air quality - Computer simulation |
Air quality - Mathematical models |
Air quality management |
Ozone |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"November 2010." |
"EPA-454/R-10-005." |
Title from title screen (viewed on Jan. 10, 2014). |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages [18-19]). |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910299308903321 |
|
|
Titolo |
Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 507 p. 181 illus.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 880 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Operating systems (Computers) |
Compilers (Computer programs) |
Logic design |
Electronic digital computers - Evaluation |
Computer systems |
Software Engineering |
Operating Systems |
Compilers and Interpreters |
Logic Design |
System Performance and Evaluation |
Computer System Implementation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime |
|
|
|
|
|
|
|
|
|
|
|
Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems.-A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017. The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as methodologies for MDD development and exploitation, model-based testing, model simulation, domain-specific modeling, code generation from models, new MDD tools, multi-model management, model evolution, and industrial applications of model-based methods and technologies. |
|
|
|
|
|
|
|
| |