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.
ANNA A Language for Annotating Ada Programs [[electronic resource] ] : Reference Manual / / by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
| ANNA A Language for Annotating Ada Programs [[electronic resource] ] : Reference Manual / / by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe |
| Autore | Luckham David C |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (V, 148 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-47202-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Basic Anna concepts -- 2. Lexical elements -- 3. Annotations of declarations and types -- 4. Names and expressions in annotations -- 5. Statement annotations -- 6. Annotation of subprograms -- 7. Package annotations -- 8. Visibility rules in annotations -- 9. Task annotations -- 10. Program structure -- 11. Exception annotations -- 12. Annotation of generic units -- 13. Annotation of emplementation-dependent features. |
| Record Nr. | UNISA-996465705703316 |
Luckham David C
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Event processing for business [[electronic resource] ] : organizing the real time strategy enterprise / / David Luckham
| Event processing for business [[electronic resource] ] : organizing the real time strategy enterprise / / David Luckham |
| Autore | Luckham David C |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2012 |
| Descrizione fisica | 1 online resource (289 p.) |
| Disciplina | 658.4/032 |
| Soggetto topico |
Electronic data processing - Distributed processing
Management information systems Event processing (Computer science) Industrial management - Data processing |
| ISBN |
1-118-17185-3
1-119-19869-0 1-283-31607-2 9786613316073 1-118-17183-7 |
| Classificazione | ST 505 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Event Processing for Business: Organizing the Real-Time Enterprise; Contents; Preface; Acknowledgments; Chapter 1: Event Processing and the Survival of the Modern Enterprise; Four Basic Questions about Events; What Are Events and Which Ones Are Important?; Why Invest in Event Processing?; Know How Well You're Doing; Use All Event Sources; Detect When What You Need to Know Happens; Event Processing in Use; The Human Element and Other Sources of Errors; Extract What You Want to Know; Getting Started; Chapter 2: Sixty Years of Event Processing; Event Driven Simulation; Networks; Active Databases
MiddlewareThe Enterprise Service Bus; Chaos in the Marketing of Information Systems; Service Oriented Architecture; Event Driven Architecture; Summary: Event Processing, 1950-2010; Chapter 3: First Concepts in Event Processing; New Technology Begets New Problems; What Is an Event?; Event Clouds; Levels of Events and Event Analysis; Remark on Standards for Business Events; Event Streams; Processing the Event Cloud; Complex Event Processing and Systems That Use It; Discussion: Immutability of Events; Summary; Chapter 4: The Rise of Commercial Event Processing The Dawn of Complex Event Processing (CEP)Four Stages of CEP; Simple CEP (1999-2007); CEP versus Custom Coding; Creeping CEP ( 2004- 2012); Business Activity Monitoring; Awareness and Education in Event Processing; Languages for Event Processing; Dashboards and Human-Computer Interfaces; Human-Computer Interfaces; CEP Becomes a Recognized Information Technology (2009-2020); Event Processing Standards; Ubiquitous CEP; Chapter 5: Markets and Emerging Markets for CEP; Market Areas; Financial Systems, Operations, and Services; Fraud Detection; Transportation; Security and Command and Control Command and Control for SecurityHealth Care; Energy; Summary; Chapter 6: Patterns of Events; Events and Event Objects; Overloading Two Meanings; Patterns and Pattern Matching; Single Event Patterns; Processing Patterns by Machine; Patterns of Multiple Events Using Operators; Event Patterns and State; Event Patterns and Time; Causality between Events; Repetitive and Unbounded Behavior; Requirements for an Event Pattern Language; Correctness and Other Questions; Chapter 7: Making Sense of Chaos in Real Time: Part 1; Event Type Spaces; Restricting the Types of Event Inputs May Not Be an Option The Expanding Input Principle: Always Plan for New Types of Event Inputs and Event OutputsArchitecting Event Processing Strategies; Gross Filters; Prioritization: Split Streaming, Topics, Sentiments, and Other Attributes; Complex Filtering and Prioritization Using Event Patterns; Summary; Chapter 8: Making Sense of Chaos in Real Time: Part 2; Abstract Events and Views; Levels of Abstraction and Views; Organizing Views; Computing Abstractions by Event Pattern Maps; Computable Event Hierarchies; Flexibility of Hierarchy Definitions; Drill Down and Event Analysis Summary: Dealing with Information Overload |
| Record Nr. | UNINA-9910139568803321 |
|
Luckham David C
|
||
| Hoboken, N.J., : Wiley, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Event processing for business : organizing the real time strategy enterprise / / David Luckham
| Event processing for business : organizing the real time strategy enterprise / / David Luckham |
| Autore | Luckham David C |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2012 |
| Descrizione fisica | 1 online resource (289 p.) |
| Disciplina | 658.4/032 |
| Soggetto topico |
Electronic data processing - Distributed processing
Management information systems Event processing (Computer science) Industrial management - Data processing |
| ISBN |
1-118-17185-3
1-119-19869-0 1-283-31607-2 9786613316073 1-118-17183-7 |
| Classificazione | ST 505 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Event Processing for Business: Organizing the Real-Time Enterprise; Contents; Preface; Acknowledgments; Chapter 1: Event Processing and the Survival of the Modern Enterprise; Four Basic Questions about Events; What Are Events and Which Ones Are Important?; Why Invest in Event Processing?; Know How Well You're Doing; Use All Event Sources; Detect When What You Need to Know Happens; Event Processing in Use; The Human Element and Other Sources of Errors; Extract What You Want to Know; Getting Started; Chapter 2: Sixty Years of Event Processing; Event Driven Simulation; Networks; Active Databases
MiddlewareThe Enterprise Service Bus; Chaos in the Marketing of Information Systems; Service Oriented Architecture; Event Driven Architecture; Summary: Event Processing, 1950-2010; Chapter 3: First Concepts in Event Processing; New Technology Begets New Problems; What Is an Event?; Event Clouds; Levels of Events and Event Analysis; Remark on Standards for Business Events; Event Streams; Processing the Event Cloud; Complex Event Processing and Systems That Use It; Discussion: Immutability of Events; Summary; Chapter 4: The Rise of Commercial Event Processing The Dawn of Complex Event Processing (CEP)Four Stages of CEP; Simple CEP (1999-2007); CEP versus Custom Coding; Creeping CEP ( 2004- 2012); Business Activity Monitoring; Awareness and Education in Event Processing; Languages for Event Processing; Dashboards and Human-Computer Interfaces; Human-Computer Interfaces; CEP Becomes a Recognized Information Technology (2009-2020); Event Processing Standards; Ubiquitous CEP; Chapter 5: Markets and Emerging Markets for CEP; Market Areas; Financial Systems, Operations, and Services; Fraud Detection; Transportation; Security and Command and Control Command and Control for SecurityHealth Care; Energy; Summary; Chapter 6: Patterns of Events; Events and Event Objects; Overloading Two Meanings; Patterns and Pattern Matching; Single Event Patterns; Processing Patterns by Machine; Patterns of Multiple Events Using Operators; Event Patterns and State; Event Patterns and Time; Causality between Events; Repetitive and Unbounded Behavior; Requirements for an Event Pattern Language; Correctness and Other Questions; Chapter 7: Making Sense of Chaos in Real Time: Part 1; Event Type Spaces; Restricting the Types of Event Inputs May Not Be an Option The Expanding Input Principle: Always Plan for New Types of Event Inputs and Event OutputsArchitecting Event Processing Strategies; Gross Filters; Prioritization: Split Streaming, Topics, Sentiments, and Other Attributes; Complex Filtering and Prioritization Using Event Patterns; Summary; Chapter 8: Making Sense of Chaos in Real Time: Part 2; Abstract Events and Views; Levels of Abstraction and Views; Organizing Views; Computing Abstractions by Event Pattern Maps; Computable Event Hierarchies; Flexibility of Hierarchy Definitions; Drill Down and Event Analysis Summary: Dealing with Information Overload |
| Record Nr. | UNINA-9910810597903321 |
|
Luckham David C
|
||
| Hoboken, N.J., : Wiley, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||