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：
51.

電子ブック
ＥＢ
51. Advances in Pervasive Computing and Networking
Workshop for Pervasive Computing and Networking, Boleslaw Szymanski, Boleslaw K. Szymanski, Boles�}aw Szyma?nski, Boles�}aw Szyma?nski, B?ulent Yener, B?ulent Yener, B?lent Yener
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Scalable, Self-Organizing Technology for Sensor Networks
On the Fundamental Relationship Between the Achievable Capacity and Delay in Mobile Wireless Networks
Self-Optimization in Sensor Networks
Integrating Pervasive Computing into the Emerging Utility Infrastructures
In-Network Decision Making via Local Message-Passing
Cooperative Routing in Wireless Networks
Directions in Multi-Query Optimization for Sensor Networks
On Sensor Networking and Signal Processing for Smart and Safe Buildings
A Self-Configuring Location Discovery System for Smart Environments
Sense: a Component Oriented Simulator for Wireless Sensor Networks
A Distributed Transmitter for Reachback Based on Radar Signals Maximizing Aggregate Throughput in 802.11 Mesh Networks with Physical Carrier
Sensing and Two-Radio Multi-Channel Clustering
Sensor Networks
From Applications to Networks
Opportunistic Networking and Sensing in the Urban Vehicle Grid
Emergent Structure Amont Self-Organizing Devices
Introduction
Scalable, Self-Organizing Technology for Sensor Networks
On the Fundamental Relationship Between the Achievable Capacity and Delay in Mobile Wireless Networks
52.

電子ブック
ＥＢ
52. Ambient Intelligence
Tim; Foresti, Gian Luca; Remagnino, Paolo Ellis, Tim Ellis, Gian Luca Foresti, Paolo Remagnino
出版情報: Springer eBooks Computer Science , Dordrecht : Springer New York, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Towards Ambient Intelligence for the Domestic Care of the Elderly
Scaling Ambient Intelligence
Compositional Devices
Video and Radio Attributes Extraction for Heterogeneous Location Estimation
A Context-based Ambient Intelligence Architecture
Distributed Active Multicamera Networks
A Distributed Multiple Camera Surveillance System
Learning and Integrating Information from Multiple Camera Views
Mapping an Ambient Environment
Fast Online Speaker Adaptation for Smart Room Applications
Stero-based 3D Face Recognition System for AMI
Security and Building Intelligence
From People Detection to Action Analysis
Sustainable Cybernetics Systems
Backbones of Ambient Intelligent Environments
Introduction
Towards Ambient Intelligence for the Domestic Care of the Elderly
Scaling Ambient Intelligence
53.

電子ブック
ＥＢ
53. Applications of Agent Technology in Traffic and Transportation
Franziska Kl?gl, Ana Bazzan, Franziska Klugl, Sascha Ossowski, Franziska Kl??gl
出版情報: Springer eBooks Computer Science , Basle : Birkh?user Basel, 2005
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Broadband Satellite Comunication Systems and the Challenges of Mobility
Thierry Gayraud, Fernando Boavida, Fernando P. Fernandes, Michel Mazella, Michel Mazzella, Edmundo Monteiro, Joao G. de Matos Orvalho, Jo?o Orvalho
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Mobile and Wireless Communications
Mobile Networks
Wireless Networks
Seamless Mobility
Mobile Ad Hoc and Sensor Networks
Analysis, Simulation and Measurements of Mobile and Wireless Systems
Integration and Inter-working of Wired and Wireless Networks
QoS
Mobile and Wireless Communications
Mobile Networks
Wireless Networks
55.

電子ブック
ＥＢ
55. Certification and Security in Inter-Organizational E-Service
Enrico Nardelli, Maurizio Talamo
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Authentication, Encryption, Certification and Traceability in E-Services
Safeguards, Interception, Tracking and Firewall Technology
Administration, Management, Risk Analysis and Organizational Issues
Mobile Access, Network Protocol and Multilateral Security
Certification Authorities
Public Key Infrastructures
Authentication, Encryption, Certification and Traceability in E-Services
Safeguards, Interception, Tracking and Firewall Technology
Administration, Management, Risk Analysis and Organizational Issues
56.

電子ブック
ＥＢ
56. Charting a New Course: Natural Language Processing and Information Retrieval
John I. Tait, Karen Sparck Jones, John Tait
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Citation Analysis in Research Evaluation
H. F. Moed
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Communities and Technologies 2005
International Conference on Communities and Technologies, Peter van den Besselaar, Giorgio de Michelis, Peter van den Besselaar, Giorgio de Michelis, Jenny Preece, Carla Simone
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Netherlands, 2005
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Computer-Aided Design of User Interfaces IV
International Conference on Computer-Aided Design of User Interfaces, Robert J. K. Jacob, Quentin Limbourg, Jean Vanderdonckt, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Netherlands, 2005
所蔵情報: loading…
目次情報: 続きを見る
Task Modelling
The Influence of Improved Task Models on Dialogues / A. Dittmar ; P. Forbrig1：
Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept / B. Bomsdorf ; G. Szwillus2：
Hypermedia and Web-Based Systems
Model-Based Design of Online Help Systems / M. Silveira ; S. Barbosa ; C. de Souza3：
A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method / S. Montero ; C. FernÃíndez ; J. M. Dodero ; I. Aedo ; P. Dáaz4：
SwcEditor: a Model-Based Tool for Interactive Modelling of Web Navigation / M. Winckler ; E. Barboni ; Ch. Farenc ; Ph. Palanque5：
Model-Based Design
Behaviour Modeller: The Systematic Generation of Statechart from Functional Relations and Scenarios for Prototyping User Interfaces / A. Urushihara ; S. Kanai ; T. Kishinami ; T. Tomura6：
Maui: An Interface Design Tool Based on Matrix Algebra / J. Gow ; H. Thimbleby7：
Goliath: an Extensible Model-Based Environment to Develop User Interfaces / D. Julien ; M. Ziane ; Z. Guessoum8：
Transformational Development of User Interfaces with Graph Transformations / Q. Limbourg ; J. Vanderdonckt9：
Usability Engineering
A Distributed Usage Monitoring System / Ph. Gray ; I. McLeod ; S. Draper ; M. Crease ; R. Thomas10：
Dialogue-Based Design of Web Usability Questionnaires Using Ontologies / E.G. Barriocanal ; M.A. Sicilia UrbÃín ; L. GonzÃílez ; J. Hilera11：
Creating Contextualised Usability Guides for Web Sites Design and Evaluation / C. Mariage12：
Usability Testing of Interaction Components: Taking the Message Exchange as a Measure of Usability / W.P. Brinkman ; R. Haakma ; D.G. Bouwhuis13：
InFigura, An Integrated Design Tool. Exploiting Semantics and Patterns of Web Development / T. Tiedtke ; T. Krach ; Ch. MÃñrtin14：
Instrumenting Bytecode for the Production of Usage Data / I. Macleod ; H. Evans ; R. Mancy15：
Patterns and Re-use
Patterns in Model-Based Engineering / D. Sinnig ; A. Gaffar ; D. Reichart ; A. Seffah16：
Analysis and Design of Model-Based User Interfaces: An Approach to Refining Specifications towards Implementation / P.J. Molina ; H. Trà tteberg17：
Interaction Templates for Constructing User Interfaces from Task Models / D. Paquette ; K. Schneider18：
Automating a Design Reuse Facility with Critical Parameters: Lessons Learned in Developing the Link-Up System / C.M. Chewar ; E. Bachetti ; D.S. McCrickard ; J.E. Booker19：
Mark-up Languages
XICLâ1/4"An Extensible Mark-up Language for Developing User Interface and Components / L.G. de Sousa ; J.C. Leite20：
Uiml.Net: an Open Uiml Renderer for the .Net Framework / K. Luyten ; K. Coninx21：
Ubiquitous Computing
The Ubiquitous Interactorâ1/4"Device Independent Access to Mobile Services / S. Nylander ; M. Bylund ; A. Waern22：
Generating Context-Sensitive Multiple Device Interfaces from Design / T. Clerckx23：
A Lightweight Experiment Management System for Handheld Computers / J. Goodman ; J. Macleod24：
Mixed-Reality Systems
Generic Interaction Techniques for Mobile Collaborative Mixed Systems / Ph. Renevier ; L. Nigay ; J. Bouchet ; L. Pasqualetti25：
The Continuity Property in Mixed Reality and Multiplatform Systems: A Comparative Study / M. Florins ; D.G. Trevisan26：
Speech-Based Systems
Building Rich User Interfaces for Digital Talking Books / L. Carrià o ; C. Duarte ; R. Lopes ; M. Rodrigues ; N. GuimarÃúes27：
A Framework for Developing Conversational User Interfaces / J. Glass ; E. Weinstein ; S. Cyphers ; J. Polifroni ; G. Chung ; M. Nakano28：
A System For Manipulating Audio Interfaces Using Timbre Spaces / C. Nicol ; S. Brewster29：
Task Modelling
The Influence of Improved Task Models on Dialogues / A. Dittmar ; P. Forbrig1：
Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept / B. Bomsdorf ; G. Szwillus2：
60.

電子ブック
ＥＢ
60. Constraint Satisfaction Techniques for Agent-Based Reasoning
Nicoleta Neagu, Nicoletta Neagu
出版情報: Springer eBooks Computer Science , Basle : Birkh?user Basel, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Interchangeability and Solution Adaptation in Crisp CSPs
Interchangeability in Soft CSPs
Multi Agent Computation of Interchangeability in Distributed CSPs
Interchangeability in Dynamic Environments
Generic Case Adaptation Framework
Introduction
Interchangeability and Solution Adaptation in Crisp CSPs
Interchangeability in Soft CSPs
61.

電子ブック
ＥＢ
61. Dissemination of Information in Communication Networks
Wilfried Brauer, J. Hromkovic, Grzegorz Rozenberg, R. Klasing, A. Pelc, P. Ruzicka, W. Unger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction
The Telegraph and Telephone Modes: Fundamentals / Part I：
Broadcasting
Gossiping
Systolic Communication
Fault-Tolerance
Distributed Networks: Broadcast on Distributed Networks / Part II：
Leader Election in Asynchronous Distributed Networks
Fault-Tolerant Broadcast in Distributed Networks
References
Index
Introduction
The Telegraph and Telephone Modes: Fundamentals / Part I：
Broadcasting
62.

電子ブック
ＥＢ
62. ECSCW 2005
European Conference on Computer-Supported Cooperative Work, Hans-W Gellersen, Kjeld Schmidt, Hans Gellersen, Wendy Mackay
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. From P2P to Web Services and Grids
Ian J. Taylor
出版情報: Springer eBooks Computer Science , Springer London, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Distributed Systems
Peer-2-Peer Systems
Gnutella Scalability Security Freenet Jxta
P2P Deployment Using Jxta
Jini Distributed Object Deployment
Using Jini Grid Computing Web Services
Web Services Deployment OGSA
Introduction to Distributed Systems
Peer-2-Peer Systems
Gnutella Scalability Security Freenet Jxta
64.

電子ブック
ＥＢ
64. From Specification to Embedded Systems Application
Achim Rettberg, Franz J. Rammig, Mauro C. Zanella
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Guide to Assembly Language Programming in Linux
Sivarama P. Dandamudi
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Human-Centered Software Engineering ? Integrating Usability in the Software Development Lifecycle
Michel C.; Gulliksen, Jan; Seffah, Ahmed Desmarais, Michel C. Desmarais, Jan Gulliksen, Ahmed Seffah
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Intelligence in Communication Systems
Roch Glitho, Ahmed Karmouch, Samuel Pierre
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Intelligent Document Retrieval
Udo Kruschwitz
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
List of Figures
List of Tables
Introduction / 1：
Introductory Examples / 1.1：
Using Markup to Extract Knowledge / 1.2：
Applying the Extracted knowledge / 1.3：
Structure of the Book / 1.4：
The Model / Part I：
Related Work / 2：
Information Retrieval / 2.1：
Information Extraction / 2.2：
Clustering / 2.3：
Classification / 2.4：
Web Search Techniques / 2.5：
Ontologies / 2.6：
Layout Analysis / 2.7：
Web Search Studies / 2.8：
Navigating Concept Hierarchies / 2.9：
Dialogue Systems / 2.10：
Usability Issues / 2.11：
Concluding Remarks on Related Work / 2.12：
Data Analysis and Domain Model Construction / 3：
Documents / 3.1：
Concepts / 3.2：
A Domain Model Based on Concepts / 3.3：
Model Structure / 3.4：
Model Construction / 3.5：
Using the Model for Query Modification / 3.6：
Implementational Issues / 3.7：
Incorporating Additional Knowledge / 4：
Internal Knowledge / 4.1：
External Knowledge / 4.2：
A Dialogue System for Partially Structured Data / 5：
Dialogue as Movement in Space / 5.1：
Dialogue Example / 5.2：
Static vs. Dynamic Clusters / 5.3：
Real User Queries / 5.4：
Properties / 5.5：
Document Properties / 5.5.1：
System Properties / 5.5.2：
Goal Description / 5.5.3：
Dialogue / 5.6：
High Level Dialogue States / 5.6.1：
Low Level Dialogue States / 5.6.2：
Constructing Potential Choices / 5.6.3：
Dialogue Strategies / 5.6.4：
Customization / 5.6.5：
Practical Applications / Part II：
UKSearch - Intelligent Web Search / 6：
Indexing Web Pages / 6.1：
The UKSearch System / 6.2：
Indexing and Model Construction / 6.2.1：
Dialogue Strategy / 6.2.2：
Sample Domain 1: Essex University / 6.3：
Index Tables / 6.3.1：
Domain Model / 6.3.2：
Concepts it vs. Real User Queries / 6.3.3：
Sample Domain 2: BBC News / 6.4：
Adjusted Dialogue Strategy / 6.4.1：
UKSearch - Evaluation and Discussion / 6.5：
Log Analysis / 7.1：
System Setup / 7.1.1：
Results / 7.1.2：
Discussion / 7.1.3：
Investigating Domain Model Relations / 7.2：
Task and Setup / 7.2.1：
Task-Based Evaluation: Essex University / 7.2.2：
Search Tasks / 7.3.1：
Experimental Setup / 7.3.2：
Procedure / 7.3.3：
Task-Based Evaluation: BBC News / 7.3.4：
Experimental Setup and Procedure / 7.4.1：
YPA - Searching Classified Directories / 7.4.3：
System Overview / 8.1：
Indexing Classified Advertisements / 8.2：
Structure of the Backend / 8.2.1：
Domain Model Construction / 8.2.2：
Dialogue Strategy in the YPA / 8.3：
Dialogue Setup / 8.3.1：
Dialogue Function / 8.3.3：
Calculation of Potential Choices / 8.3.4：
Future Directions and Conclusions / 8.4：
Towards Evolving Domain Models / 9.1：
Dialogue Management / 9.2：
An Outlook on Future Evaluations / 9.3：
Conclusions / 9.4：
References
Index
Foreword
Preface
List of Figures
69.

電子ブック
ＥＢ
69. Multimedia Introduction to Programming Using Java
David Gries, Paul Gries
出版情報: Springer eBooks Computer Science , Springer New York, 2005
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Network Control and Engineering for QoS, Security and Mobility, III
Dominique Ga?ti, Dominique Gaiti, Sebastia Galmes, Sebasti? Galm?s, Ramon Puigjaner
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Optical Burst Switched Networks
Jason P. Jue, Vinod M. Vokkarane, Vinod M. Vokkrane
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. QoS in Packet Networks
Kun Il Park
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Security Management, Integrity, and Internal Control in Information Systems
Paul Dowland, Steve Furnell, Bhavani Thuraisingham, X. Sean Wang
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Software Agent-Based Applications, Platforms and Development Kits
Rainer Unland, Monique Calisti, Matthias Klusch, Rainer Unland
出版情報: Springer eBooks Computer Science , Basle : Birkh?user Basel, 2005
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Spaces, Spatiality and Technology
Elisabeth; Turner, Phil Davenport, Elisabeth Davenport, Phil Turner
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction / P. Turner ; Elisabeth Davenport
The Digital Uncanny / R. Coyne
En-Spacing Technology: Some Thoughts on the Geographical Nature of Technology / B. Brown ; E. Laurier
Shifting Presence in the Classroom / E. Davenport ; K. Buckner
The Public Library: A Successful Public Space? / A. Goulding
Understanding Spatiality: The Intersection of Real And Virtual Workspace / L. McDougal
Public Place as a Resource Of Social Interaction / M. Buchecker
Privacy Zoning: The Different Layers of Public Space / M.J. van Dorst
High-Fidelity Mapping of Intellectual Space / B. Cronin
Escape from Surface and Linearity / J. Warner
Surface: Material Infrastructure for Space / R. E. Day
Multiple Spaces / A. Dix ; A. Friday ; B. Koleva ; T. Rodden ; H. Muller ; C. Randell ; A. Steed
An Existential Approach to Representing Visual Context / A.J. Summerfield ; S. Hayman
Performative Uses of Space in Mixed Media Environments / G. Jacucci ; I. Wagner
Space, Place and the Design of Technologically-Enhanced Physical Environments / L. Ciolfi ; L.J. Bannon
Augmenting Communal Office Spaces with Large Screens to Support Informal Communication / S. Albolino ; A. Grasso ; F. Roulland
Articulating the Sense of Place Experienced by Visitors to the Jencks Landform / M. Smyth
Multiscale Space and Place: Supporting User Interactions with Large Structures in Virtual Environments / X. Zhang ; G.W. Furnas
The Tourist Gaze: Towards Contextualised Virtual Environments / S. Turner ; F. Carroll
Index
Introduction / P. Turner ; Elisabeth Davenport
The Digital Uncanny / R. Coyne
En-Spacing Technology: Some Thoughts on the Geographical Nature of Technology / B. Brown ; E. Laurier
76.

電子ブック
ＥＢ
76. The Austin Protocol Compiler
Tommy M. McGuire, Mohamed G. Gouda
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. The Inside Text
R. Harper, Richard Harper, L. Palen, Leysia Ann Palen, A. Taylor, Alex S. Taylor
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
目次情報: 続きを見る
Contributors Inside Text
An Introduction
Text versus Talk Changing Cultures of Written Communication: Letter-E-mail-SMS Language in SMS - a socio-linguistic view Please reply! / Section 1：
The replying norm in adolescent SMS communication Nascent Communication Genres within SMS and MMS
Texting and the Moral order of Place From voice to Text: continuity and change in the use of mobile phones in France and Japan Intimate Connections: Contextualizing Japanese youth and mobile messaging The Breakthrough of Text Messaging in Finland SMS Use Among Deaf Teens and Young Adults in Norway Mobile Communications vis-á-vis Teen Emancipation, Peer Group Integration and Deviance Desire and Loathing in the Cyber Philippines / Section 2：
Designer's Text Usability of Issues of Sending Text Messages Design for Richer Reachability: Mobile inspection in building maintenance Working Text: Texting Work Gift of the Gab Swarm: Text messaging designed to enhance social coordination Default Thinking: Why consumer products fail / Section 3：
Index
Contributors Inside Text
An Introduction
Text versus Talk Changing Cultures of Written Communication: Letter-E-mail-SMS Language in SMS - a socio-linguistic view Please reply! / Section 1：
78.

電子ブック
ＥＢ
78. The Quintessential PIC? Microcontroller
Sid Katzen
出版情報: Springer eBooks Computer Science , Springer London, 2005
所蔵情報: loading…
目次情報: 続きを見る
Preface to the Second Edition
Preface to the First Edition
The Fundamentals / Part I：
Digital Representation / 1：
Logic Circuitry / 2：
Stored Program Processing / 3：
The Software / Part II：
The PIC16F84 Microcontroller / 4：
The Instruction Set / 5：
Subroutines and Modules / 6：
Interrupt Handling / 7：
Assembly Language Code Building Tools / 8：
High-Level Language / 9：
The Outside World / Part III：
The Real World / 10：
One Byte at a Time / 11：
One Bit at a Time / 12：
Time Is of the Essence / 13：
Take the Rough with the Smooth / 14：
To Have and to Hold / 15：
Enhancing the Family / 16：
A Case Study / 17：
Appendices
Acronyms and Abbreviations / A：
Special-Purpose Register Structure for the PIC16F87XA / B：
C Instruction Set / C：
Index
Preface to the Second Edition
Preface to the First Edition
The Fundamentals / Part I：
79.

電子ブック
ＥＢ
79. The Turn
Peter Ingwersen, Kalervo J?rvelin, Kalervo J??rvelin
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Trusted Computing Platforms: Design and Applications
Sean W. Smith
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Trust and Computing / 1.1：
Instantiations / 1.2：
Design and Applications / 1.3：
Progression / 1.4：
Motivating Scenarios / 2：
Properties / 2.1：
Basic Usage / 2.2：
Examples of Basic Usage / 2.3：
Position and Interest / 2.4：
Examples of Positioning / 2.5：
The Idealogical Debate / 2.6：
Further Reading / 2.7：
Attacks / 3：
Physical Attacks / 3.1：
Software Attacks / 3.2：
Side-channel Analysis / 3.3：
Undocumented Functionality / 3.4：
Erasing Data / 3.5：
System Context / 3.6：
Defensive Strategy / 3.7：
Foundations / 3.8：
Applications and Integration / 4.1：
Architectures / 4.2：
Booting / 4.3：
The Defense Community / 4.4：
Design Challenges / 4.5：
Context / 5.1：
Obstacles / 5.2：
Requirements / 5.3：
Technology Decisions / 5.4：
Platform Architecture / 5.5：
Overview / 6.1：
Erasing Secrets / 6.2：
The Source of Secrets / 6.3：
Software Threats / 6.4：
Code Integrity / 6.5：
Code Loading / 6.6：
Putting it All Together / 6.7：
What's Next / 6.8：
Outbound Authentication / 6.9：
Problem / 7.1：
Theory / 7.2：
Design and Implementation / 7.3：
Validation / 7.4：
The Validation Process / 8.1：
Validation Strategy / 8.2：
Formalizing Security Properties / 8.3：
Formal Verification / 8.4：
Other Validation Tasks / 8.5：
Reflection / 8.6：
Application Case Studies / 8.7：
Basic Building Blocks / 9.1：
Hardened Web Servers / 9.2：
Rights Management for Big Brother's Computer / 9.3：
Private Information / 9.4：
Other Projects / 9.5：
Lessons Learned / 9.6：
TCPA/TCG / 9.7：
Basic Structure / 10.1：
Applications / 10.2：
Experimentation / 10.5：
TPM / 10.6：
Changes
Experimenting with TCPA/TCG / 10.7：
Desired Properties / 11.1：
The Lifetime Mismatch / 11.2：
Architecture / 11.3：
Implementation Experience / 11.4：
Application: Hardened Apache / 11.5：
Application: OpenCA / 11.6：
Application: Compartmented Attestation / 11.7：
New Horizons / 11.8：
Privilege Architectures / 12.1：
Hardware Research / 12.2：
Software Research / 12.3：
Current Industrial Platforms / 12.4：
Looming Industry Platforms / 12.5：
Secure Coprocessing Revisited / 12.6：
Glossary / 12.7：
References
About the Author
Index
Introduction / 1：
Trust and Computing / 1.1：
Instantiations / 1.2：
81.

電子ブック
ＥＢ
81. Understanding IPv6
Youngsong Mun, Hyewon K. Lee
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
The Age of IPv6
Protocol Architecture
Address Architecture
Internet Control Message Protocol for IPv6 (ICMPv6)
Neighbor Discovery
Address Autoconfiguration
Dynamic Host Configuration Protocol (DHCPv6)
Interconnection between IPv4 and IPv6
Domain Name System (DNS)
Mobility Support for IPv6
Enhanced Handover Schemes for Mobile IPv6
Security in Mobile IP
The Age of IPv6
Protocol Architecture
Address Architecture
82.

電子ブック
ＥＢ
82. New Directions in Cognitive Information Retrieval
Charles; Spink, Amanda Cole, Charles Cole, Amanda Spink
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2005
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Algorithms and Computation Theory., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Society for Industrial and Applied Mathematics, 2005
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Proceedings of the 5th ACM/IEEE-CS joint conference on Digital libraries
ACM/IEEE Joint Conference on Digital Libraries, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Proceedings of the 10th international conference on Intelligent user interfaces
International Conference on Intelligent User Interfaces, John Riedl, Association for Computing Machinery-Digital Library., SIGART.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
ACM Symposium on Theory of Computing, ACM Special Interest Group for Algorithms and Computation Theory., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Proceedings of the 27th international conference on Software engineering
International Conference on Software Engineering, ACM Sigsoft., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Proceedings of the 2005 ACM symposium on Applied computing
Hisham M. Haddad, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Proceedings of the 2005 workshop on Issues in the theory of security
Catherine Meadows, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures
ACM Symposium on Parallelism in Algorithms and Architectures, ACM Special Interest Group for Algorithms and Computation Theory., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Proceedings of the international workshop on Network and operating systems support for digital audio and video
International Workshop on Network and Operating Systems Support for Digital Audio and Video, ACM Special Interest Group on Multimedia., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Proceedings of the twenty-first annual symposium on Computational geometry
Symposium on Computational Geometry, Association for Computing Machinery-Digital Library., SIGGRAPH.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
IEEE/ACM International Conference on Automated Software Engineering, Association for Computing Machinery-Digital Library., IEEE Computer Society.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
ACM Symposium on Principles of Distributed Computing, ACM Special Interest Group for Algorithms and Computation Theory., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Proceedings of the 36th SIGCSE technical symposium on Computer science education
Wanda Dann, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
CHI Conference, Carolyn Gale, Wendy Kellogg, Gerrit C. Veer, Shumin Zhai, Association for Computing Machinery-Digital Library., SIGCHI (Group : U.S.)
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, ACM Special Interest Group on Programming Languages., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. CHI '05 Extended Abstracts on Human Factors in Computing Systems
Gerrit van der Veer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing
ACM International Symposium on Mobile Ad Hoc Networking and Computing, ACM SIGMOBILE., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Proceedings of the 3rd international IFIP/ACM Latin American conference on Networking
Ernst L. Leiss, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼