| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484183903321 |
|
|
Titolo |
Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings / / edited by Jean-Francois Raskin, P.S. Thiagarajan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 372 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4763 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Compilers (Computer programs) |
Computers, Special purpose |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Compilers and Interpreters |
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 bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Abstraction of Probabilistic Systems -- From Analysis to Design -- Efficient On-the-Fly Algorithms for Partially Observable Timed Games -- Undecidability of Universality for Timed Automata with Minimal Resources -- On Timed Models of Gene Networks -- Costs Are Expensive! -- Hypervolume Approximation in Timed Automata Model Checking -- Counter-Free Input-Determined Timed Automata -- Towards Budgeting in Real-Time Calculus: Deferrable Servers -- Automatic Abstraction Refinement for Timed Automata -- Dynamical Properties of Timed Automata Revisited -- Robust Sampling for MITL Specifications -- On the Expressiveness of MTL Variants over Dense Time -- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable -- Efficient Detection of Zeno Runs in Timed Automata -- Partial Order Reduction for Verification of Real-Time Components -- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga -- |
|
|
|
|
|
|
|
|
|
|
|
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata -- Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters -- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times -- Designing Consistent Multimedia Documents: The RT-LOTOS Methodology -- AMT: A Property-Based Monitoring Tool for Analog Systems -- Region Stability Proofs for Hybrid Systems -- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains -- Symbolic Simulation-Checking of Dense-Time Automata. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at http://www.ulb.ac.be/ di/formats07, while http://www.esweek.org provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910966878303321 |
|
|
Autore |
Francis Russell James <1970-> |
|
|
Titolo |
The decentring of the traditional university : the future of (self) education in virtually figured worlds / / Russell Francis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-135-16125-9 |
1-283-58955-9 |
9786613902009 |
1-135-16126-7 |
0-203-85802-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (168 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Education, Higher - Computer network resources |
Language and languages - Computer-assisted instruction |
Shared virtual environments |
Distance education |
|
|
|
|
|
|
|
|
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 and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; The Decentring of the Traditional University; Copyright Page; Contents; List of illustrations; Preface by Anne Edwards; Acknowledgements; Introduction; 1. From the culture industry to participatory culture; Understanding media change: from the culture industry to participatory culture; Media change and learning; Peering into the future of (self ) education; Research site, informants and data collection; 2. Cognitive anthropology on the Cyberian frontier; Introduction; Sociocultural and activity theory: an overview; Cognitive anthropology and studies of cognition in the wild |
Expansive learning: double binds, breaking away and horizontal developmentsProjective identities and virtually figured worlds; Digitally mediated practice as new media literacy; Summary; 3. The learner as designer; Introduction; Understanding the learner as designer; The scope of design work in the new media age; The challenges and choices confronting the learner as designer; Towards a theory of mindful design; Summary; 4. Creative appropriation, new media and self- |
|
|
|
|
|
|
|
|
|
|
|
education; Introduction; The concept of creative appropriation expanded; Breaking away from the traditional university |
Creative appropriation and authentic needCreative appropriation: driving cultural change from the bottom up; Identity as a mediator and motivator of learning activity; Challenges, choices and new media literacies; Summary; 5. Globally distributed funds of living knowledge; Introduction; Conceptual building blocks for understanding collaborative learning beyond the networked university; The formation of a fund of living knowledge; Cultivating and nurturing globally distributed funds of living knowledge; Mobilizing a globally distributed fund of living knowledge |
Nurturing a globally distributed fund of living knowledgeChallenges, choices and new media literacies; Summary; 6. Learning through serious play in virtually figured worlds; Bruner and the narrative construction of self; Learning by being in immersive game worlds; Worldmaking as self-making; Serious play, history in laptop and committed learning; Virtually figured worlds as expanded spaces of self-authoring; Lifelong learning beyond institutional boundaries; Summary; 7. The decentring of the traditional university; Introduction; Two approaches to understanding the implications of media change |
Conceptualizing higher education with the aid of Engeström's extended mediational triangleAre we witnessing the decentring of the traditional university?; Implications for educational policy and practice; Directions for further research; Towards a developmental research agenda; Appendix: Data collection strategy and methods; Notes; Bibliography; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
The Decentring of the Traditional University provides a unique perspective on the implications of media change for learning and literacy that allows us to peer into the future of (self) education. Each chapter draws on socio-cultural and activity theory to investigate how resourceful students are breaking away from traditional modes of instruction and educating themselves through engagement with a globally interconnected web-based participatory culture. The argument is developed with reference to the findings of an ethnographic study that focused on university students' info |
|
|
|
|
|
|
|
| |