close
1.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
2.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
3.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
Adaptive Temporal Query Modeling / Maria-Hendrike Peetz
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
7.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
8.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
11.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
12.

電子ブック

EB
Frank Stajano, Jong-Suk Chae, David Hutchison, Takeo Kanade, Hyoung Joong Kim, Seong-Dong Kim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
13.

電子ブック

EB
Fernando Boavida, David Hutchison, Takeo Kanade, Yevgeni Koucheryavy, Saverio Mascolo, Edmundo Monteiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
14.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
15.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
16.

電子ブック

EB
David Hutchison, Antonis M. Hadjiantonis, Takeo Kanade, Burkhard Stiller
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
17.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
18.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
19.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
Preimage Attacks on Full-ARIRANG: Analysis of DM-Mode with Middle Feed-Forward / Chiaki Ohtahara ; Keita Okada ; Yu Sasaki ; Takeshi Shimoyama
Known-Key Distinguisher on Round-Reduced 3D Block Cipher / Le Dong ; Shuang Wu ; Jian Zou
Identity-Based Signcryption from Identity-Based Cryptography / Woomyo Lee ; Jae Woo Seo ; Pil Joong Lee
Order-Preserving Encryption for Non-uniformly Distributed Plaintexts / Dae Hyun Yum ; Duk Soo Kim ; Jin Seok Kim ; Sung Je Hong
Solving a DLP with Auxiliary Input with the ρ-Algorithm / Yumi Sakemi ; Tetsuya Izu ; Masahiko Takenaka ; Masaya Yasuda
A General NTRU-Like Framework for Constructing Lattice-Based Public-Key Cryptosystems / Yanbin Pan ; Yingpu Deng
A Peer-to-Peer Content-Distribution Scheme Resilient to Key Leakage / Tatsuyuki Matsushita ; Shinji Yamanaka ; Fangming Zhao
Rule Indexing for Efficient Intrusion Detection Systems / Boojoong Kang ; Hye Seon Kim ; Ji Su Yang ; Eul Gyu Im
Security Data Extraction from LEC 61850 ACSI Models for Network and System Management / Chung-Hyo Kim ; Moon-Seok Choi ; Seong-Ho Ju ; Yong-Hun Lim ; Jong-Mock Baek
Lightweight Middleware-Based ZigBee Security in Building Energy Management System / Insung Hong ; Jisung Byun ; Sehyun Park
A Map-Layer-Based Access Control Model / Yingjun Zhang ; Yang Zhang ; Kai Chen
Application Authentication for Hybrid Services of Broadcasting and Communications Networks / Go Ohtake ; Kazuto Ogawa
Accelerating Multiparty Computation by Efficient Random Number Bitwise-Sharing Protocols / Naoto Kiribuchi ; Ryo Kato ; Takashi Nishide ; Tsukasa Endo ; Hiroshi Yoshiura
Biometric Based Secure Communications without Pre-deployed Key for Biosensor Implanted in Body Sensor Networks / Kwantae Cho ; Dong Hoon Lee
Mutual Private Set Intersection with Linear Complexity / Myungsun Kim ; Hyung Tae Lee ; Jung Hee Cheon
Advanced Path Selection Method for Detection of False Reports in Statistical Filtering Based WSNs / Chung Il Sun ; Tae Ho Cho
Evaluating the Security and Privacy of Near Field Communication - Case: Public Transportation / Jarno Salonen
Exploiting Routing Tree Construction in CTP / Islam Hegazy ; Reihaneh Safavi-Naini ; Carey Williamson
Author Index
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
20.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
Decision Making as Optimization in Multi-robot Teams / Lynne E. Parker
Mstar: A New Two Level Interconnection Network / Nibedita Adhikari ; C.R. Tripathy
An Improved Scheme for False Data Filtering in Wireless Sensor Networks / C. Anudeep ; Manik Lai Das
Anonymity and Security in Mobile Ad Hoc Networks / Jhansi Vazram Bolla ; Valli Kumari Vatsavayi ; J. V.R. Murthy
Circle Formation by Asynchronous Fat Robots with Limited Visibility / Ayan Dutta ; Sruti Gan Chaudhuri ; Suparno Datta ; Krishnendu Mukhopadhyaya
High Concurrency for Continuously Evolving OODBMS / V. Geetha ; N. Sreenath
A New Scheme for IPv6 BD-TTCS Translator / J. Hanumanthappa ; D.H. Manjaiah
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives / Shankara Narayanan Krishna ; G. Lakshmi Manasa ; Ashish Chiplunkar
Parallelization of PageRank on Multicore Processors / Tarun Kumar ; Parikshit Sondhi ; Ankush Mittal
Cryptanalysis and Improvement of Sood et al.'s Dynamic ID-Based Authentication Scheme / Chun-Guang Ma ; Ding Wang ; Qi-Ming Zhang
An Algebra of Social Distance / Hrushikesha Mohanty
Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation / Anil Mundra ; Anish Mathuria ; Manik Lal Das
Strong Minimum Energy Minimum Interference Topology in Wireless Sensor Networks / Bhawani S. Panda ; D. Pushparaj Shetty ; Bijaya Kishor Bhatta
Distributed Processing and Internet Technology to Solve Challenges of Primary Healthcare in India / Aran Pande ; Sanjay Kimbahune ; Nandini Bondale ; Ratnendra Shinde ; Sunita Shanbhag
Packet Forwarding Strategies for Cooperation Enforcement in Mobile Ad Hoc Wireless Networks / Nidhi Patel ; Sanjay Srivastava
A Study on Scalability of Services and Privacy Issues in Cloud Computing / R.S.M. Lakshmi Patibandla ; Santhi Sri Kurra ; Nirupama Bhat Mundukur
A Recommendation Model for Handling Dynamics in User Profile / Chhavi Rana ; Sanjay Kumar Jain
Allocation of Slotted Deadline Sensitive Leases in Infrastructure Cloud / Dhairya Vora ; Sanjay Chaudhary ; Minal Bhise ; Vikas Kumar ; Gaurav Somani
Grids Security without Public Key Settings
Concurrent HCM for Authorizing Grid Resources / Mustafa Kaiiali ; Chillarige Raghavendra Rao ; Rajeev Wankar ; Aran Agarwal
Seamless Provision of Cloud Services Using Peer-to-Peer (P2P) Architecture / Snehal Masne ; Chillarige Raghvendra Rao ; Arun Agarwal
Distributed Fault Tolerant Estimation in Wireless Sensor Network Using Robust Diffusion Adaptation / Meenakshi Panda ; Pabitra M. Khilar
Robust Distributed Block LMS over WSN in Impulsive Noise / Trilochan Panigrahi ; Ganapati Panda ; B. Mulgrew
Resource Allocation Techniques Based on Availability and Movement Reliability for Mobile Cloud Computing / JiSu Park ; Heon Chang Yu ; Eun Young Lee
Transparency Computation for Work Groups / A.B. Sagar
A New Hierarchical Structure of Star Graphs and Applications / Wei Shi ; Feng Luo ; Pradip Srimani
Incremental Discovery of Sequential Pattern from Semi-structured Document Using Grammatical Inference / Ramesh Thakur ; Suresh Jain ; Narendra S. Chaudhari
Group Associated Petri Nets in Bio Computing / K. Thirusangu ; D. Gnanaraj Thomas ; B.J. Balamurugan
Concept Map Based Service Specification and Discovery / Supriya Vaddi
Semantic Search Using Constrained Spread Activation for Semantic Digital Library / Sandeep Vasani ; Mohit Pandey
Author Index
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
21.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
On Three-Dimensional Graph Drawing and Embedding / Sue Whitesides
Graph Algorithms I
Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression / Takeaki Uno ; Ryuhei Uehara ; Shin-ichi Nakano
Generalized Above Guarantee Vertex Cover and r-Partization / R. Krithika ; N.S. Narayanaswamy
Computational Geometry
Farthest Voronoi Diagrams under Travel Time Metrics / Sang Won Bae ; Kyung-Yong Chwa
Tight Bound for Farthest-Color Voronoi Diagrams of Line Segments
Range Aggregate Maximal Points in the Plane / Ananda Swarup Das ; Prosenjit Gupta ; Anil Kishore Kalavagattu ; Jatin Agarwal ; Kannan Srinathan ; Kishore Kothapalli
Approximation Algorithms
Approximating the Multi-level Bottleneck Assignment Problem / Trivikram Dokka ; Anastasia Kouvela ; Frits C.R. Spieksma
Reoptimization of the Maximum Weighted Pk-Free Subgraph Problem under Vertex Insertion / Nicolas Boria ; Jérôme Monnot ; Vangelis Th. Paschos
Comparing and Aggregating Partial Orders with Kendall Tau Distances / Franz J. Brandenburg ; Andreas Gleiβner ; Andreas Hofmeier
Graph Algorithms II
On the Round-Trip 1-Center and 1-Median Problems / Biing-Feng Wang ; Jhih-Hong Ye ; Pei-Jung Chen
Triangle-Free Outerplanar 3-Graphs Are Pairwise Compatibility Graphs / Sammi Abida Salma ; Md. Saidur Rahman
On Relaxing the Constraints in Pairwise Compatibility Graphs / Tiziana Calamoneri ; Rossella Petreschi ; Blerina Sinaimeri
Graph Drawing I
Universal Line-Sets for Drawing Planar 3-Trees / Md. Iqbal Hossain ; Debajyoti Mondal
On the Hardness of Point-Set Embeddability / Stephane Durocher
String and Data Structures
Linear Time Inference of Strings from Cover Arrays Using a Binary Alphabet / Tanaeem M. Moosa ; Sumaiya Nazeen ; M. Sohel Rahman ; Rezwana Reaz
Fat Heaps without Regular Counters / Amr Elmasry ; Jyrki Katajainen
Graph Drawing II
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Tamara Mchedlidze ; Joachim Spoerhase ; Alexander Wolff
Drawing Unordered Trees on k-Grids / Christian Bachmaier ; Marco Matzeder
Heuristics for the Maximum 2-layer RAC Subgraph Problem / Emilio Di Giacomo ; Walter Didimo ; Luca Grilli ; Giuseppe Liotta ; Salvatore A. Romeo
Games and Cryptography
Nash Equilibria with Minimum Potential in Undirected Broadcast Games / Yasushi Kawase ; Kazuhisa Makino
Calculating Average Joint, Hamming Weight for Minimal Weight Conversion of d Integers / Vorapong Suppakitpaisarn ; Masato Edahiro ; Hiroshi Imai
Author Index
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
22.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
23.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
24.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
25.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
26.

電子ブック

EB
Radu Prodan, Thomas Fahringer, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
27.

電子ブック

EB
David Hutchison, Spyros Denazis, Takeo Kanade, Laurent Lefevre, Gary J. Minden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
28.

電子ブック

EB
Koen Langendoen, David Hutchison, Takeo Kanade, K. G. Langendoen, Thiemo Voigt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
29.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
Adaptive Temporal Query Modeling / Maria-Hendrike Peetz
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
30.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
31.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
32.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
33.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
34.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
35.

電子ブック

EB
David Hutchison, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Ana Garcia, Anastasius Gavras, Takeo Kanade, Stamatis Karnourskos, Srdjan Krco, Man-Sze Li, Volkmar Lotz, Henning Müller, Elio Salvadori, Anne-Marie Sassen, Hans Schaffers, Burkhard Stiller, Georgios Tselentis, Petra Turkama, Theodore Zahariadis, Federico Álvarez
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Introduction Paper
Introduction: FIA Research Roadmap, Priorities for Future Internet Research / Nick Wainwright ; Nick Papanikolaou
Foundations
A Tussle Analysis for Information-Centric Networking Architectures / Alexandros Kostopoulos ; Ioanna Papafili ; Costas Kalogiros ; Tapio Levä ; Nan Zhang ; Dirk Trossen
A Systematic Approach for Closing the Research to Standardization Gap / Bernard Sales ; Emmanuel Darmois ; Dimitri Papadimitriou ; Didier Bourse
SOCIETIES: Where Pervasive Meets Social / Kevin Doolin ; Ioanna Roussaki ; Mark Roddy ; Nikos Kalatzis ; Elizabeth Papadopoulou ; Nick Taylor ; Nicolas Liampotis ; David McKitterick ; Edel Jennings ; Pavlos Kosmides
Cross-Disciplinary Lessons for the Future Internet / Anne-Marie Oostveen ; Isis Hjorth ; Brian Pickering ; Michael Boniface ; Eric T. Meyer ; Cristobal Cobo ; Ralph Schroeder
Design Principles for the Future Internet Architecture / Theodore Zahariadis ; Pedro Martinez-Julia ; Vito Morreale ; Francesco Torelli ; Piet Demeester
From Internet Architecture Research to Standards
An Integrated Development and Runtime Environment for the Future Internet / Amira Ben Hamida ; Fabio Kon ; Gustavo Ansaldi Oliva ; Carlos Eduardo Moreira Dos Santos ; Jean-Pierre Lorré ; Marco Autili ; Guglielmo De Angelis ; Apostolos Zarras ; Nikolaos Georgantas ; Valérie Issarny ; Antonia Bertolino
Visual Analytics: Towards Intelligent Interactive Internet and Security Solutions / James Davey ; Florian Mansmann ; Jörn Kohlhammer ; Daniel Keim
Applications
Towards a Trustworthy Service Marketplace for the Future Internet / Francesco Di Cerbo ; Michele Bezzi ; Samuel Paul Kaluvuri ; Antonino Sabetta ; Slim Trabelsi ; Volkmar Lotz
Using Future Internet Infrastructure and Smartphones for Mobility Trace Acquisition and Social Interactions Monitoring / Athanasios Antoniou ; Evangelos Theodoridis ; Ioannis Chatzigiannakis ; Georgios Mylonas
I-SEARCH: A Unified Framework for Multimodal Search and Retrieval / Apostolos Axenopoulos ; Petros Daras ; Sotiris Malassiotis ; Vincenzo Croce ; Marilena Lazzaro ; Jonas Etzold ; Paul Grimm ; Alberto Massari ; Antonio Camurri ; Thomas Steiner ; Dimitrios Tzovaras
Semantically Enriched Services to Understand the Need of Entities / Flávio de Oliveira Silva ; Alex Dias ; Caio Cásar Ferreira ; Eduardo De Souza Santos ; Fabíola Souza Fernandes Pereira ; Isabelle Cecília de Andrade ; João Henrique de Souza Pereira ; Lásaro Jonas Camargos ; Luiz Cláudio Theodora ; Maurício Amaral Gonçalves ; Rafael Pasquini ; Augusto José Venâncio Neto ; Pedro Frosi Rosa ; Sergio Takeo Kofuji
Supporting Content, Context and User Awareness in Future Internet Applications / Pawel Swiatek ; Krzysztof Juszczyszyn ; Krzysztof Brzostowski ; Jaroslaw Drapala ; Adam Grzech
Smart Cities
Towards a Narrative-Aware Design Framework for Smart Urban Environments / Lara Srivastava ; Athena Vakali
Urban Planning and Smart Cities: Interrelations and Reciprocities / Leonidas G. Anthopoulos
The Safety Transformation in the Future Internet Domain / Roberto Gimenez ; Diego Fuentes ; Emilio Martin ; Diego Gimenez ; Judith Pertejo ; Sofia Tsekeridou ; Roberto Gavazzi ; Mario Carabaño ; Sofia Virgos
Infrastructures
FSToolkit: Adopting Software Engineering Practices for Enabling Definitions of Federated Resource Infrastructures / Christos Tranoris ; Spyros Denazis
NOVI Tools and Algorithms for Federating Virtnalized Infrastructures / Leonidas Lymberopoulos ; Mary Grammatikou ; Martin Potts ; Paola Grosso ; Attila Fekete ; Bartosz Belter ; Mauro Campanella ; Vasilis Maglaris
Next Generation Flexible and Cognitive Heterogeneous Optical Networks: Supporting the Evolution to the Future Internet / Ioannis Tomkos ; Marianna Angelou ; Ramón J. Durán Barroso ; Ignacio de Miguel ; Rubén M. Lorenzo Toledo ; Domenico Siracusa ; Elio Salvadori ; Andrzej Tymecki ; Yabin Ye ; Idelfonso Tafur Monroy
A Tentative Design of a Future Internet Networking Domain Landscape / Marc Pallot ; Brigitte Trousse ; Bernard Senach
Author Index
Invited Introduction Paper
Introduction: FIA Research Roadmap, Priorities for Future Internet Research / Nick Wainwright ; Nick Papanikolaou
Foundations
36.

電子ブック

EB
David Hutchison, Takeo Kanade, Ralf Steinmetz, Klaus Wehrle
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
37.

電子ブック

EB
David Hutchison, Takeo Kanade, Victor Larios, Félix F. Ramos, Herwig Unger
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
38.

電子ブック

EB
David Hutchison, Miguel Castro, Takeo Kanade, Robbert Van Renesse
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
39.

電子ブック

EB
David Hutchison, Tomoya Enokido, Takeo Kanade, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
40.

電子ブック

EB
Gary J. Minden, Kenneth L. Calvert, David Hutchison, Takeo Kanade, Marcin Solarski, Miki Yamamoto, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
41.

電子ブック

EB
Wolfgang Meuter, Wolfgang De Meuter, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Application-Specific Models and Pointcuts Using a Logic Meta Language / Johan Brichau ; Andy Kellens ; Kris Gybels ; Kim Mens ; Robert Hirschfeld ; Theo D'Hondt
An Object-Oriented Approach for Context-Aware Applications / Andres Fortier ; Nicolas Canibano ; Julian Grigera ; Gustavo Rossi ; Silvia Gordillo
Unanticipated Partial Behavioral Reflection / David Rothlisberger ; Marcus Denker ; Eric Tanter
Stateful Traits / Alexandre Bergel ; Stephane Ducasse ; Oscar Nierstrasz ; Roel Wuyts
Scl: A Simple, Uniform and Operational Language for Component-Oriented Programming in Smalltalk / Luc Fabresse ; Christophe Dony ; Marianne Huchard
Let's Modularize the Data Model Specifications of the ObjectLens in VisualWorks/Smalltalk / Michael Prasse
Meta-driven Browsers / Colin Putney
Author Index
Application-Specific Models and Pointcuts Using a Logic Meta Language / Johan Brichau ; Andy Kellens ; Kris Gybels ; Kim Mens ; Robert Hirschfeld ; Theo D'Hondt
An Object-Oriented Approach for Context-Aware Applications / Andres Fortier ; Nicolas Canibano ; Julian Grigera ; Gustavo Rossi ; Silvia Gordillo
Unanticipated Partial Behavioral Reflection / David Rothlisberger ; Marcus Denker ; Eric Tanter
42.

電子ブック

EB
James Aspnes, Anish Arora, David Hutchison, Takeo Kanade, Samuel Madden, Christian Scheideler, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
43.

電子ブック

EB
Yann-Hang Lee, David Hutchison, Takeo Kanade, Heung-Nam Kim, Jong Kim, Sung Won Kim, Yongwan Park, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
44.

電子ブック

EB
Marcello M. Bonsangue, David Hutchison, Einar Broch Johnsen, Takeo Kanade, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
45.

電子ブック

EB
Steve Uhlig, Olivier Bonaventure, David Hutchison, Takeo Kanade, Konstantina Papagiannaki
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
46.

電子ブック

EB
Anthony LaMarca, David Hutchison, Takeo Kanade, Marc Langheinrich, Khai N. Truong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
47.

電子ブック

EB
Takeshi Okadome, David Hutchison, Takeo Kanade, Mounir Makhtari, Tatsuya Yamazaki
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
48.

電子ブック

EB
David Hutchison, Takeo Kanade, Randy H. Katz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
49.

電子ブック

EB
Miroslaw Malek, David Hutchison, Takeo Kanade, Aad Moorsel, Aad van Moorsel, Manfred Reitenspiess, Manfred Reitenspieß
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
50.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
Parametric Verification of Address Space Separation / Jason Franklin ; Sagar Chaki ; Anupam Datta ; Jonathan M. McCune ; Amit Vasudevan
Verification of Security Protocols with Lists: From Length One to Unbounded Length / Miriam Paiola
Privacy Supporting Cloud Computing: ConfiChair, a Case Study / Myrto Arapinis ; Sergiu Bursuc ; Mark Ryan
A Formal Analysis of the Norwegian E-voting Protocol / Cyrille Wiedling
Provably Repairing the ISO/TEC 9798 Standard for Entity Authentication / David Basin ; Cos Cremers ; Simon Meier
Security Proof with Dishonest Keys / Hubert Comon-Lundh ; Guillaume Scerri
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity / Mark D. Ryan
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker / Gergei Bana
Verified Indifferentiable Hashing into Elliptic Curves / Gilles Barthe ; Benjamin Grégoire ; Sylvain Heraud ; Federico Olmedo ; Santiago Zanella Béguelin
Provable De-anonymization of Large Datasets with Sparse Dimensions / Divya Sharma ; Arunesh Sinha
Revisiting Botnet Models and Their Implications for Takedown Strategies / Ting-Fang Yen ; Michael K. Reiter
A Game-Theoretic Analysis of Cooperation in Anonymity Networks / Mu Yang ; Vladimiro Sassone ; Sardaouna Hamadou
Deciding Selective Declassification of Petri Nets / Eike Best ; Philippe Darondeau
Enforceable Security Policies Revisited / Vincent Jugé ; Felix Klaedtke ; Eugen Zalinescu
Towards Incrementalization of Holistic Hyperproperties / Dimiter Milushev ; Dave Clarke
Type-Based Analysis of PKCS#11 Key Management / Matteo Centenaro ; Riccardo Focardi ; Flaminia L. Luccio
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow / Torben Amtoft ; Josiah Dodds ; Zhi Zhang ; Andrew Appel ; Lennart Beringer ; John Hatcliff ; Xinming Ou ; Andrew Cousino
PTaCL: A Language for Attribute-Based Access Control in Open Systems / Jason Crampton ; Charles Morisset
A Core Calculus for Provenance / Umut A. Acar ; Amal Ahmed ; James Cheney ; Roly Perera
Author Index
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
51.

電子ブック

EB
Bernadette Charron-Bost, David Hutchison, Takeo Kanade, Fernando Pedone, André Schiper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
52.

電子ブック

EB
Jorge Sá Silva, Fernando Boavida, David Hutchison, Takeo Kanade, Bhaskar Krishnamachari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Localization, Synchronization and Compression
Radio Interferometric Angle of Arrival Estimation / Isaac Amundson ; Janos Sallai ; Xenofon Koutsoukos ; Akos Ledeczi
Phoenix: An Epidemic Approach to Time Reconstruction / Jayant Gupchup ; Douglas Carlson ; Razvan Musaloiu-E ; Alex Szalay ; Andreas Terzis
Trimming the Tree: Tailoring Adaptive Huffman Coding to Wireless Sensor Networks / Andreas Reinhardt ; Delphine Christin ; Matthias Hollick ; Johannes Schmitt ; Parag S. Mogre ; Ralf Steinmetz
Networking - I
Querying Dynamic Wireless Sensor Networks with Non-revisiting Random Walks / Marco Zuniga ; Chen Avin ; Manfred Hauswirth
TARF: A Trust-Aware Routing Framework for Wireless Sensor Networks / Guoxing Zhan ; Weisong Shi ; Julia Deng
Low-Overhead Dynamic Multi-channel MAC for Wireless Sensor Networks / Joris Borms ; Kris Steenhaut ; Bart Lemmens
Exploiting Overlapping Channels for Minimum Power Configuration in Real-Time Sensor Networks / Xiaodong Wang ; Xiaorui Wang ; Guoliang Xing ; Yanjun Yao
New Directions
Privacy-Preserving Reconstruction of Multidimensional Data Maps in Vehicular Participatory Sensing / Nam Pham ; Raghu K. Ganti ; Yusuf S. Uddin ; Suman Nath ; Tarek Abdelzaher
Gathering Sensor Data in Home Networks with IPFIX / Thomas Kothmayr ; Corinna Schmitt ; Lothar Braun ; Georg Carle
Sensing for Stride Information of Sprinters / Lawrence Cheng ; Huiling Tan ; Gregor Kuntze ; Kyle Roskilly ; John Lowe ; Ian N. Bezodis ; Stephen Hailes ; Alan Wilson ; David G. Kerwin
Programming & Architecture
Wiselib: A Generic Algorithm Library for Heterogeneous Sensor Networks / Tobias Baumgartner ; Ioannis Chatzigiannakis ; Sándor Fekete ; Christos Koninis ; Alexander Kröller ; Apostolos Pyrgelis
Selective Reprogramming of Mobile Sensor Networks through Social Community Detection / Bence Pásztor ; Luca Mottola ; Cecilia Mascolo ; Gian Pietro Picco ; Stephen Ellwood ; David Macdonald
Improving Sensornet Performance by Separating System Configuration from System Logic / Niclas Finne ; Joakim Eriksson ; Nicolas Tsiftes ; Adam Dunkels ; Thiemo Voigt
Virtualising Testbeds to Support Large-Scale Reconfigurable Experimental Facilities / Maick Danckwardt ; Georgios Mylonas ; Dennis Pfisterer ; Barry Porter
Link Reliability
Mitigating the Effects of RF Interference through RSSI-Based Error Recovery / Jan-Hinrich Hauer ; Andreas Willig ; Adam Wolisz
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks / Nouha Baccour ; Anis Koubâa ; Habib Youssef ; Maissa Ben Jamâa ; Denis do Rosário ; Mário Alves ; Leandro B. Becker
On the Mechanisms and Effects of Calibrating RSSI Measurements for 802.15.4 Radios / Yin Chen
Making Sensornet MAC Protocols Robust against Interference / Carlo Alberto Boano ; Kay Römer ; Marco Antonio Zúñiga
Networking - II
MaxMAC: A Maximally Traffic-Adaptive MAC Protocol for Wireless Sensor Networks / Philipp Hurni ; Torsten Braun
Energy-Aware Sparse Approximation Technique (EAST) for Rechargeable Wireless Sensor Networks / Rajib Rana ; Wen Hu ; Chun Tung Chou
An Adaptive Strategy for Energy-Efficient Data Collection in Sparse Wireless Sensor Networks / Mario Di Francesco ; Kunal Shah ; Mohan Kumar ; Giuseppe Anastasi
Author Index
Localization, Synchronization and Compression
Radio Interferometric Angle of Arrival Estimation / Isaac Amundson ; Janos Sallai ; Xenofon Koutsoukos ; Akos Ledeczi
Phoenix: An Epidemic Approach to Time Reconstruction / Jayant Gupchup ; Douglas Carlson ; Razvan Musaloiu-E ; Alex Szalay ; Andreas Terzis
53.

電子ブック

EB
David Hutchison, Federico Alvarez, Susanna Avessta, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Anastasius Gavras, Takeo Kanade, Stamatis Karnouskos, Srdjan Krco, Dave Lambert, David Lambert, Man-Sze Li, Volkmar Lotz, Henning Müller, Henning Müller, Michael Nilsson, Hans Schaffers, Burkhard Stiller, Theodore Zahariadis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Future Internet Foundations: Architectural Issues / Part I:
Introduction to Part I
Towards a Future Internet Architecture / Theodore Zahariadis ; Dimitri Papadimitriou ; Hannes Tschofenig ; Stephan Haller ; Petros Daras ; George D. Stamoulis ; Manfred Hauswirth
Towards In-Network Clouds in Future Internet / Alex Galis ; Stuart Clayman ; Laurent Lefevre ; Andreas Fischer ; Hermann de Meer ; Javier Rubio-Loyola ; Joan Serrat ; Steven Davy
Flat Architectures: Towards Scalable Future Internet Mobility / László Bokor ; Zoltán Faigl ; Sándor Imre
Review and Designs of Federated Management in Future Internet Architectures / Martín Serrano ; Martin Johnsson ; Willie Donnelly
An Architectural Blueprint for a Real-World Internet / Alex Gluhak ; Srdjan Krco ; Nenad Stojanovic ; Martin Bauer ; Rasmus Nielsen ; Neeli Prasad ; Vinny Reynolds ; Oscar Corcho
Towards a RESTful Architecture for Managing a Global Distributed Interlinked Data-Content-Information Space / Maria Chiara Pettenati ; Lucia Ciofi ; Franco Pirri ; Dino Giuli
A Cognitive Future Internet Architecture / Marco Castrucci ; Francesco Delli Priscoli ; Antonio Pietrabissa ; Vincenzo Suraci
Title Model Ontology for Future Internet Networks / Joao Henrique de Souza Pereira ; Flavio de Oliveira Silva ; Edmo Lopes Filho ; Sergio Takeo Kofuji ; Pedro Frosi Rosa
Future Internet Foundations: Socio-economic Issues / Part II:
Introduction to Part II
Assessment of Economic Management of Overlay Traffic: Methodology and Results / Joanna Papafili ; Rafal Stankiewicz ; Simon Oechsner ; Konstantin Pussep ; Robert Wojcik ; Jerzy Domzal ; Dirk Staehle ; Frank Lehrieder ; Burkhard Stiller
Deployment and Adoption of Future Internet Protocols / Philip Eardley ; Michalis Kanakakis ; Alexandros Kostopoulos ; Tapio Levä ; Ken Richardson ; Henna Warma
An Approach to Investigating Socio-economic Tussles Arising from Building the Future Internet / Costas Kalogiros ; Costas Courcoubetis ; Michael Boniface ; Eric T. Meyer ; Martin Waldburger ; Daniel Field
Future Internet Foundations: Security and Trust / Part III:
Introduction to Part III
Security Design for an Inter-Domain Publish/Subscribe Architecture / Kari Visala ; Dmitrij Lagutin ; Sasu Tarkoma
Engineering Secure Future Internet Services / Wouter Joosen ; Javier Lopez ; Fabio Martinelli ; Fabio Massacci
Towards Formal Validation of Trust and Security in the Internet of Services / Roberto Carbone ; Marius Minea ; Sebastian Alexander Mödersheim ; Serena Elisa Ponta ; Mathieu Turuani ; Luca Viganò
Trustworthy Clouds Underpinning the Future Internet / Rüdiger Gloot ; Elmar Husmann ; Ahmad-Reza Sadeghi ; Matthias Schunter
Data Usage Control in the Future Internet Cloud / Michelle Bezzi ; Slim Trabelsi
Future Internet Foundations: Experiments and Experimental Design / Part IV:
Introduction to Part IV
A Use-case on testing Adaptive Admission Control and Resource Allocation Algorithms on the Federated Environment of Panlab / Christos Tranoris ; Pierpaolo Giacomin ; Spyros Denazis
Multipath Routing Slice Experiments in Federated Testbeds / Tanja Zseby ; Thomas Zinner ; Kurt Tutschku ; Yuval Shavitt ; Phuoc Tran-Gia ; Christian Schwartz ; Albert Rafetseder ; Christian Henke ; Carsten Schmoll
Testing End-to-End Self-Management in a Wireless Future internet Environment / Apostolos Kousaridas George Katsikas ; Nancy Alonistioti ; Esa Piri ; Marko Palola ; Jussi Makinen
Future Internet Areas: Network / Part V:
Introduction to Part V
Challenges for Enhanced Network Self-Manageability in the Scope of Future Internet Development / Ioannis P. Chochliouros ; Anastasia S. Spiliopoulou
Efficient Opportunistic Network Creation in the Context of Future Internet / Andreas Georgakopoulos ; Kostas Tsagkaris ; Vera Stavroulaki ; Panagiotis Demestichas
Bringing Optical Networks to the Cloud: An Architecture for a Sustainable Future Internet / Pascale Vicat-Blanc ; Sergi Figuerola ; Xiaomin Chen ; Giada Landi ; Eduard Escalona ; Chris Develder ; Anna Tzanakaki ; Yuri Demchenko ; Joan A. García Espín ; Jordi Ferrer ; Ester López ; Sébastien Soudan ; Jens Buysse ; Admela Jukan ; Nicola Ciulli ; Marc Brogle ; Luuk van Laarhoven ; Bartosz Belter ; Fabienne Anhalt ; Reza Nejabati ; Dimitra Simeonidou ; Canh Ngo ; Cees de Laat ; Matteo Biancani ; Michael Roth ; Pasquale Donadio ; Javier Jiménez ; Monika Antoniak-Lewandowska ; Ashwin Gumaste
Future Internet Areas: Services / Part VI:
Introduction to Part VI
Slas Empowering Services in the Future Internet / Joe Butler ; Juan Lambea ; Michael Nolan ; Wolfgang Theilmann ; Francesco Torelli ; Ramin Yahyapour ; Annamaria Chiasera ; Marco Pistore
Meeting Services and Networks in the Future Internet / Eduardo Santos ; Fabiola Pereira ; Joao Henrique Pereira ; Luiz Cláudio Theodoro ; Pedro Rosa
Fostering a Relationship between Linked Data and the Internet of Services / John Domingue ; Carlos Pedrinaci ; Maria Maleshkova ; Barry Norton ; Reto Krummenacher
Future Internet Areas: Content / Part VII:
Introduction to Part VII
Media Ecosystems: A Novel Approach for Content-Awareness in Future Networks / H. Koumaras ; D. Negru ; E. Borcoci ; V. Koumaras ; C. Troulos ; Y. Lapid ; E. Pallis ; M. Sidibé ; A. Pinto ; G. Gardikis ; G. Xilouris ; C. Timmerer
Scalable and Adaptable Media Coding Techniques for Future Internet / Naeem Ramzan ; Ebroul Izquierdo
Semantic Context Inference in Multimedia Search / Qianni Zhang
Future Internet Applications / Part VIII:
Introduction to Part VIII
Future Internet Enterprise Systems: A Flexible Architectural Approach for Innovation / Daniela Angelucci ; Michele Missikoff ; Francesco Taglino
Renewable Energy Provisioning for ICT Services in a Future Internet / Kim Khoa Nguyen ; Mohamed Cheriet ; Mathieu Lemay ; Bill St. Arnaud ; Victor Reijs ; Andrew Mackarel ; Pau Minoves ; Alin Pastrama ; Ward Van Heddeghem
Smart Cities and the Future Internet: Towards Cooperation Frameworks for Open Innovation / Hans Schaffers ; Nicos Komninos ; Marc Pallot ; Brigitte Trousse ; Michael Nilsson ; Alvaro Oliveira
Smart Cities at the Forefront of the Future Internet / José M. Hemández-Muñoz ; Jesús Bernat Vercher ; Luis Muñoz ; José A. Galache ; Mirko Presser ; Luis A. Hernández Gómez ; Jan Pettersson
Author Index
Future Internet Foundations: Architectural Issues / Part I:
Introduction to Part I
Towards a Future Internet Architecture / Theodore Zahariadis ; Dimitri Papadimitriou ; Hannes Tschofenig ; Stephan Haller ; Petros Daras ; George D. Stamoulis ; Manfred Hauswirth
54.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
55.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
KLEIN: A New Family of Lightweight Block Ciphers / Zheng Gong ; Svetla Nikova ; Yee Wei Law
The Hummingbird-2 Lightweight Authenticated Encryption Algorithm / Daniel Engels ; Markka- Juhani O. Saarinen ; Peter Schweitzer ; Eric M. Smith
Elliptic Curve Cryptography on the WISP UHF RFID Tag / Christian Pendl ; Markus Pelnar ; Michael Hutter
Exploring the Feasibility of Low Cost Fault Injection Attacks on Sub-threshold Devices through an Example of a 65nm AES Implementation / Alessandro Barenghi ; Cédric Hocquet ; David Bol ; François-Xavier Standaert ; Francesco Regazzoni ; Israel Koren
Side-Channel Analysis of Cryptographic RFIDs with Analog Demodulation / Timo Kasper ; David Oswald ; Christof Paar
A Novel RFID Distance Bounding Protocol Based on Physically Unclonable Functions / Süleyman Kardaş ; Mehmet Sabir Kiraz ; Muhammed Ali Bingöl ; Hüseyin Demirci
Security Analysis of Two Distance-Bounding Protocols / Mohammad Reza Sohizadeh Abyaneh
An Automatic, Time-Based, Secure Pairing Protocol for Passive RFID / George T. Amariucai ; Clifford Bergman ; Yong Guan
BUPLE: Securing Passive RFID Communication through Physical Layer Enhancements / Qi Chai ; Guang Gong
A Scalable RFID Authentication Protocol Supporting Ownership Transfer and Controlled Delegation / Albert Fernàndez-Mir ; Rolando Trujillo-Rasua ; Jordi Castellà-Roca ; Josep Domingo-Ferrer
ROTIV: RFID Ownership Transfer with Issuer Verification / Kaoutar Elkhiyaoui ; Erik-Oliver Blass ; Refik Molva
Hierarchical ECC-Based RFID Authentication Protocol / Lejla Batina ; Stefaan Seys ; Dave Singelée ; Ingrid Verbauwhede
Author Index
KLEIN: A New Family of Lightweight Block Ciphers / Zheng Gong ; Svetla Nikova ; Yee Wei Law
The Hummingbird-2 Lightweight Authenticated Encryption Algorithm / Daniel Engels ; Markka- Juhani O. Saarinen ; Peter Schweitzer ; Eric M. Smith
Elliptic Curve Cryptography on the WISP UHF RFID Tag / Christian Pendl ; Markus Pelnar ; Michael Hutter
56.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
57.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
58.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
59.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
60.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
61.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
62.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
63.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
64.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
65.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
66.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
67.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
68.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
69.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
70.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge / Mikhail Aizatulin ; François Dupressoir ; Andrew D. Gordon ; Jan Jülrjens
Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation / Willem De Groef ; Dominique Devriese ; Frank Piessens
Differential Privacy: On the Trade-Off between Utility and Information Leakage / Mário S. Alvim ; Miguel E. Andrés ; Konstantinos Chatzikokolakis ; Pierpaolo Degano ; Catuscia Palamidessi
On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow / Luciano Bello ; Eduardo Bonelli
Min-Entropy Leakage of Channels in Cascade / Barbara Espinoza ; Geoffrey Smith
Secure Recharge of Disposable RFID Tickets / Riccardo Focardi ; Flaminia L. Luccio
Avoiding Delegation Subterfuge Using Linked Local Permission Names / Simon N. Foley ; Samane Abdi
Verifiable Control Flow Policies for Java Bytecode / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Concepts and Proofs for Configuring PKCS#11 / Sibylle Fröschle ; Nils Sommer
Service Automata / Richard Gay ; Heiko Mantel ; Barbara Sprick
Analysing Applications Layered on Unilaterally Authenticating Protocols / Thomas Gibson-Robinson ; Gavin Lowe
Type-Based Enforcement of Secure Programming Guidelines û Code Injection Prevention at SAP / Robert Grabowski ; Martin Hofmann ; Keqin Li
TBA: A Hybrid of Logic and Extensional Access Control Systems / Timothy L. Hinrichs ; William C. Garrison III ; Adam J. Lee ; Skip Saunders ; John C. Mitchell
Diffie-Hellman without Difficulty / Sebastian Mödersheim
Is Cryptyc Able to Detect Insider Attacks? / Behnam Sattarzadeh ; Mehran S. Fallah
Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes / Ben Smyth ; Mark Ryan ; Liqun Chen
Risk Balance in Optimistic Non-repudiation Protocols / Mohammad Torabi Dashti ; Jan Cederquist ; Yanjing Wang
Author Index
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge / Mikhail Aizatulin ; François Dupressoir ; Andrew D. Gordon ; Jan Jülrjens
Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation / Willem De Groef ; Dominique Devriese ; Frank Piessens
Differential Privacy: On the Trade-Off between Utility and Information Leakage / Mário S. Alvim ; Miguel E. Andrés ; Konstantinos Chatzikokolakis ; Pierpaolo Degano ; Catuscia Palamidessi
71.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
72.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
73.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
74.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
75.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
76.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
77.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
78.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
79.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
80.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
81.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
82.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
83.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
84.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
85.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
86.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
87.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
88.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
89.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
90.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
91.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
92.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
93.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
94.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
95.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
96.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
97.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
98.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
99.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
100.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼