| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910768196803321 |
|
|
Titolo |
Coordination models and languages : 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / / edited by Amy L. Murphy, Jan Vitek |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany : , : Springer, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-94380-7 |
9786610943807 |
3-540-72794-9 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (332 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 4467 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Parallel processing (Electronic computers) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Session 1. Middleware -- A Coordination Model for Triplespace Computing -- Requirements for Routing in the Application Layer -- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks -- Session 2. Logic Programming -- A Prolog-Based Language for Workflow Programming -- Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications -- Session 3. Formal Approaches -- A Theory for Strong Service Compliance -- Towards a Theory of Refinement in Timed Coordination Languages -- A Calculus for Mobile Ad Hoc Networks -- Session 4. Concurrency -- A Theory of Nested Speculative Execution -- Actors That Unify Threads and Events -- Generalized Committed Choice -- Session 5. Components and Services I -- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants -- Session 6. Manet -- Object-Oriented Coordination in Mobile Ad Hoc Networks -- Coordinating Workflow Allocation and Execution in Mobile Environments -- Fact Spaces: Coordination in the Face of Disconnection -- Session 7. Components and Services II -- Component Connectors with QoS Guarantees -- Context-Based Adaptation of Component Behavioural Interfaces. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910830367903321 |
|
|
Autore |
Boyd Jonathan |
|
|
Titolo |
Cellular signal transduction in toxicology and pharmacology : data collection, analysis, and interpretation / / edited by Jonathan W. Boyd (West Virginia University, Morgantown, WV, US), Richard R. Neubig (Michigan State University, MI, US) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, New Jersey : , : Wiley, , [2019] |
|
©2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-119-06025-7 |
1-119-06016-8 |
1-119-06020-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (333 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Cellular signal transduction |
Molecular toxicology |
Molecular pharmacology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
Covering a key topic due to growing research into the role of signaling mechanisms in toxicology, this book focuses on practical approaches for informatics, big data, and complex data sets. Combines fundamentals / basics with experimental applications that can help those involved in preclinical drug studies and translational research Includes detailed presentations of study methodology and data collection, analysis, and interpretation Discusses tools like experimental design, sample handling, analytical measurement techniques |
|
|
|
|
|
|
|
| |