close
1.

電子ブック

EB
Valérie Issarny, Takeo Kanade, Richard Schantz, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
2.

電子ブック

EB
Úlfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
Security Validation of Business Processes via Model-Checking / Wihem Arsac ; Luca Compagna ; Giancarlo Pellegrino ; Serena Elisa Ponta
Tools and Mechanisms / Session 2:
On-Device Control Flow Verification for Java Programs / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations / Ricardo Corin ; Felipe Andrés Manzano
Predictability of Enforcement / Nataliia Bielova ; Fabio Massacci
Web Security / Session 3:
SessionShield: Lightweight Protection against Session Hijacking / Nick Nikiforakis ; Wannes Meert ; Yves Younan ; Martin Johns ; Wouter Joosen
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications / Thanh Binh Dao ; Etsuya Shibayama
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications / Philippe De Ryck ; Lieven Desmet
Model-Based Security II / Sesssion 4:
Lightweight Modeling and Analysis of Security Concepts / Jörn Eichler
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications / Linda Ariani Gunawan ; Frank Alexander Kraemer ; Peter Herrmann
An Architecture-Centric Approach to Detecting Security Patterns in software / Michaela Bunke ; Karsten Sohr
Security Requirements Engineering / Session 5:
The Security Twin Peaks / Thomas Heyman ; Koen Yskout ; Riccardo Scandariato ; Holger Schmidt ; Yijun Yu
Evolution of Security Requirements Tests for Service-Centric Systems / Michael Felderer ; Berthold Agreiter ; Ruth Breu
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes / Stephan Neuhaus ; Viet Hung Nguyen
Authorization / Session 6:
Authorization Enforcement Usability Case Study / Steffen Bartsch
Scalable Authorization Middleware for Service Oriented Architectures / Tom Goovaerts
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models / Naveed Ahmed ; Christian D. Jensen
Ideas / Session 7:
Idea: Interactive Support for Secure Software Development / Jing Xie ; Bill Chu ; Heather Richter Lipford
Idea: A Reference Platform for Systematic Information Security Management Tool Support / Ingo Müller ; Jun Han ; Jean-Guy Schneider ; Steven Versteeg
Idea: Simulation Based Security Requirement Verification for Transaction Level Models / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Author Index
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
3.

電子ブック

EB
Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germán Vidal, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
Solving Constraint Satisfaction Problems with SAT Technology / Naoyuki Tamura ; Tomoya Tanjo ; Mutsunori Banbara
Refereed Papers
Types
A Church-Style Intermediate Language for MLF / Didier Rémy ; Boris Yakobowski
IIσDependent Types without the Sugar / Thorsten Altenkirch ; Nils Anders Danielsson ; Andres Löh ; Nicolas Oury
Haskell Type Constraints Unleashed / Dominic Orchard ; Tom Schrijvers
Program Analysis and Transformation
A Functional Framework for Result Checking / Gilles Barthe ; Pablo Buiras ; César Kunz
Tag-Free Combinatory for Binding-Time Polymorphic Program Generation / Peter Thiemann ; Martin Sulzmann
Code Generation via Higher-Order Rewrite Systems / Florian Haftmann ; Tobias Nipkow
Foundations
A Complete Axiomatization of Strict Equality / Javier Álvez ; Francisco J. López-Fraguas
Standardization and Böhm Trees for Λμ-Calculus / Alexis Saurin
An Integrated Distance for Atoms / Vicent Estruch ; César Ferri ; José Hernández-Orallo ; M. José Ramírez-Quintana
Logic Programming
A Pearl on SAT Solving in Prolog / Jacob M. Howe ; Andy King
Automatically Generating Counterexamples to Naive Free Theorems / Daniel Seidel ; Janis Voigtländer
Applying Constraint Logic Programming to SQL Test Case Generation / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Evaluation and Normalization
Internal Normalization, Compilation and Decompilation for System Fβη / Stefano Berardi ; Makoto Tatsuta
Towards Normalization by Evaluation for the βη-Calculus of Constructions / Andreas Abel
Defunctionalized Interpreters for Call-by-Need Evaluation / Olivier Danvy ; Kevin Millikin ; Johan Munk ; Ian Zerny
Term Rewriting
Complexity Analysis by Graph Rewriting / Martin Avanzini ; Georg Moser
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus / Jeroen Ketema ; Jakob Grue Simonsen
Proving Injectivity of Functions via Program Inversion in Term Rewriting / Naoki Nishida ; Masahiko Sakai
Parallelism and Control
Delimited Control in OCaml, Abstractly and Concretely: System Description / Oleg Kiselyov
Automatic Parallelization of Recursive Functions Using Quantifier Elimination / Akimasa Morihata ; Kiminori Matsuzaki
A Skeleton for Distributed Work Pools in Eden / Mischa Dieterle ; Jost Berthold ; Rita Loogen
Author Index
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
4.

電子ブック

EB
Indranil Gupta, Takeo Kanade, Cecilia Mascolo, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cloud Computing
FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads / Joel Wolf ; Deepak Rajan ; Kirsten Hildrum ; Rohit Khandekar ; Vibhore Kumar ; Sujay Parekh ; Kun-Lung Wu ; Andrey Balmin
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments / Joe Hoffert ; Douglas C. Schmidt ; Aniruddha Gokhale
BrownMap: Enforcing Power Budget in Shared Data Centers / Akshat Verma ; Pradipta De ; Vijay Mann ; Tapan Nayak ; Amit Purohit ; Gargi Dasgupta ; Ravi Kothari
Data Management
A Dynamic Data Middleware Cache for Rapidly-Growing Scientific Repositories / Tanu Malik ; Xiaodan Wang ; Philip Little ; Amitabh Chaudhary ; Ani Thakar
Anonygator: Privacy and Integrity Preserving Data Aggregation / Krishna P.N. Puttaswamy ; Ranjita Bhagwan ; Venkata N. Padmanabhan
Middleware for a Re-configurable Distributed Archival Store Based on Secret Sharing / Shiva Chaitanya ; Dharani Vijayakumar ; Bhuvan Urgaonkar ; Anand Sivasubramaniam
Publish-Subscribe and Multicast Systems
Parametric Subscriptions for Content-Based Publish/Subscribe Networks / K.R. Jayaram ; Chamikara Jayalath ; Patrick Eugster
Kevlar: A Flexible Infrastructure for Wide-Area Collaborative Applications / Qi Huang ; Daniel A. Freedman ; Ymir Vigfusson ; Ken Birman ; Bo Peng
FaReCast: Fast, Reliable Application Layer Multicast for Flash Dissemination / Kyungbaek Kim ; Sharad Mehrotra ; Nalini Venkatasubramanian
Social and Location-Aware Middleware
The Gossple Anonymous Social Network / Marin Bertier ; Davide Frey ; Rachid Guerraoui ; Anne-Marie Kermarrec ; Vincent Leroy
Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications / Nicolas Kourtellis ; Joshua Finnis ; Paul Anderson ; Jeremy Blackburn ; Cristian Borcea ; Adriana Iamnitchi
PerPos: A Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes / Jakob Langdal ; Kari R. Schougaard ; Mikkel B. Kjærgaard ; Thomas Toftkjær
Reliability and Legacy
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems / Pawan Prakash ; Ramana Rao Kompella ; Venugopalan Ramasubramanian ; Ranveer Chandra
Bridging the Gap between Legacy Services and Web Services / Tegawendé F. Bissyandé ; Laurent Réveillère ; Yérom-David Bromberg ; Julia L. Lawall ; Gilles Muller
Trust and Security
Enforcing End-to-End Application Security in the Cloud (Big Ideas Paper) / Jean Bacon ; David Evans ; David M. Eyers ; Matteo Migliavacca ; Peter Pietzuch ; Brian Shand
LiFTinG: Lightweight Freerider-Tracking in Gossip / Kévin Huguenin ; Maxime Monod ; Swagatika Prusty
Distributed Middleware Enforcement of Event Flow Security Policy / Ioannis Papagiannis
Transactional Memory
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories / Alokika Dash ; Brian Demsky
Asynchronous Lease-Based Replication of Software Transactional Memory / Nuno Carvalho ; Paolo Romano ; Luís Rodrigues
Author Index
Cloud Computing
FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads / Joel Wolf ; Deepak Rajan ; Kirsten Hildrum ; Rohit Khandekar ; Vibhore Kumar ; Sujay Parekh ; Kun-Lung Wu ; Andrey Balmin
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments / Joe Hoffert ; Douglas C. Schmidt ; Aniruddha Gokhale
5.

電子ブック

EB
Hang Li, Takeo Kanade, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
6.

電子ブック

EB
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas
Attack Analysis and Prevention II / Session 2:
Experiences with PDG-Based IFC / Christian Hammer
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray
Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger
Policy Verification and Enforcement I / Session 3:
Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan Jürjens
Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per Håkon Meland ; Inger Anne Tøndel ; Jostein Jensen
Policy Verification and Enforcement II / Session 4:
Model-Driven Security Policy Deployment: Property Oriented Approach / Stere Preda ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Joaquin Garcia-Alfaro ; Laurent Toutain
Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel Fernández
Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch
Secure System and Software Development I / Session 5:
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif
Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin
Secure System and Software Development II / Session 6:
Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael Schläpfer
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; Håvard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil Stølen ; Jon Ølnes
Author Index
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
7.

電子ブック

EB
UbiComp 2005, Michael Beigl, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: 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
8.

電子ブック

EB
Gary Geunbae Lee, Akiko Aizawa, Takeo Kanade, Kazuko Kuriyama, Chin-Yew Lin, Tetsuya Sakai, Dawei Song, Masaharu Yoshioka, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック

EB
John Krumm, Gregory D. Abowd, Takeo Kanade, Aruna Seneviratne, Thomas Strang, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Privacy Enhancing Technologies for RFID in Retail- An Empirical Investigation / Sarah Spiekermann
Ninja: Non Identity Based, Privacy Preserving Authentication for Ubiquitous Environments / Adrian Leung ; Chris J. Mitchell
Field Deployment of IMBuddy: A Study of Privacy Control and Feedback Mechanisms for Contextual IM / Gary Hsieh ; Karen P. Tang ; Wai Yong Low ; Jason I. Hong
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments / A.J. Bernheim Brush ; Kori M. Inkpen
How Smart Homes Learn: The Evolution of the Networked Home and Household / Marshini Chetty ; Ja-Young Sung ; Rebecca E. Grinter
"My Roomba Is Rambo": Intimate Home Appliances / Lan Guo ; Henrik I. Christensen
Symbolic Object Localization Through Active Sampling of Acceleration and Sound Signatures / Kai Kunze ; Paul Lukowicz
An Exploration of Location Error Estimation / David Dearman ; Alex Varshavsky ; Eyal de Lara ; Khai N. Truong
Security by Spatial Reference: Using Relative Positioning to Authenticate Devices for Spontaneous Interaction / Rene Mayrhofer ; Hans Gellersen ; Mike Hazas
Users and Batteries: Interactions and Adaptive Energy Management in Mobile Systems / Nilanjan Banerjee ; Ahmad Rahmati ; Mark D. Corner ; Sami Rollins ; Lin Zhong
An Empirical Study of the Potential for Context-Aware Power Management / Colin Harris ; Vinny Cahill
Amigo: Proximity-Based Authentication of Mobile Devices / Adin Scannell ; Anthony LaMarca
At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line / Shwetak N. Patel ; Thomas Robertson ; Julie A. Kientz ; Matthew S. Reynolds ; Gregory D. Abowd
An 'Object-Use Fingerprint': The Use of Electronic Sensors for Human Identification / Mark R. Hodges ; Martha E. Pollack
Key Generation Based on Acceleration Data of Shaking Processes / Daniel Bichler ; Guido Stromberg ; Mario Huemer ; Manuel Low
"Merolyn the Phone": A Study of Bluetooth Naming Practices / Tim Kindberg ; Timothy Jones
Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp / Yvonne Rogers ; Kay Connelly ; Lenore Tedesco ; William Hazlewood ; Andrew Kurtz ; Robert E. Hall ; Josh Hursey ; Tammy Toscos
Locating Family Values: A Field Trial of the Whereabouts Clock / Barry Brown ; Alex S. Taylor ; Shahram Izadi ; Abigail Sellen ; Joseph 'Jofish' Kaye ; Rachel Eardley
Safeguarding Location Privacy in Wireless Ad-Hoc Networks / Tanzima Hashem ; Lars Kulik
Haggle: Seamless Networking for Mobile Applications / Jing Su ; James Scott ; Pan Hui ; Jon Crowcroft ; Christophe Diot ; Ashvin Goel ; Meng How Lim ; Eben Upton
Exploiting Social Interactions in Mobile Systems / Andrew G. Miklas ; Kiran K. Gollu ; Kelvin K.W. Chan ; Stefan Saroiu ; Krishna P. Gummadi
Rapidly Exploring Application Design Through Speed Dating / Scott Davidoff ; Min Kyung Lee ; Anind K. Dey ; John Zimmerman
Addressing Mobile Phone Diversity in Ubicomp Experience Development / Chris Greenhalgh ; Steve Benford ; Adam Drozd ; Martin Flintham ; Alastair Hampshire ; Leif Oppermann ; Keir Smith ; Christoph von Tycowicz
Sensor Networks or Smart Artifacts? An Exploration of Organizational Issues of an Industrial Health and Safety Monitoring System / Gerd Kortuem ; David Alford ; Linden Ball ; Jerry Busby ; Nigel Davies ; Christos Efstratiou ; Joe Finney ; Marian Iszatt White ; Katharina Kinder
A Long-Term Evaluation of Sensing Modalities for Activity Recognition / Beth Logan ; Jennifer Healey ; Emmanuel Munguia Tapia ; Stephen Intille
Cooperative Augmentation of Smart Objects with Projector-Camera Systems / David Molyneaux ; Bernt Schiele
Author Index
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
10.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼