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.
Advanced information systems engineering : 17th international conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005 : proceedings / / Oscar Pastor, Joao Falcao e Cunha (eds.)
| Advanced information systems engineering : 17th international conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005 : proceedings / / Oscar Pastor, Joao Falcao e Cunha (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XVI, 592 p.) |
| Disciplina | 005.1/0285 |
| Altri autori (Persone) |
PastorOscar <1962->
Falcao e CunhaJoao |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer-aided software engineering
Systems engineering |
| ISBN | 9783540321279 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward Semantic Interoperability of Heterogeneous Biological Data Sources -- Conceptual Modeling -- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model -- Computing the Relevant Instances That May Violate an OCL Constraint -- Event-Based Modeling of Evolution for Semantic-Driven Systems -- Metamodeling -- Interoperability in Meta-environments: An XMI-Based Approach -- On the Notion of Consistency in Metadata Repository Systems -- Using Text Editing Creation Time Meta Data for Document Management -- Databases -- An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data -- Managing Inheritance Hierarchies in Object/Relational Mapping Tools -- BInXS: A Process for Integration of XML Schemata -- Query Processing -- Query Processing Using Ontologies -- Estimating Recall and Precision for Vague Queries in Databases -- Querying Tree-Structured Data Using Dimension Graphs -- Process Modeling and Workflow Systems -- Workflow Resource Patterns: Identification, Representation and Tool Support -- A Declarative Foundation of Process Models -- Synchronizing Copies of External Data in Workflow Management Systems -- Requirements Engineering -- Understanding the Requirements on Modelling Techniques -- A Process for Generating Fitness Measures -- A Concern-Oriented Requirements Engineering Model -- Model Transformation -- Generating Transformation Definition from Mapping Specification: Application to Web Service Platform -- A General Approach to the Generation of Conceptual Model Transformations -- Building a Software Factory for Pervasive Systems Development -- Knowledge Management and Verification -- Alignment and Maturity Are Siblings in Architecture Assessment -- Verification of EPCs: Using Reduction Rules and Petri Nets -- Measurement Practices for Knowledge Management: An Option Perspective -- Web Services -- An Ontological Approach for Eliciting and Understanding Needs in e-Services -- Developing Adapters for Web Services Integration -- Efficient: A Toolset for Building Trusted B2B Transactions -- Web Engineering -- Separation of Structural Concerns in Physical Hypermedia Models -- Integrating Unnormalised Semi-structured Data Sources -- Model Transformations in the Development of Data–Intensive Web Applications -- Software Testing -- Automated Reasoning on Feature Models -- A Method for Information Systems Testing Automation -- Model-Based System Testing of Software Product Families -- Software Quality -- Quality-Based Software Reuse -- On the Lightweight Use of Goal-Oriented Models for Software Package Selection -- Measuring IT Infrastructure Project Size: Infrastructure Effort Points. |
| Altri titoli varianti | CAiSE 2005 |
| Record Nr. | UNINA-9910483377103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interactive Systems. Design, Specification, and Verification [[electronic resource] ] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha
| Interactive Systems. Design, Specification, and Verification [[electronic resource] ] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 427 p.) |
| Disciplina | 004.33 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
User interfaces (Computer systems) Computer communication systems Software engineering Computer logic Information storage and retrieval Theory of Computation User Interfaces and Human Computer Interaction Computer Communication Networks Software Engineering Logics and Meanings of Programs Information Storage and Retrieval |
| ISBN | 3-540-39929-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Canonical Abstract Prototypes for Abstract Visual and Interaction Design -- Test and Evaluation -- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering -- Applying Extended Finite State Machines in Software Testing of Interactive Systems -- An Empirical Study of Personal Document Spaces -- Web & Groupware -- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications -- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer -- Workspaces: A Multi-level Architectural Style for Synchronous Groupware -- Tools and Technologies -- Functionally Modeled User Interfaces -- Architectures for Widget-Level Plasticity -- Specification-Based Testing of User Interfaces -- Calligraphic Interfaces: Mixed Metaphors for Design -- Task Modeling -- Using Task Knowledge to Guide Interactor Specifications Analysis -- Higher-Order Task Models -- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction -- Describing Just-UI Concepts Using a Task Notation -- Model-Based Design -- Model-Based Design of Speech Interfaces -- Model-Based Design of Adaptive User Interfaces through Connectors -- Model-Based Electronic Performance Support -- Mobile and Multiple Devices -- Improving User Interface Usability Using Mobile Agents -- Reasoning about Dynamic Information Displays -- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology -- UML -- Usability Design-Extending Rational Unified Process with a New Discipline -- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms -- Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach -- Specification Languages -- ISML: An Interface Specification Meta-language -- A Review of XML-compliant User Interface Description Languages -- Contextual Design of a Computer-Supported Film Set: A Case Study -- Short Papers -- Evaluating and Comparing Interaction Styles -- A Navigation and Registration System for Mobile and Augmented Environments -- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds -- An Approach to Develop User Interfaces with Plasticity -- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets. |
| Record Nr. | UNISA-996465779403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha
| Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / / edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 427 p.) |
| Disciplina | 004.33 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
User interfaces (Computer systems) Computer communication systems Software engineering Computer logic Information storage and retrieval Theory of Computation User Interfaces and Human Computer Interaction Computer Communication Networks Software Engineering Logics and Meanings of Programs Information Storage and Retrieval |
| ISBN | 3-540-39929-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Canonical Abstract Prototypes for Abstract Visual and Interaction Design -- Test and Evaluation -- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering -- Applying Extended Finite State Machines in Software Testing of Interactive Systems -- An Empirical Study of Personal Document Spaces -- Web & Groupware -- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications -- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer -- Workspaces: A Multi-level Architectural Style for Synchronous Groupware -- Tools and Technologies -- Functionally Modeled User Interfaces -- Architectures for Widget-Level Plasticity -- Specification-Based Testing of User Interfaces -- Calligraphic Interfaces: Mixed Metaphors for Design -- Task Modeling -- Using Task Knowledge to Guide Interactor Specifications Analysis -- Higher-Order Task Models -- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction -- Describing Just-UI Concepts Using a Task Notation -- Model-Based Design -- Model-Based Design of Speech Interfaces -- Model-Based Design of Adaptive User Interfaces through Connectors -- Model-Based Electronic Performance Support -- Mobile and Multiple Devices -- Improving User Interface Usability Using Mobile Agents -- Reasoning about Dynamic Information Displays -- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology -- UML -- Usability Design-Extending Rational Unified Process with a New Discipline -- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms -- Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach -- Specification Languages -- ISML: An Interface Specification Meta-language -- A Review of XML-compliant User Interface Description Languages -- Contextual Design of a Computer-Supported Film Set: A Case Study -- Short Papers -- Evaluating and Comparing Interaction Styles -- A Navigation and Registration System for Mobile and Augmented Environments -- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds -- An Approach to Develop User Interfaces with Plasticity -- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets. |
| Record Nr. | UNINA-9910144034303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 [[electronic resource] ] : 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I / / edited by Christian Barillot, David R. Haynor, Joao Falcao e Cunha, Pierre Hellier
| Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 [[electronic resource] ] : 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I / / edited by Christian Barillot, David R. Haynor, Joao Falcao e Cunha, Pierre Hellier |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (LXXVI, 934 p.) |
| Disciplina | 610.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Radiology
Optical data processing Pattern recognition Computer graphics Artificial intelligence Health informatics Imaging / Radiology Image Processing and Computer Vision Pattern Recognition Computer Graphics Artificial Intelligence Health Informatics |
| ISBN | 3-540-30135-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Brain Segmentation -- Cardiovascular Segmentation -- Segmentation I -- Segmentation Methods -- Segmentation II -- Registration I -- Registration II. |
| Record Nr. | UNISA-996465376303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 : 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I / / edited by Christian Barillot, David R. Haynor, Joao Falcao e Cunha, Pierre Hellier
| Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 : 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I / / edited by Christian Barillot, David R. Haynor, Joao Falcao e Cunha, Pierre Hellier |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (LXXVI, 934 p.) |
| Disciplina | 610.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Radiology
Optical data processing Pattern recognition Computer graphics Artificial intelligence Health informatics Imaging / Radiology Image Processing and Computer Vision Pattern Recognition Computer Graphics Artificial Intelligence Health Informatics |
| ISBN | 3-540-30135-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Brain Segmentation -- Cardiovascular Segmentation -- Segmentation I -- Segmentation Methods -- Segmentation II -- Registration I -- Registration II. |
| Record Nr. | UNINA-9910144152103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||