close
1.

電子ブック
ＥＢ
1. Emerging Optical Network Technologies
Krishna M.; Subramaniam, Suresh Sivalingam, Krishna M. Sivalingam, Suresh Subramaniam
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Network Architectures / Part I：
Enabling Architectures for Next Generation Optical Networks / Linda Cline ; Christian Maciocco ; Manav Mishra1：
Hybrid Hierarchical Optical Networks / Samrat Ganguly ; Rauf Izmailov ; Imrich Chlamtac2：
Advances in Passive Optical Networks (PONs) / Amitabha Banerjee ; Glen Kramer ; Yinghua Ye ; Sudhir Dixit ; Biswanath Mukherjee3：
Regional-Metro Optical Networks / Nasir Ghani4：
Switching / Part II：
Optical Packet Switching / George N. Rouskas ; Lisong Xu5：
Waveband Switching: A New Frontier in Optical WDM Networks / Xiaojun Cao ; Vishal Anand ; Yizhi Xiong ; Chunming Qiao6：
Optical Burst Switching / Hakki Candan Cankaya ; Myoungki Jeong7：
Signaling Protocols And Network Operation / Part III：
GMPLS-based Exchange Points: Architecture and Functionality / Slobodanka Tomic ; Admela Jukan8：
The GMPLS Control Plane Architecture for Optical Networks / David Griffith9：
Operational Aspects of Mesh Networking in WDM Optical Networks / Jean-Francois Labourdette ; Eric Bouillet ; Chris Olszewski10：
Traffic Grooming / Part IV：
Traffic Grooming in WDM Networks / Jian-Qiang Hu ; Eytan Modiano11：
Efficient Traffic Grooming in WDM Mesh Networks / Harsha V. Madhyastha ; C. Siva Ram Murthy12：
Protection And Restoration / Part V：
A Survey of Survivability Techniques for Optical WDM Networks / Mahesh Sivakumar ; Rama K. Shenai ; Krishna M. Sivalingam13：
Tradeoffs and Comparison of Restoration Strategies in Optical WDM Networks / Arun K. Somani14：
Facilitating Service Level Agreements with Restoration Speed Requirements / Gokhan Sahin ; Suresh Subramaniam15：
Failure Location in WDM Networks / Carmen Mas ; Hung X. Nguyen ; Patrick Thiran16：
Testbeds / Part VI：
A Multi-Layer Switched GMPLS Optical Network / Aihua Guo ; Zhonghua Zhu ; Yung J. (Ray) Chen17：
HORNET: A Packet Switched WDM Metropolitan Network / Kapil Shrikhande ; Ian White ; Matt Rogge ; Leonid G. Kazovsky18：
Network Architectures / Part I：
Enabling Architectures for Next Generation Optical Networks / Linda Cline ; Christian Maciocco ; Manav Mishra1：
Hybrid Hierarchical Optical Networks / Samrat Ganguly ; Rauf Izmailov ; Imrich Chlamtac2：
2.

電子ブック
ＥＢ
2. Peer-to-Peer Systems III
Geoffrey M. Voelker, Takeo Kanade, Scott Shenker
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Distributed Computing and Internet Technology
R. K. Ghosh, Takeo Kanade, Hrushikesha Mohanty
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Distributed Computing - IWDC 2004
Arunabha Sen, Nabanita Das, Sajal K. Das, Takeo Kanade, Bhabani P. Sinha
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Quality of Service in Multiservice IP Networks
Marco Ajmone Marsan, M. Ajmone Marsan, Giuseppe Bianchi, Takeo Kanade, Marco Listanti, Michela Meo, Michaela Meo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Service Availability
Miroslaw Malek, J?rg Kaiser, Takeo Kanade, Manfred Reitenspiess, Manfred Reitenspie?, LINK (Online service), Manfred Reitenspie?�
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Information Networking. Convergence in Broadband and Mobile Networking
Cheeha Kim, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. System Analysis and Modeling
SAM 2004, Daniel Amyot, Takeo Kanade, Alan W. Williams
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Systems Aspects in Organic and Pervasive Computing - ARCS 2005
ARCS 2005, Michael Beigl, Takeo Kanade, Paul Lukowicz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Networking - ICN 2005
Networking-ICN 2005, Petre Dini, Takeo Kanade, Pascal Lorenz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Networking - ICN 2005
Networking-ICN 2005, Petre Dini, Takeo Kanade, Pascal Lorenz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Wireless Systems and Mobility in Next Generation Internet
International Workshop of the EURO-NGI Network of Excellence, Takeo Kanade, Gabriele Kotsis, Otto Spaniol
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Genetic Programming
EuroGP 2005, Takeo Kanade, Maarten Keijzer, Andrea Tettamanzi, Marco Tomassini, Jano van Hemert
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Passive and Active Network Measurement
PAM 2005, Constantinos Dovrolis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Security in Pervasive Computing
International Conference on Security in Pervasive Computing, Dieter Hutter, Takeo Kanade, Markus Ullmann
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems
Networking, Raouf Boutaba, Takeo Kanade, International Federation for Information Processing., James P. Black, Ramon Puigjaner, Sherman Shen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Scientific Applications of Grid Computing
SAG 2004, Pilar Herrero, Takeo Kanade, Mar?a S. P?rez, V?ctor Robles, Maria S. P??rez
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Wired/Wireless Internet Communications
WWIC 2005, Torsten Braun, Takeo Kanade, Georg Carle, Yevgeni Koucheryavy, Vassilis Tsaoussidis
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Pervasive Computing
Pervasive 2005, Hans-W Gellersen, Takeo Kanade, Albrecht Schmidt, Roy Want
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Self-star Properties in Complex Information Systems
Ozalp Babaoglu, Christof Fetzer, M?rk Jelasity, Takeo Kanade, Stefano Leonardi, Alberto Montresor, Aad Moorsel, Maarten Steen, M??rk Jelasity, Aad van Moorsel, Maarten van Steen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Formal Methods for Open Object-Based Distributed Systems
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Principles of Distributed Systems
Teruo Higashino
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Distributed Computing
Pierre Fraigniaud
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Proceedings of the 2005 international conference on Augmented tele-existence
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Proceedings of the 4th international conference on Mobile and ubiquitous multimedia
Mark Billinghurst, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Proceedings of the 32nd annual international symposium on Computer Architecture
The 32nd Annual International Symposium on Computer Architecture 2005, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Proceedings of the international symposium on Code generation and optimization
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Microarchitectural Research and Processing.; ACM Special Interest Group on Programming Languages., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Proceedings of the 38th annual Symposium on Simulation
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Simulation and Modeling., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Ting-Ao Tang, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Proceedings of the 4th international symposium on Information processing in sensor networks
Martin Vetterli, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Press, 2005
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
IEEE/ACM International Conference on Computer-Aided Design, Association for Computing Machinery-Digital Library., IEEE Circuits and Systems Society.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. The 6th IEEE/ACM International Workshop on Grid Computing, 2005
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Manage IT!
Thiadenso
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Proceedings of the third Eurographics symposium on Geometry processing
Mathieu Desbrun, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Aire-la-Ville, Switzerland : Eurographics Association, 2005
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Proceedings of the First Eurographics conference on Computational Aesthetics in Graphics, Visualization and Imaging
László Neumann, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Aire-la-Ville, Switzerland : Eurographics Association, 2005
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Proceedings of the First Eurographics conference on Natural Phenomena
Eric Galin, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Aire-la-Ville, Switzerland : Eurographics Association, 2005
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Proceedings of the Sixteenth Eurographics conference on Rendering Techniques
Kavita Bala, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Aire-la-Ville, Switzerland : Eurographics Association, 2005
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Proceedings of the 6th International conference on Virtual Reality, Archaeology and Intelligent Cultural Heritage
Mark Mudge, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Aire-la-Ville, Switzerland : Eurographics Association, 2005
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Proceedings of the 11th Eurographics conference on Virtual Environments
Erik Kjems, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Aire-la-Ville, Switzerland : Eurographics Association, 2005
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Proceedings of the Second Eurographics / IEEE VGTC conference on Point-Based Graphics
Mark Pauly, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Proceedings of the Fourth Eurographics / IEEE VGTC conference on Volume Graphics
Eduard Gröller, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Proceedings of the 37th conference on Winter simulation
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Simulation and Modeling., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
Workshop on Principles of Advanced and Distributed Simulation, Christopher D. Carothers, David M. Nicol, Stephen John Turner, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. UbiComp 2005: Ubiquitous Computing
UbiComp 2005, Michael Beigl, Takeo Kanade, Association for Computing Machinery-Digital Library., Stephen Intille, Jun Rekimoto, Hideyuki Tokuda
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
CarpetLAN: A Novel Indoor Wireless(-like) Networking and PositioningSystem / Masaaki Fukumoto ; Mitsuru Shinagawa
u-Texture: Self-Organizable Universal Panels for Creating SmartSurroundings / Naohiko Kohtake ; Ryo Ohsawa ; Takuro Yonezawa ; Yuki Matsukura ; Masayuki Iwai ; Kazunori Thakashio ; Hideyuki Tokuda
Fast and Robust Interface Generation for Ubiquitous Applications / Krzysztof Gajos ; David Christianson ; Raphael Hoffmann ; Tal Shaked ; Kiera Henning ; Jing Jing Long ; Daniel S. Weld
Analysis of Chewing Sounds for Dietary Monitoring / Oliver Amft ; Mathias Stäger ; Paul Lukowicz ; Gerhard Tröster
Preventing Camera Recording by Designing a Capture-ResistantEnvironment / Khai N. Truong ; Shwetak N. Patel ; Jay W. Summet ; Gregory D. Abowd
Self-Mapping in 802.11 Location Systems / Anthony LaMarca ; Jeff Hightower ; Ian Smith ; Sunny Consolvo
A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping / Anil Madhavapeddy ; Alastair Tse
A New Method for Auto-calibrated Object Tracking / Paul Duff ; Michael McCarthy ; Angus Clark ; Henk Muller ; Cliff Randell ; Shahram Izadi ; Andy Boucher ; Andy Law ; Sarah Pennington ; Richard Swinford
Accurate GSM Indoor Localization / Veljo Otsason ; Alex Varshavsky ; Eyal de Lara
Learning and Recognizing the Places We Go / Jeffrey Hightower ; Jeff Hughes
Visually Interactive Location-Aware Computing / Kasim Rehman ; Frank Stajano ; George Coulouris
DigiDress: A Field Trial of an Expressive Social Proximity Application / Per Persson ; Jan Blom ; Younghee Jung
Control, Deception, and Communication: Evaluating the Deployment of a Location-Enhanced Messaging Service / Giovanni Iachello ; James Howard ; Fred Potter ; James Scott ; Timothy Sohn
Place-Its: A Study of Location-Based Reminders on Mobile Phones / Kevin A. Li ; Gunny Lee ; William G. Griswold
Time, Ownership and Awareness: The Value of Contextual Locations in the Home / Kathryn Elliot ; Carman Neustaedter ; Saul Greenberg
Living for the Global City: Mobile Kits, Urban Interfaces, and Ubicomp / Scott D. Mainwaring ; Ken Anderson ; Michele F. Chang
From Interaction to Participation: Configuring Space Through Embodied Interaction / Amanda Williams ; Eric Kabisch ; Paul Dourish
Scanning Objects in the Wild: Assessing an Object Triggered Information System / A.J. Bernheim Brush ; Tammara Combs Turner ; Marc A. Smith ; Neeti Gupta
Abaris: Evaluating Automated Capture Applied to Structured Autism Interventions / Julie A. Kientz ; Sebastian Boring ; Gillian R. Hayes
To Frame or Not to Frame: The Role and Design of Frameless Displays in Ubiquitous Applications / Claudio Pinhanez ; Mark Podlaseck
Picking Pockets on the Lawn: The Development of Tactics and Strategies in a Mobile Game / Louise Barkhuus ; Matthew Chalmers ; Paul Tennent ; Malcolm Hall ; Marek Bell ; Scott Sherwood ; Barry Brown
Active Theatre - A Collaborative, Event-Based Capture and Access System for the Operating Theatre / Thomas Riisgaard Hansen ; Jakob E. Bardram
Author Index
CarpetLAN: A Novel Indoor Wireless(-like) Networking and PositioningSystem / Masaaki Fukumoto ; Mitsuru Shinagawa
u-Texture: Self-Organizable Universal Panels for Creating SmartSurroundings / Naohiko Kohtake ; Ryo Ohsawa ; Takuro Yonezawa ; Yuki Matsukura ; Masayuki Iwai ; Kazunori Thakashio ; Hideyuki Tokuda
Fast and Robust Interface Generation for Ubiquitous Applications / Krzysztof Gajos ; David Christianson ; Raphael Hoffmann ; Tal Shaked ; Kiera Henning ; Jing Jing Long ; Daniel S. Weld
47.

電子ブック
ＥＢ
47. Proceedings of the 2005 workshop on Predictor models in software engineering
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Caroll Morgan, Carroll Morgan, Charles C. Morgan
出版情報: Springer eBooks Computer Science , Springer New York, 2005
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of definitions etc.
Probabilistic guarded commands / Part I：
Introduction to pGCL / 1：
Sequential program logic / 1.1：
The programming language pGCL / 1.2：
An informal computational model for pGCL / 1.3：
Behind the scenes: elementary probability theory / 1.4：
Basic syntax and semantics of pGCL / 1.5：
Healthiness and algebra for pGCL / 1.6：
Healthiness example: modular reasoning / 1.7：
Interaction of probabilistic- and demonic choice / 1.8：
Summary / 1.9：
Chapter notes
Probabilistic loops: invariants and variants / 2：
Introduction: loops via recursion / 2.1：
Probabilistic invariants / 2.2：
Probabilistic termination / 2.3：
Invariance and termination together: the loop rule / 2.4：
Three examples of probabilistic loops / 2.5：
The Zero-One Law for termination / 2.6：
Probabilistic variant arguments for termination / 2.7：
Termination example: self-stabilisation / 2.8：
Uncertain termination / 2.9：
Proper post-expectations / 2.10：
Bounded vs. unbounded expectations / 2.11：
Informal proof of the loop rule / 2.12：
Case studies in termination / 3：
Rabin's choice coordination / 3.1：
The dining philosophers / 3.2：
The general random ""jump"" / 3.3：
Probabilistic data refinement: the steam boiler / 4：
Introduction: refinement of datatypes / 4.1：
Data refinement and simulations / 4.2：
Probabilistic datatypes: a worked example / 4.3：
A safety-critical application: the steam boiler / 4.4：
Semantic structures / 4.5：
Theory for the demonic model / 5：
Deterministic probabilistic programs / 5.1：
The sample space, random variables and expectations / 5.2：
Probabilistic deterministic transformers / 5.3：
Relational demonic semantics / 5.4：
Regular transformers / 5.5：
Healthiness conditions for probabilistic programs / 5.6：
Characterising regular programs / 5.7：
Complementary and consistent semantics / 5.8：
Review: semantic structures / 5.9：
The geometry of probabilistic programs / 6：
Embedding distributions in Euclidean space / 6.1：
Standard deterministic programs / 6.2：
Probabilistic deterministic programs / 6.3：
Demonic programs / 6.4：
Refinement / 6.5：
Nontermination and sub-distributions / 6.6：
Expectations and touching planes / 6.7：
Refinement seen geometrically / 6.8：
The geometry of the healthiness conditions / 6.9：
Sublinearity corresponds to convexity / 6.10：
Truncated subtraction / 6.11：
A geometrical proof for recursion / 6.12：
Proved rules for probabilistic loops / 7：
Introduction / 7.1：
Partial loop correctness / 7.2：
Total loop correctness / 7.3：
Full proof of the loop rule / 7.4：
Probabilistic variant arguments / 7.5：
Finitary completeness of variants / 7.6：
Do-it-yourself semantics / 7.7：
The transformer hierarchy / 7.8：
Infinite state spaces / 8.1：
Deterministic programs / 8.3：
Angelic programs / 8.4：
Standard programs / 8.6：
Advanced topics / 8.7：
Quantitative temporal logic: an introduction / 9：
Modal and temporal logics / 9.1：
Standard temporal logic: a review / 9.2：
Quantitative temporal logic / 9.3：
Temporal operators as games / 9.4：
The quantitative algebra of qTL / 9.5：
The role of algebra / 10.1：
Quantitative temporal expectations / 10.2：
Quantitative temporal algebra / 10.3：
Examples: demonic random walkers and stumblers / 10.4：
The quantitative modal ?-calculus qM?, and games / 10.5：
Introduction to the ?-calculus / 11.1：
Quantitative ?-calculus for probability / 11.2：
Logical formulae and transition systems / 11.3：
Two interpretations of qM? / 11.4：
Example / 11.5：
Proof of equivalence of interpretations / 11.6：
Appendices, bibliography and indexes / 11.7：
Alternative approaches / A：
Probabilistic Hoare-triples / A.1：
A programming logic of distributions / A.2：
Supplementary material / B：
Some algebraic laws of probabilistic programs / B.1：
Loop rule for demonic iterations / B.2：
Further facts about probabilistic wp and wlp / B.3：
Linear-programming lemmas / B.4：
Further lemmas for eventually / B.6：
Bibliography
Index of citations
General index
Preface
List of definitions etc.
Probabilistic guarded commands / Part I：
49.

電子ブック
ＥＢ
49. Advanced Wired and Wireless Networks
Tadeusz A. Wysocki, Arek Dadej, Beata J. Wysocki, Tadeusz Wysocki
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Advanced Issues in Ad Hoc Networking / Part 1：
Highly Scalable Routing Strategies: DZTR Routing Protocol
Localised Minimum Spanning Tree Flooding in Ad Hoc Networks
A Presence System for Autonomous Networks
Secure Routing Protocols for Mobile Ad Hoc Wireless Networks
Cross Layer Design for Ad Hoc networks
Ideas for Advaned Mobility Support / Part 2：
Federated Service Platform Solutions for Heterogeneous Wireless Networks
Reestablishment of Header Compression State by Context Transfer in Mobile IP Networks
Handover Channel Allocation Based on Mobility Predictions
Mobility Prediction Schemes in Wireless Ad Hoc Networks
Performance of Advanced Networks and Protocols / Part 3：
An Overview of Streamed Data Authentication Techniques
Features of Parallel TCP with Emphasis on Congestion Avoidance in Heterogeneous Networks
Performance Analysis of Reliable Multicast Protocols: A Message-Based Approach
Fair Queuing in Active and Programmable Networks
Advanced Issues in Ad Hoc Networking / Part 1：
Highly Scalable Routing Strategies: DZTR Routing Protocol
Localised Minimum Spanning Tree Flooding in Ad Hoc Networks
50.

電子ブック
ＥＢ
50. Advances in Digital Forensics
Mark Pollitt, Sujeet Shenoi
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Contributing Authors
Preface
Themes and Issues / Part I：
Dealing with Terabyte Data Sets in Digital Investigations / Nicole Beebe ; Jan Clark1：
Forensics and Privacy-Enhancing Technologies / Martin Olivier2：
A Network-Based Architecture for Storing Digital Evidence / Mark Davis ; Gavin Manes ; Sujeet Shenoi3：
Digital Forensics: Meeting the Challenges of Scientific Evidence / Matthew Meyers ; Marcus Rogers4：
Non-Technical Manipulation of Digital Data / Michael Losavio5：
Investigative Techniques / Part II：
Detecting Social Engineering / Michael Hoeschele6：
A Framework for Email Investigations / Anthony Persaud ; Yong Guan7：
The Mitnick Case: How Bayes Could Have Helped / Thomas Duval ; Bernard Jouga ; Laurent Roger8：
Applying Forensic Principles to Computer-Based Assessment / R. Laubscher ; D. Rabe ; M. Olivier ; J. Eloff ; H. Venter9：
Exploring Forensic Data with Self-Organizing Maps / B. Fei10：
Network Forensics / Part III：
Integrating Digital Forensics in Network Infrastructures / Kulesh Shanmugasundaram ; Herve Bronnimann ; Nasir Memon11：
Using Peer-to-Peer Technology for Network Forensics / Scott Redding12：
Forensic Profiling System / P. Kahai ; M. Srinivasan ; K. Namuduri ; R. Pendse13：
Global Internet Routing Forensics / Eunjong Kim ; Dan Massey ; Indrajit Ray14：
Using Signaling Information in Telecom Network Forensics / T. Moore ; A. Meekan ; G. Manes ; S. Shenoi15：
Portable Electronic Device Forensics / Part IV：
Forensic Analysis of Mobile Phone Internal Memory / Svein Willassen16：
Imaging and Analysis of GSM SIM Cards / Christopher Swenson17：
Extracting Concealed Data from BIOS Chips / P. Gershteyn ; M. Davis18：
Linux and File System Forensics / Part V：
Recovering Digital Evidence from Linux Systems / Philip Craiger19：
Detecting Hidden Data in Ext2/Ext3 File Systems / S. Piper20：
Applications and Techniques / Part VI：
Forensic Analysis of Digital Image Tampering / Gilbert Peterson21：
Content-Based Image Retrieval for Digital Forensics / Y. Chen ; V. Roussev ; G. Richard III ; Y. Gao22：
Making Decisions about Legal Responses to Cyber Attacks / L. Peng ; T. Wingfield ; D. Wijesekera ; E. Frye ; R. Jackson ; J. Michael23：
Applying Filter Clusters to Reduce Search State Space / Jill Slay ; Kris Jorgensen24：
In-Kernel Cryptographic Executable Verification / Yusuf Motara ; Barry Irwin25：
Contributing Authors
Preface
Themes and Issues / Part I：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼