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.
Guide to the design of real-time systems / Michael F. Rothstein
| Guide to the design of real-time systems / Michael F. Rothstein |
| Autore | Rothstein, Michael F. |
| Pubbl/distr/stampa | New York : Wily & Sons, ©1970 |
| Descrizione fisica | 243 p. : ill. ; 24 cm |
| Disciplina | 004.33 |
| Soggetto non controllato | Elaborazione dei dati in tempo reale |
| ISBN | 0-471-73972-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000455970403321 |
Rothstein, Michael F.
|
||
| New York : Wily & Sons, ©1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of real-time computing. Volume 1 / / editors, Yuchu Tian, David Charles Levy
| Handbook of real-time computing. Volume 1 / / editors, Yuchu Tian, David Charles Levy |
| Pubbl/distr/stampa | Singapore : , : Springer, , 2022 |
| Descrizione fisica | 1 online resource (xxiv, 1515 pages) : illustrations (chiefly color) |
| Disciplina | 004.33 |
| Altri autori (Persone) |
TianYu-Chu
LevyDavid Charles |
| Soggetto topico |
Real-time data processing
Real-time programming |
| ISBN | 981-287-251-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the Contents: Principles and Theories of Real-Time Computing Introduction to real-time computing Timing and timing control Hard, firm and soft real-time computing Multi-tasking and concurrency for real-time computing Finite state machines Time Petri nets Markov chain modeling |
| Record Nr. | UNINA-9910586589503321 |
| Singapore : , : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hard Real-Time Computing Systems [[electronic resource] ] : Predictable Scheduling Algorithms and Applications / / by Giorgio Buttazzo
| Hard Real-Time Computing Systems [[electronic resource] ] : Predictable Scheduling Algorithms and Applications / / by Giorgio Buttazzo |
| Autore | Buttazzo Giorgio |
| Edizione | [4th ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (500 pages) |
| Disciplina | 004.33 |
| Soggetto topico |
Cooperating objects (Computer systems)
Embedded computer systems Computers, Special purpose Operating systems (Computers) Computer engineering Computer networks Application software Cyber-Physical Systems Embedded Systems Special Purpose and Application-Based Systems Operating Systems Computer Engineering and Networks Computer and Information Systems Applications |
| ISBN |
9783031454103
9783031454097 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A General View -- Basic Concepts -- A Periodic Task Scheduling -- Periodic Task Scheduling -- Fixed-Priority Servers -- Dynamic Priority Servers -- Resource Access Protocols -- Limited Preemptive Scheduling -- Handling Overload Conditions -- Kernel Design Issues -- Application Design Issues -- Implementing Periodic Tasks in LINUX -- Real-Time Operating Systems and Standards -- Solutions to the Exercises -- References -- Index. |
| Record Nr. | UNINA-9910770265803321 |
|
Buttazzo Giorgio
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE ICCV Workshop on Recognition, Analysis and Tracking of Faces and Gestures in Real-Time Systems, 2001, Vancouver, Canada
| IEEE ICCV Workshop on Recognition, Analysis and Tracking of Faces and Gestures in Real-Time Systems, 2001, Vancouver, Canada |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2001 |
| Descrizione fisica | 1 online resource (viii, 183 pages) : illustrations |
| Disciplina | 004.33 |
| Soggetto topico |
Real-time data processing
Image processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Face recognition; localization and recognition of facial features and actions; facial expression dtection and interpretation; applications of face and hand gesture recognition; video compression of facial and body movements. |
| Record Nr. | UNISA-996203362603316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
IEEE Std 61158-2017 (Adoption of EPSG DS 301) : IEEE standard for industrial hard real-time communication / / Institute of Electrical and Electronics Engineers
| IEEE Std 61158-2017 (Adoption of EPSG DS 301) : IEEE standard for industrial hard real-time communication / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource (395 pages) |
| Disciplina | 004.33 |
| Collana | IEEE Std |
| Soggetto topico | Real-time data processing |
| ISBN | 1-5044-4114-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 61158-2017 |
| Record Nr. | UNINA-9910217052003321 |
| New York, New York : , : IEEE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 61158-2017 (Adoption of EPSG DS 301) : IEEE standard for industrial hard real-time communication / / Institute of Electrical and Electronics Engineers
| IEEE Std 61158-2017 (Adoption of EPSG DS 301) : IEEE standard for industrial hard real-time communication / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource (395 pages) |
| Disciplina | 004.33 |
| Collana | IEEE Std |
| Soggetto topico | Real-time data processing |
| ISBN | 1-5044-4114-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 61158-2017 |
| Record Nr. | UNISA-996281123903316 |
| New York, New York : , : IEEE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interactive systems : design, specification, and verification, 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, revised papers / / edited by Gavin Doherty, Ann Blandfort
| Interactive systems : design, specification, and verification, 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, revised papers / / edited by Gavin Doherty, Ann Blandfort |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XI, 276 p.) |
| Disciplina | 004.33 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Interactive computer systems |
| ISBN |
1-280-86505-9
9786610865055 3-540-69554-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- How Do Developers Meet Users? – Attitudes and Processes in Software Development -- HCI Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged Participatory Multimedia Events -- Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT -- Cognitive Aspects of Interaction -- An Investigation into the Validation of Formalised Cognitive Dimensions -- Formal Modelling of Cognitive Interpretation -- Use of Models -- Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications -- An Ontological Approach to Visualization Resource Management -- Visual Design of User Interfaces by (De)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis of Pointing Tasks on a White Board -- Prototyping and Evaluation -- Mixed-Fidelity Prototyping of User Interfaces -- A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules -- Rapid User-Centred Evaluation for Context-Aware Systems -- Supporting User Interface Development -- Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group Discussions -- Processes: Working Group Report -- Usability and Computer Games: Working Group Report. |
| Record Nr. | UNINA-9910483330003321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interactive systems : design, specification, and verification, 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, revised papers / / edited by Gavin Doherty, Ann Blandfort
| Interactive systems : design, specification, and verification, 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, revised papers / / edited by Gavin Doherty, Ann Blandfort |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XI, 276 p.) |
| Disciplina | 004.33 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Interactive computer systems |
| ISBN |
1-280-86505-9
9786610865055 3-540-69554-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- How Do Developers Meet Users? – Attitudes and Processes in Software Development -- HCI Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged Participatory Multimedia Events -- Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT -- Cognitive Aspects of Interaction -- An Investigation into the Validation of Formalised Cognitive Dimensions -- Formal Modelling of Cognitive Interpretation -- Use of Models -- Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications -- An Ontological Approach to Visualization Resource Management -- Visual Design of User Interfaces by (De)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis of Pointing Tasks on a White Board -- Prototyping and Evaluation -- Mixed-Fidelity Prototyping of User Interfaces -- A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules -- Rapid User-Centred Evaluation for Context-Aware Systems -- Supporting User Interface Development -- Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group Discussions -- Processes: Working Group Report -- Usability and Computer Games: Working Group Report. |
| Record Nr. | UNISA-996465849203316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910144034303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| 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 | ||
| ||
