| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466151803316 |
|
|
Titolo |
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / / edited by Anders P. Ravn, Hans Rischel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1998.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 347 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1486 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Architecture, Computer |
Computers |
Computer logic |
Microprocessors |
Special purpose computers |
Programming Languages, Compilers, Interpreters |
Computer System Implementation |
Theory of Computation |
Logics and Meanings of Programs |
Processor Architectures |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Challenges in the utilization of formal methods -- On the need for practical formal methods -- A general framework for the composition of timed systems -- Operational and logical semantics for polling real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration Calculus of Weakly Monotonic Time -- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern -- A modular visual model for hybrid systems -- Integrating real-time structured design and formal techniques -- |
|
|
|
|
|
|
|
|
|
|
|
Duration Calculus in the specification of safety requirements -- Automated stream-based analysis of fault-tolerance -- Designing a provably correct robt control system using a ‘lean’ formal method -- Static analysis to identify invariants in RSML specifications -- Partition refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked transition systems -- Some decidability results for duration calculus under synchronous interpretation -- Fair synchronous transition systems and their liveness proofs -- Dynamical properties of timed automata -- An algorithm for the approximative analysis of rectangular automata -- On checking parallel real-time systems for linear duration properties -- A practical and complete algorithm for testing real-time systems -- Mechanical verification of clock synchronization algorithms -- Compiling graphical real-time specifications into silicon -- Towards a formal semantics of verilog using duration calculus -- The ICOS synthesis environment -- Kronos: A model-checking tool for real-time systems -- SGLOT: A visual tool for structural LOTOS specifications -- Discrete-time Promela and Spin -- Moby/PLC — Graphical development of PLC-automata -- Predictability in critical systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910782769403321 |
|
|
Titolo |
Commemorating the dead [[electronic resource] ] : texts and artifacts in context : studies of Roman, Jewish, and Christian burials / / edited by Laurie Brink and Deborah Green ; with an introduction by Richard Saller |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Walter de Gruyter, c2008 |
|
|
|
|
|
|
|
ISBN |
|
1-281-99939-3 |
9786611999391 |
3-11-021157-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (400 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
BrinkLaurie <1961-> |
GreenDeborah A |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Burial |
Funeral rites and ceremonies - Rome |
Jewish funeral rites and ceremonies |
Funeral rites and ceremonies |
Funeral service |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [341]-378) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Table of Contents -- Introduction -- Archaeology and Artifacts -- Chapter 1. An Overview of the Intellectual History of Catacomb Archaeology -- Chapter 2. Housing the Dead: The Tomb as House in Roman Italy -- Chapter 3. Commemorating the Dead in the Communal Cemeteries of Carthage -- Ritual and Religious Rites -- Chapter 4. Dining with the Dead: From the Mensa to the Altar in Christian Late Antiquity -- Chapter 5. Sweet Spices in the Tomb: An Initial Study on the Use of Perfume in Jewish Burials -- Patronal Relations and Changes in Burial Practices -- Chapter 6. From Columbaria to Catacombs: Collective Burial in Pagan and Christian Rome -- Chapter 7. Roman and Christian Burial Practices and the Patronage of Women -- Envisioning Context and Meaning -- Chapter 8. From Endymion in Roman Domus to Jonah in Christian Catacombs: From Houses of the Living to Houses for the Dead. Iconography and Religion in Transition -- Chapter 9. Looking for Abercius: Reimagining |
|
|
|
|
|
|
|
|
|
|
|
Contexts of Interpretation of the "Earliest Christian Inscription" -- Backmatter |
|
|
|
|
|
|
Sommario/riassunto |
|
The distinctions and similarities among Roman, Jewish, and Christian burials can provide evidence of social networks, family life, and, perhaps, religious sensibilities. Is the Roman development from columbaria to catacombs the result of evolving religious identities or simply a matter of a change in burial fashions? Do the material remains from Jewish burials evidence an adherence to ancient customs, or the adaptation of rituals from surrounding cultures? What Greco-Roman funerary images were taken over and "baptized" as Christian ones? The answers to these and other questions require that the material culture be viewed, whenever possible, in situ, through multiple disciplinary lenses and in light of ancient texts. Roman historians (John Bodel, Richard Saller, Andrew Wallace-Hadrill), archaeologists (Susan Stevens, Amy Hirschfeld), scholars of rabbinic period Judaism (Deborah Green), Christian history (Robin M. Jensen), and the New Testament (David Balch, Laurie Brink, O.P., Margaret M. Mitchell, Carolyn Osiek, R.S.C.J.) engaged in a research trip to Rome and Tunisia to investigate imperial period burials first hand. Commemorting the Dead is the result of a three year scholarly conversation on their findings. |
|
|
|
|
|
|
|
| |