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.
Objects, Agents, and Features [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / / edited by Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich
| Objects, Agents, and Features [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / / edited by Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 232 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Programming languages (Electronic computers) Computer logic Artificial intelligence Programming Techniques Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
| Soggetto non controllato |
Agents
Objects |
| ISBN |
1-280-30751-X
9786610307517 3-540-25930-9 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Objects, Agents, and Features: An Introduction -- Coordinating Agents in OO -- On Feature Orientation and on Requirements Encapsulation Using Families of Requirements -- Detecting Feature Interactions: How Many Components Do We Need? -- Software Evolution through Dynamic Adaptation of Its OO Design -- Modelling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation -- Giving Life to Agent Interactions -- Organising Computation through Dynamic Grouping -- Adding Features to Component-Based Systems -- Components, Features, and Agents in the ABC -- Towards a Formal Specification for the AgentComponent -- Policies: Giving Users Control over Calls -- Agents and Coordination Artifacts for Feature Engineering. |
| Record Nr. | UNISA-996465397803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / / edited by Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich
| Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / / edited by Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 232 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer networks Programming languages (Electronic computers) Computer logic Artificial intelligence Programming Techniques Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
| Soggetto non controllato |
Agents
Objects |
| ISBN |
1-280-30751-X
9786610307517 3-540-25930-9 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Objects, Agents, and Features: An Introduction -- Coordinating Agents in OO -- On Feature Orientation and on Requirements Encapsulation Using Families of Requirements -- Detecting Feature Interactions: How Many Components Do We Need? -- Software Evolution through Dynamic Adaptation of Its OO Design -- Modelling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation -- Giving Life to Agent Interactions -- Organising Computation through Dynamic Grouping -- Adding Features to Component-Based Systems -- Components, Features, and Agents in the ABC -- Towards a Formal Specification for the AgentComponent -- Policies: Giving Users Control over Calls -- Agents and Coordination Artifacts for Feature Engineering. |
| Record Nr. | UNINA-9910768446303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Matteo Maffei, Mark Ryan
| Principles of Security and Trust [[electronic resource] ] : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Matteo Maffei, Mark Ryan |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 321 p. 59 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data protection Data encryption (Computer science) Management information systems Computer science Computers and civilization Computers Systems and Data Security Security Cryptology Management of Computing and Information Systems Computers and Society Theory of Computation |
| ISBN | 3-662-54455-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow -- Timing-Sensitive Noninterference through Composition -- Quantifying vulnerability of secret generation using hyper-distributions -- A Principled Approach to Tracking Information Flow in the Presence of Libraries -- Secure Multi-Party Computation: Information Flow of Outputs and Game Theory -- Security Protocols -- Automated verification of dynamic root of trust protocols -- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols -- On communication models when verifying equivalence properties -- A survey of attacks on Ethereum smart contracts (SoK) -- Security Policies -- Security Analysis of Cache Replacement Policies -- Model Checking Exact Cost for Attack Scenarios -- Postulates for Revocation Schemes -- Defense in Depth Formulation and Usage in Dynamic Access Control -- Information Leakage -- Compositional Synthesis of Leakage Resilient Programs -- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. |
| Record Nr. | UNISA-996466187703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Security and Trust : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Matteo Maffei, Mark Ryan
| Principles of Security and Trust : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Matteo Maffei, Mark Ryan |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 321 p. 59 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data protection Data encryption (Computer science) Management information systems Computer science Computers and civilization Computers Systems and Data Security Security Cryptology Management of Computing and Information Systems Computers and Society Theory of Computation |
| ISBN | 3-662-54455-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow -- Timing-Sensitive Noninterference through Composition -- Quantifying vulnerability of secret generation using hyper-distributions -- A Principled Approach to Tracking Information Flow in the Presence of Libraries -- Secure Multi-Party Computation: Information Flow of Outputs and Game Theory -- Security Protocols -- Automated verification of dynamic root of trust protocols -- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols -- On communication models when verifying equivalence properties -- A survey of attacks on Ethereum smart contracts (SoK) -- Security Policies -- Security Analysis of Cache Replacement Policies -- Model Checking Exact Cost for Attack Scenarios -- Postulates for Revocation Schemes -- Defense in Depth Formulation and Usage in Dynamic Access Control -- Information Leakage -- Compositional Synthesis of Leakage Resilient Programs -- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. |
| Record Nr. | UNINA-9910483190603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||