close
1.

電子ブック

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
2.

電子ブック

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
3.

電子ブック

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
4.

電子ブック

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
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, 2010
所蔵情報: loading…
目次情報: 続きを見る
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha
Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen
Theoretical Foundations of Programming Languages
Adding Dynamic Types to C# / Gavin Bierman ; Erik Meijer ; Mads Torgersen
Essential AOP: The A Calculus / Bruno De Fraine ; Erik Ernst ; Mario Südholt
The Essence of JavaScript / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Formal Methods
Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden ; Cristiano Calcagno ; Bertrand Meyer
Verifying Generics and Delegates / Kasper Svendsen ; Lars Birkedal ; Matthew Parkinson
Recency Types for Analyzing Scripting Languages / Philip Heidegger ; Peter Thiemann
Concurrency Models in Java
Correct Refactoring of Concurrent Java Code / Max Schäfer ; Julian Dolby ; Manu Sridharan ; Emina Torlak ; Frank Tip
Programming Coordinated Behavior in Java / David Harel ; Assaf Marron ; Gera Weiss
JCoBox: Generalizing Active Objects to Concurrent Components / Jan Schäfer ; Arnd Poetzsch-Heffter
Special Session: Empirical Methods
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg
Types Systems
A Type System for Data-Centric Synchronization / Mandana Vaziri ; Christian Hammer ; Jan Vitek
Type-Safe Eventful Sessions in Java / Raymond Hu ; Dimitrios Kouzapas ; Olivier Pernet ; Nobuko Yoshida ; Kohei Honda
Capabilities for Uniqueness and Borrowing / Philipp Haller ; Martin Odersky
Secret Valley / Erik ErnestKeynote 2:
Language Design and Implementation
Embedding Languages without Breaking Tools / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Modules as Objects in Newspeak / Gilad Bracha ; Peter von der Ahé ; Vassili Bykov ; Yaron Kashai ; William Maddox ; Eliot Miranda
Inline Caching Meets Quickening / Stefan Brunthaler
Concurrency Abstrations
Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski ; Chuck Sakoda ; Ken Birman
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens
Concurrent Abstract Predicates / Thomas Dinsdale-Young ; Mike Dodds ; Philippa Gardner ; Matthew J. Parkinson ; Viktor Vafeiadis
Experiences
The Use of Overloading in Java Programs / Joseph (Yossi) Gil ; Keren Lenz
Falling Back on Executable Specifications / Hesam Samimi ; Ei Darli Aung ; Todd Millstein
Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem ; Sarfraz Khurshid
Author Index
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
7.

電子ブック

EB
Robyn Taylor, Pierre Boulanger, Takeo Kanade, Antonio Krüger, Patrick Olivier, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Sketch Based Volumetric Clouds / Marc Stiver ; Andrew Baker ; Adam Runions ; Faramarz SamavatiSketching 1:
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software / Salman Cheema ; Joseph J. La Viola Jr.
A Sketch-and-Grow interface for Botanical Tree Modeling / Nordin Zakaria
Animated Volume Texture Mapping for Complex Scene Generation and Editing / Rui Shen
Physics and Simulation
A Novel Three-dimensional Collaborative Online Platform for Bio-molecular Modeling / Kugamoorthy Gajananan ; Arturo Nakasone ; Andreas Hildebrandt ; Helmut Prendinger
The Effects of Finger-Walking in Place (FWIP) for Spatial Knowledge Acquisition in Virtual Environments / Ji-Sun Kim ; Denis Gracanin ; Krešimir Matkovic ; Francis Quek
Interactive Design and Simulation of Net Sculptures / Grigore D. Pintilie ; Peter Heppel ; Janet Echelman
A Cross-Platform Framework for Physics-Based Collaborative Augmented Reality / Damon Shing-Min Liu ; Chun-Hao Yung ; Cheng-Hsuan Chung
Accurately Measuring the Satisfaction of Visual Properties in Virtual Camera Control / Roberto Ranon ; Marc Christie ; Tommaso UrliCamera Planning 1:
VEX-CMS: A Tool to Design Virtual Exhibitions and Walkthroughs That Integrates Automatic Camera Control Capabilities / Luca Chittaro ; Lucio Ieronutti
Automatic Speed Graph Generation for Predefined Camera Paths / Ferran Argelaguet ; Carlos Andujar
Example-Based Automatic Font Generation / Rapee Suveeranont ; Takeo IgarashiSketching 2:
Sketch-Based Interfaces: Exploiting Spatio-temporal Context for Automatic Stroke Grouping / Lutz Dickmann ; Tobias Lensing ; Robert Porzel ; Rainer Malaka ; Christoph Lischka
A Method for Reconstructing Sketched Polyhedral Shapes with Rounds and Fillets / Pedro Company ; Peter Ashley ; Clifford Varley
Pressure-based 3D Curve Drawing / Chan-Yet Lai
Imaging
An Interactive Design System for Water Flow Stains on Outdoor Images / Yuki Endo ; Yoshihiro Kanamori ; Jun Mitani ; Yukio Fukui
Automated Hedcut Illustration Using Isophotes / Sung Ye Kim ; Insoo Woo ; Ross Maciejewski ; David S. Ebert
Visual Analytics
Articulate: A Semi-Automated Model for Translating Natural Language Queries into Meaningful Visualizations / Yiwen Sun ; Jason Leigh ; Andrew Johnson ; Sangyoon Lee
Visual Analysis of Time-Motion in Basketball Games / Roberto Therón ; Laura Casares
Event Line View: Interactive Visual Analysis of Irregular Time-Dependent Data / Alan Lez ; Andreas Ammer ; Werner Purgathofer
Automatic Blending of Multiple Perspective Views for Aesthetic Composition / Kairi Mashio ; Kenichi Yoshida ; Shigeo ; Shigeo Takahashi ; Masato OkadaCamera Planning 2:
Focus and Context in Mixed Reality by Modulating First Order Salient Features / Erick Mendez ; Steven Feiner ; Dieter Schmalstieg
An Interactive Interface for Lighting-by-Example / Hai Nam HA ; Christophe Lino ; Patrick Olivier
Art
Stroking a Cymbidium / Young-Mi Kim ; Jong-Soo Choi
WAVO: An Interactive Ball to Express Light Waves with Wave Equation / Kazushi Mukaiyama
Over Watch: Real-Time Narrative Visuals from Live Performance / Guy Schofield ; Rached Casey
Sticking Point / Tom Schofield
Phantasmagoria: Composing Interactive Content for the humanaquarium / Robyn Taylor ; John Shearer ; Pierre Boulanger ; Jayne Wallace
Self Portraits with Mandelbrot Genetics / Jeffrey Ventrella
Smart Graphics - Art 101: Learning to Draw through Sketch Recognition / Tracy Hammond ; Manoj Prasad ; Daniel Dixon
Colour Vision-Controlling Light Patterns through Postures / Alexander Wiethoff ; Andreas Butz
Interaction with a Virtual Character through Performance Based Animation / Qion Wu ; Maryia Kazakevich
Author Index
Sketch Based Volumetric Clouds / Marc Stiver ; Andrew Baker ; Adam Runions ; Faramarz SamavatiSketching 1:
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software / Salman Cheema ; Joseph J. La Viola Jr.
A Sketch-and-Grow interface for Botanical Tree Modeling / Nordin Zakaria
8.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
9.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a:
Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra
An Observer-Based Notion of Model Inheritance / Thomas Kühne
MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai
Model Migration and Incremental Manipulation / Session 1b:
A Comparison of Model Migration Tools / Louis M. Rose ; Markus Herrmannsdoerfer ; James R. Williams ; Dimitrios S. Kolovos ; Kelly Garcés ; Richard F. Paige ; Fiona A. C. Polack
Incremental Evaluation of Model Queries over EMF Models / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró ; András Balogh ; Zoltán Balogh ; András Ökrös
Active Operations on Collections / Olivier Beaudoux ; Arnaud Blouin ; Olivier Barais ; Jean-Marc Jézéquel
Modeling Model Transformations / Session 1c:
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a:
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b:
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c:
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques / Arne Schramm ; André Preußner ; Matthias Heinrich ; Lars Vogel
Model-Driven Quality Assurance / Session 3a:
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study / Andrew Diniz da Costa ; Viviane Torres da Silva ; Alessandro Garcia ; Carlos José Pereira de Lucena
Automatically Discovering Properties That Specify the Latent Behavior of UML Models / Heather J. Goldsby ; Betty H.C. Cheng
Managing Variability / Session 3b:
Towards a Semantics of Activity Diagrams with Semantic Variation Points / Hans Grönniger ; Dirk Reiß ; Bernhard Rumpe
An AADL-Based Approach to Variability Modeling of Automotive Control Systems / Shin'ichi Shiraishi
Extending Variability for OCL Interpretation / Claas Wilke ; Michael Thiele ; Christian Wende
Multi-Modeling Approaches / Session 3c:
Inter-Modelling: From Theory to Practice
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
A Systematic Review on the Definition of UML Profiles / Jesús Pardillo
Author Index
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a:
10.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
Transformation-Based Parallelization of Request-Processing Applications / Taylor L. Riché ; Harrick M. Vin ; Don Batory
Model Driven Orchestration: Design for Service Compatibility / Georg Grossmann ; Michael Schrefl ; Markus Stumptner
Embedded Software Development with Projectional Language Workbenches / Markus Voelter
(De)Composition and Refactoring / Session 4b:
Concern-Based (de)composition of Model-Driven Software Development Processes / Jendrik Johannes ; Uwe Aßmann
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling / Brice Morin ; Jacques Klein ; Jörg Kienzle ; Jean-Marc Jézéquel
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c:
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a:
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
Requirements Engineering / Session 5b:
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering / Daniel Méndez Fernández ; Birgit Penzenstadler ; Marco Kuhrmann ; Manfred Broy
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c:
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a:
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
Early Deviation Detection in Modeling Activities of MDE Processes / Marcos Aurélio Almeida da Silva ; Reda Bendraou ; Xavier Blanc ; Marie-Pierre Gervais
Artifact or Process Guidance, an Empirical Study / Alix Mougenot ; Jacques Robin
Model-Driven Engineering in Practice / Session 6b:
Scaling Up Model Driven Engineering - Experience and Lessons Learnt / Vinay Kulkarni ; Sreedhar Reddy ; Asha Rajbhoj
Mod4J: A Qualitative Case Study of Model-Driven Software Development / Vincent Lussenburg ; Tijs van der Storm ; Jurgen Vinju ; Jos Warmer
Modeling Issues: A Survival Guide for a Non-expert Modeler / Emilio Rodriguez-Priego ; Francisco J. García-Izquierdo ; Ángel Luis Rubio
Modeling Architecture / Session 6c:
Monarch: Model-Based Development of Software Architectures / Hamid Bagheri ; Kevin Sullivan
Model-to-Metamodel Transformation for the Development of Component-Based Systems / Gerd Kainz ; Christian Buckl ; Stephan Sommer ; Alois Knoll
Architectural Descriptions as Boundary Objects in System and Design Work / Lars Pareto ; Peter Eriksson ; Staffan Ehnebom
Author Index
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
11.

電子ブック

EB
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
12.

電子ブック

EB
Jeffrey Parsons, Takeo Kanade, Motoshi Saeki, Peretz Shoval, Yair Wand, Carson Woo, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Adaptation in Open Systems: Giving Interaction Its Rightful Place / Fabiano Dalpiaz ; Amit K. Chopra ; Paolo Giorgini ; John Mylopoulos
Requirements Engineering and Modeling 1
Information Use in Solving a Well-Structured Is Problem: The Roles of IS and Application Domain Knowledge / Vijay Khatri ; Iris Vessey
Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach / Jennifer Horkoff ; Eric Yu
The Model Role Level - A Vision / Rick Salay
Requirements Engineering and Modeling 2
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain / Alberto Siena ; Giampaolo Armellin ; Gianluca Mameli ; Anna Perini ; Angelo Susi
Decision-Making Ontology for Information System Engineering / Elena Kornyshova ; Rébecca Deneckère
Reasoning with Optional and Preferred Requirements / Neil A. Ernst ; Alex Borgida ; Ivan J. Jureta
Data Evolution and Adaptation
A Conceptual Approach to Database Applications Evolution / Anthony Cleve ; Anne-France Brogneaux ; Jean-Luc Hainaut
Automated Co-evolution of Conceptual Models, Physical Databases, and Mappings / James F. Terwilliger ; Philip A. Bernstein ; Adi Unnithan
A SchemaGuide for Accelerating the View Adaptation Process / Jun Liu ; Mark Roantree ; Zohra Bellahsene
Operations on Spatio-temporal Data
Complexity of Reasoning over Temporal Data Models / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Using Preaggregation to Speed Up Scaling Operations on Massive Spatio-temporal Data / Angelica Garcia Gutierrez ; Peter Baumann
Situation Predication Nets: Playing the Token Game for Ontology-Driven Situation Awareness / Norbert Baumgartner ; Wolfgang Gottesheim ; Stefan Mitsch ; Werner Retschitzegger ; Wieland Schwinger
Model Abstraction, Feature Modeling, and Filtering
Granularity in Conceptual Modelling: Application to Metamodels / Brain Henderson-Sellers ; Cesar Gonzalez-Perez
Feature Assembly: A New Feature Modeling Technique / Lamia Abo Zaid ; Frederic Kleinermann ; Olga De Troyer
A Method for Filtering Large Conceptual Schemas / Antonio Villegas ; Antoni Olivé
Integration and Composition
Measuring the Quality of an Integrated Schema / Fabien Duchateau
Contextual Factors in Database Integration-A Delphi Study / Joerg Evermann
Building Dynamic Models of Service Compositions with Simulation of Provision Resources / Dragan Ivanovic ; Martin Treiber ; Manuel Carro ; Schahram Dustdar
Consistency, Satisfiability and Compliance Checking
Maintaining Consistency of Probabilistic Databases: A Linear Programming Approach / You Wu ; Wilfred Ng
Full Satisfiability of UML Class Diagrams / Diego Calvanese ; Angélica-Ibáñez-García
On Enabling Data-Aware Compliance Checking of Business Process Models / David Knuplesch ; Linh Thao Ly ; Stefanie Rinderle-Ma ; Holger Pfeifer ; Peter Dadam
Using Ontologies for Query Answering
Query Answering under Expressive Entity-Relationship Schemata / Andrea Calì ; Georg Gottlob ; Andreas Pieris
SQOWL: Type Inference in an RDBMS / Peter J. McBrien ; Nikos Rizopoulos ; Andrew C. Smith
Querying Databases with Taxomies / David Martinenghi ; Riccardo Torlone
Document and Query Processing
What Is Wrong with Digital Documents? A Conceptual Model for Structural Cross-Media Content Composition and Reuse / Beat Signer
Classification of Index Partitions to Boost XML Query Performance / Gerard Marks ; John Murphy
Specifying Aggregation Functions in Multidimensional Models with OCL / Jordi Cabot ; Jose-Norberto Mazón ; Jesús Pardillo ; Juan Trujillo
Demos and Posters
The CARD System / Faiz Currim ; Nicholas Neidig ; Alankar Kampoowale ; Girish Mhatre
AuRUS: Automated Reasoning on UML/OCL Schemas / Anna Queralt ; Guillem Rull ; Ernest Teniente ; Carles Farré ; Toni Urpí
How the Structuring of Domain Knowledge Helps Casual Process Modelers / Jakob Pinggera ; Stefan Zugal ; Barbara Weber ; Dirk Fahland ; Matthias Weidlich ; Hajo A. Reijers
SPEED: A Semantics-Based Pipeline for Economic Event Detection / Frederik Hogenboom ; Alexander Hogenboom ; Flavius Frasincar ; Uzay Kaymak ; Otto van der Meer ; Kim Schouten ; Damir Vandic
Prediction of Business Process Model Quality Based on Structural Metrics / Laura Sánchez-González ; Félix García ; Francisco Ruiz ; Mario Piattini
Modelling Functional Requirements in Spatial Design / Mehul Bhatt ; Joana Hois ; Oliver Kutz ; Frank Dylla
Business Processes Contextualisation via Context Analysis / Jose Luis de la Vara ; Raian Ali ; Juan Sánchez
A Generic Perspective Model for the Generation of Business Process Views / Horst Pichler ; Johann Eder
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture / Hugo Estrada ; Alicia Martínez ; Oscar Pastor
Author Index
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
13.

電子ブック

EB
Ranjit Jhala, Takeo Kanade, David Schmidt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
14.

電子ブック

EB
Tansu Alpcan, John S. Baras, Levente Buttyán, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Security Investments and Planning
Design of Network Topology in an Adversarial Environment / Assane Gueye ; Jean C. Walrand ; Venkat Anantharam
Optimal Information Security Investment with Penetration Testing / Rainer Böhme ; Márk Félegyházi
Privacy and Anonymity
Tracking Games in Mobile Networks / Mathias Humbert ; Mohammad Hossein Manshaei ; Julien Freudiger ; Jean-Pierre Hubaux
gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor's Anonymity / Nan Zhang ; Wei Yu ; Xinwen Fu ; Sajal K. Das
When Do Firms Invest in Privacy-Preserving Technologies? / Murat Kantarcioglu ; Alain Bensoussan ; SingRu(Celine) Hoe
Adversarial and Robust Control
Adversarial Control in a Delay Tolerant Network / Eitan Altman ; Tamer Basar ; Veeraruna Kavitha
Security Interdependencies for Networked Control Systems with Identical Agents / Saurabh Amin ; Galina A. Schwartz ; S. Shankar Sastry
Robust Control in Sparse Mobile Ad-Hoc Networks / Alireza Aram ; Corinne Touati ; Saswati Sarkar
Network Security and Botnets
A Game-Theoretical Approach for Finding Optimal Strategies in a Botnet Defense Model
ISPs and Ad Networks against Botnet Ad Fraud / Nevena Vratonjic ; Maxim Raya
A Localization Game in Wireless Sensor Networks / Nicola Gatti ; Mattia Monga ; Sabrina Sicari
Effective Multimodel Anomaly Detection Using Cooperative Negotiation / Alberto Volpatto ; Federico Maggi ; Stefano Zanero
Authorization and Authentication
The Password Game: Negative Externalities from Weak Password Practices / Sören Preibusch ; Joseph Bonneau
Towards a Game Theoretic Authorisation Model / Farzad Salim ; Jason Reid ; Uwe Dulleck ; Ed Dawson
Theory and Algorithms for Security
Disperse or Unite? A Mathematical Model of Coordinated Attack / Steve Alpern ; Robert Fokkink ; Joram op den Kelder ; Tom Lidbetter
Uncertainty in Interdependent Security Games / Benjamin Johnson ; Jens Grossklags ; Nicolas Christin ; John Chuang
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games are Equivalent / Barbara Kordy ; Sjouke Mauw ; Matthijs Melissen ; Patrick Schweitzer
Methods and Algorithms for Infinite Bayesian Stackelberg Security Games (Extended Abstract) / Christopher Kiekintveld ; Janusz Marecki ; Milind Tambe
Author Index
Security Investments and Planning
Design of Network Topology in an Adversarial Environment / Assane Gueye ; Jean C. Walrand ; Venkat Anantharam
Optimal Information Security Investment with Penetration Testing / Rainer Böhme ; Márk Félegyházi
15.

電子ブック

EB
Joseph A. Konstan, Ricardo Conejo, Takeo Kanade, José L. Marzo, Nuria Oliver, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
16.

電子ブック

EB
Pascal Felber, Takeo Kanade, Romain Rouvoy, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
Kalimucho: Contextual Deployment for QoS Management / Christine Louberry ; Philippe Roose ; Marc Dalmau
Providing Context-Aware Adaptations Based on a Semantic Model / Guido Söldner ; Rüdiger Kapitza ; René Meier
Towards QoC-Aware Location-Based Services / Sophie Chabridon ; Cao-Cuong Ngo ; Zied Abid ; Denis Conan ; Chantal Taconet ; Alain Ozanne
Session-Based Role Programming for the Design of Advanced Telephony Applications / Gilles Vanwormhoudt ; Areski Flissi
Architecturing Conflict Handling of Pervasive Computing Resources / Henner Jakob ; Charles Consel ; Nicolas Loriant
Passive Network-Awareness for Dynamic Resource-Constrained Networks / Agoston Petz ; Taesoo Jun ; Nirmalya Roy ; Chien-Liang Fok ; Christine Julien
Utility Driven Elastic Services / Pablo Chacin ; Leando Navarro
Improving the Scalability of Cloud-Based Resilient Database Servers / Luís Soares ; José Pereira
An Extensible Framework for Dynamic Market-Based Service Selection and Business Process Execution / Ante Vilenica ; Kristof Hamann ; Winfried Lamersdorf ; Jan Sudeikat ; Wolfgang Renz
Beddernet: Application-Level Platform-Agnostic Manets / Rasmus Sidorovs Gohs ; Sigurður Rafn Gunnarsson ; Arne John Glenstrup
The Role of Ontologies in Enabling Dynamic Interoperability / Vatsala Nundloll ; Paul Grace ; Gordon S. Blair
A Step towards Making Local and Remote Desktop Applications Interoperable with High-Resolution Tiled Display Walls / Tor-Magne Stien Hagen ; Daniel Stødle ; John Markus Bjørndalen ; Otto Anshus
Replica Placement in Peer-Assisted Clouds: An Economic Approach / Ahmed Ali-Eldin ; Sameh El-Ansary
A Correlation-Aware Data Placement Strategy for Key-Value Stores / Ricardo Vilaça ; Rui Oliveira
Experience Report: Trading Dependability, Performance, Security through Temporal Decoupling / Lorenz Froihofer ; Guenther Starnberger ; Karl M. Goeschka
Cooperative Repair of Wireless Broadcasts / Aaron Harwood ; Spyros Voulgaris ; Maarten van Steen
ScoreTree: A Decentralised Framework for Credibility Management of User-Generated Content / Yang Liao ; Kotagiri Ramaraohanarao
Worldwide Consensus / Francisco Maia ; Miguel Matos
Transparent Scalability with Clustering for Java e-Science Applications / Pedro Sampaio ; Paulo Ferreira ; Luís Veiga
CassMail: A Scalable, Highly-Available, and Rapidly-Prototyped E-Mail Service / Lazaros Koromilas ; Kostas Magoutis
Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures / João Morais ; João Nuno Silva
Author Index
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
17.

電子ブック

EB
Frank Alexander Kraemer, Peter Herrmann, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
18.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
19.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
20.

電子ブック

EB
Mira Mezini, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
21.

電子ブック

EB
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
22.

電子ブック

EB
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
23.

電子ブック

EB
Frank Eliassen, Takeo Kanade, Rüdiger Kapitza, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Grid Computing
Validating Evolutionary Algorithms on Volunteer Computing Grids / Travis Desell ; Malik Magdon-Ismail ; Boleslaw Szymanski ; Carlos A. Varela ; Heidi Newberg ; David P. Anderson
A Reconfiguration Language for Virtualized Grid Infrastructures / Rémy Pottier ; Marc Léger ; Jean-Marc Menaud
Sensor Networks
Distributed Object-Oriented Programming with RFID Technology / Andoni Lombide Carreton ; Kevin Pinte ; Wolfgang De Meuter
WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet / Jeisa P.O. Domingues ; Antonio V.L. Damaso ; Nelson S. Rosa
Context Awareness
Structured Context Prediction: A Generic Approach / Matthias Meiners ; Sonja Zaplata ; Winfried Lamersdorf
Service Orientation
Experiments in Model Driven Composition of User Interfaces / Audrey Occello ; Cedric Joffroy ; Anne-Marie Dery-Pinna
Service Discovery in Ubiquitous Feedback Control Loops / Lionel Seinturier ; Pierre Carton
Distributed Fault Tolerant Controllers
QoS Self-configuring Failure Detectors for Distributed Systems / Alirio Santos de Sá ; Raimundo José de Araújo Macêdo
Cloud and Cluster Computing / Leonardo Mostarda ; Rudi Ball ; Naranker Dulay
Automatic Software Deployment in the Azure Cloud / Jacek Cala ; Paul Watson
G2CL: A Generic Group Communication Layer for Clustered Applications / Leandro Sales ; Henrique Teófilo ; Nabor C. Mendonça
Adaptive and (Re)configurable Systems
Dynamic Composition of Cross-Organizational Features in Distributed Software Systems / Stefan Walraven ; Bert Lagaisse ; Eddy Truyen ; Wouter Joosen
Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices
Collaborative Systems
gradienTv. Market-Based P2P Live Media Streaming on the Gradient Overlay / Amir H. Payberah ; Jim Dowling ; Fatemeh Rahimian ; Seif Haridi
Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search / Pascal Felber ; Peter Kropf ; Lorenzo Leonini ; Toan Luu ; Martin Rajman ; Etienne Riviére
Author Index
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
24.

電子ブック

EB
Rajmohan Rajaraman, Adam Dunkels, Takeo Kanade, Thomas Moscibroda, Anna Scaglione, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks / James Horey ; Eric Nelson ; Arthur B. Maccabe
Optimized Java Binary and Virtual Machine for Tiny Motes / Faisal Aslam ; Luminous Fennell ; Christian Schindelhauer ; Peter Thiemann ; Gidon Ernst ; Elmar Haussmann, Stefan Rührup ; Zastash Afzal Uzmi
ZeroCal: Automatic MAC Protocol Calibration / Andreas Meier ; Matthias Woehrle ; Marco Zimmerling ; Lothar Thiele
Programming Sensor Networks Using REMORA Component Model / Amirhosein Taherkordi ; Frédéric Loiret ; Azadeh Abdolrazaghi ; Romain Rouvoy ; Quan Le-Trung ; Frank Eliassen
Stateful Mobile Modules for Sensor Networks / Moritz Strübe ; Rüdiger Kapitza ; Klaus Stengel ; Michael Daum ; Falko Dressler
Design and Implementation of a Robust Sensor Data Fusion System for Unknown Signals / Younghun Kim ; Thomas Schmid ; Mani B. Srivastava
Control Theoretic Sensor Deployment Approach for Data Fusion Based Detection / Ahmad Ababnah ; Balasubramaniam Natarajan
Approximate Distributed Kalman Filtering for Cooperative Multi-agent Localization / Prabir Barooah ; Wm. Joshua Russell ; João P. Hespanha
Thermal-Aware Sensor Scheduling for Distributed Estimation / Domenic Forte ; Ankur Srivastava
Decentralized Subspace Tracking via Gossiping / Lin Li ; Xiao Li ; Anna Scaglione ; Jonathan H. Manton
Building (1-?) Dominating Sets Partition as Backbones in Wireless Sensor Networks Using Distributed Graph Coloring / Dhia Mahjoub ; David W. Matula
On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks / Shouwen Lai ; Binoy Ravindran
A Novel Mobility Management Scheme for Target Tracking in Cluster-Based Sensor Networks / Zhibo Wang ; Wei Lou ; Zhi Wang ; Junchao Ma ; Honglong Chen
Suppressing Redundancy in Wireless Sensor Network Traffic / Rey Abe ; Shinichi Honiden
Ensuring Data Storage Security against Frequency-Based Attacks in Wireless Networks / Hongbo Liu ; Hui Wang ; Yingying Chen
Time-Critical Data Delivery in Wireless Sensor Networks / Petcharat Suriyachai ; James Brown ; Utz Roedig
MetroTrack: Predictive Tracking of Mobile Events Using Mobile Phones / Gahng-Seop Ahn ; Mirco Musolesi ; Hong Lu ; Reza Olfati-Saber ; Andrew T. Campbell
Mobile Sensor Network Localization in Harsh Environments / Harsha Chenji ; Radu Stoleru
AEGIS: A Lightweight Firewall for Wireless Sensor Networks / Mohammad Sajjad Hossain ; Vijay Raghunathan
Halo: Managing Node Rendezvous in Opportunistic Sensor Networks / Shane B. Eisenman
Optimal Data Gathering Paths and Energy Balance Mechanisms in Wireless Networks / Aubin Jarry ; Pierre Leone ; Sotiris Nikoletseas ; Jose Rolim
Programming Sensor Networks with State-Centric Services / Andreas Lachenmann ; Ulrich Müller ; Robert Sugar ; Louis Latour ; Matthias Neugebauer ; Alain Gefflaut
Fast Decentralized Averaging via Multi-scale Gossip / Konstantinos I. Tsianos ; Michael G. Rabbat
Wormholes No More? Localized Wormhole Detection and Prevention in Wireless Networks / Tassos Dimitriou ; Athanassios Giannetsos
Wireless Jamming Localization by Exploiting Nodes' Hearing Ranges / Zhenhua Liu ; Wenyuan Xu
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering / Joffroy Beauquier ; Janna Burman
Sensor Allocation in Diverse Environments / Amotz Bar-Noy ; Theodore Brown ; Simon Shamoun
Data Spider: A Resilient Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks / Onur Soysal ; Murat Demirbas
Author Index
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks / James Horey ; Eric Nelson ; Arthur B. Maccabe
Optimized Java Binary and Virtual Machine for Tiny Motes / Faisal Aslam ; Luminous Fennell ; Christian Schindelhauer ; Peter Thiemann ; Gidon Ernst ; Elmar Haussmann, Stefan Rührup ; Zastash Afzal Uzmi
ZeroCal: Automatic MAC Protocol Calibration / Andreas Meier ; Matthias Woehrle ; Marco Zimmerling ; Lothar Thiele
25.

電子ブック

EB
Sudipto Ghosh, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
26.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
31.

電子ブック

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
32.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Vincent Aleven, Takeo Kanade, Judy Kay, Jack Mostow
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
37.

電子ブック

EB
Luis M. Camarinha-Matos, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
38.

電子ブック

EB
Chandan Singh, Vishal Goyal, Takeo Kanade, Jyotsna Sengupta, Dharam Veer Sharma, Gurpreet Singh Lehal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
Computational Aspect of Verb Classification in Malayalam / K.G. Sulochana ; V. Jayan
Period Prediction System for Tamil Epigraphical Scripts Based on Support Vector Machine / P. Subashini ; M. Krishnaveni ; N. Sridevi
Name Entity Recognition Systems for Hindi Using CRF Approach / Rajesh Sharma ; Vishal Goyal
An N-Gram Based Method for Bengali Keyphrase Extraction / Kamal Sarkar
Feature Extraction and Recognition of Bengali Word Using Gabor Filter and Artificial Neural Network / Mahua Nandy (Pal) ; Sumit Majumdar
The Segmentation of Half Characters in Handwritten Hindi Text / Naresh Kumar Garg ; Lakhwinder Kaur ; Manish K. Jindal
Finding Influence by Cross-Lingual Blog Mining through Multiple Language Lists / Aditya Mogadala ; Vasudeva Varma
Renaissance of Opinion Mining / Ankur Rana ; Vimal K. Soni
OpenLogos Machine Translation: Exploring and Using It in Anusaaraka Platform / Sriram Chaudhury ; Sukhada ; Akshar Bharati
Role of e-Learning Models for Indian Languages to Implement e-Governance / Avinash Sharma ; Vijay Singh Rathore
A Compiler for Morphological Analyzer Based on Finite-State Transducers / Bhuvaneshwari C. Melinamath ; A. G. Math ; Sunanda D. Biradar
On Multifont Character Classification in Telugu / Venkat Rasagna ; K.J. Jinesh ; C.V. Jawahar
Parallel Implementation of Devanagari Document Image Segmentation Approach on GPU / Brijmohan Singh ; Nitin Gupta ; Rashi Tyagi ; Ankush Mittal ; Debashish Ghosh
A Rule Based Schwa Deletion Algorithm for Punjabi TTS System / Parminder Singh
Clause Based Approach for Ordering in MT Using OpenLogos / Arpana Sharma ; Neha Narang ; Sonal Dixit
Comparison of Feature Extraction Methods for Recognition of Isolated Handwritten Characters in Gurmukhi Script / Dharam Veer Sharma ; Puneet Jhajj
Dewarping Machine Printed Documents of Gurmukhi Script / Shilpi Wadhwa
Developing Oriya Morphological Analyzer Using Lt-Toolbox / Itisree Jena ; Himani Chaudhry ; Dipti M. Sharma
Durational Characteristics of Indian Phonemes for Language Discrimination / B. Lakshmi kanth ; Venkatesh Keri ; Kishore S. Prahallad
A Transliteration Based Word Segmentation System for Shahmukhi Script / Tejinder Singh Saini
Optimizing Character Class Count for Devnagari Optical Character Recognition / Jasbir Singh
Multifont Oriya Character Recognition Using Curvelet Transform / Swati Nigam ; Ashish Khare
Exploiting Ontology for Concept Based Information Retrieval / Aditi Sharan ; Manju Lata Joshi ; Anupama Pandey
Parsing of Kumauni Language Sentences after Modifying Earley's Algorithm / Rakesh Pandey ; Nihar Ranjan Pande ; H.S. Dhami
Comparative Analysis of Gabor and Discriminating Feature Extraction Techniques for Script Identification / Rajneesh Rani ; Renu Dhir ; Gurpreet Singh lehal
Poster
Automatic Word Aligning Algorithm for Hindi-Punjabi Parallel Text / Karuna Jindal ; Shikha Jindal
Making Machine Translations Polite: The Problematic Speech Acts / Ritesh Kumar
Tagging Sanskrit Corpus Using BIS POS Tagset / Madhav Gopal ; Girish Nath Jha
Manipuri Transliteration from Bengali Script to Meitei Mayek: A Rule Based Approach / Kishorjit Nongmeikapam ; Ningombam Herojit Singh ; Sonia Thoudam ; Sivaji Bandyopadhyay
Online Handwriting Recognition for Malayalam Script / T.R. Indhu
Optimized Multi Unit Speech Database for High Quality FESTIVAL TTS / T. Sajini
Comparative Analysis of Printed Hindi and Punjabi Text Based on Statistical Parameters / Lalit Goyal
Participles in English to Sanskrit Machine Translation / Vimal Mishra ; R.B. Mishra
Web-Drawn Corpus for Indian Languages: A Case of Hindi / Narayan Choudhary
Handwritten Hindi Character Recognition Using Curvelet Transform / Gyanendra K. Verma ; Shitala Prasad ; Piyush Kumar
Challenges in Developing a TTS for Sanskrit / Diwakar Mishra ; Kalika Bali
A Hybrid Learning Algorithm for Handwriting Recognition / Binu P. Chacko ; P. Babu Anto
Hindi to Punjabi Machine Translation System
Cascading Style Sheet Styling Issues in Punjabi Language / Swati Mittal ; R.K. Sharma ; Parteek Bhatia
Translation of Hindi se to Tamil in a MT System / Sobha Lalitha Devi ; P. Pralayankar ; V. Kavitha ; S. Menaka
Preprocessing Phase of Punjabi Language Text Summarization / Vishal Gupta
Comparative Analysis of Tools Available for Developing Statistical Approach Based Machine Translation System / Ajit Kumar
Discriminative Techniques for Hindi Speech Recognition System / Rajesh Kumar Aggarwal ; Mayank Dave
An Experiment on Resolving Pronominal Anaphora in Hindi: Using Heuristics / Kiran Pala ; Rafiya Begum
A Novel GA Based OCR Enhancement and Segmentation Methodology for Marathi Language in Bimodal Framework / Amarjot Singh ; Ketan Bacchuwar ; Akash Choubey
Panmozhi Vaayil - A Multilingual Indie Keyboard Interface for Business and Personal Use / H.R. Shiva Kumar ; Abhinava Shivakumar ; Akshay Rao ; Sriraman Arun ; A.G. Ramakrishnan
Power Spectral Density Estimation Using Yule Walker AR Method for Tamil Speech Signal / V. Radha ; C. Vimala
Challenges in NP Case-Mapping in Sanskrit Hindi Machine Translation / Kumar Nripendra Pathak
Modeified BLEU for Measuring Performance of a Machine-Translation Software / Kalyan Joshi ; M.B. Rajarshi
Demo Abstracts
A System for Online Gurmukhi Script Recognition
Spoken Isolated Word Recognition of Punjabi Language Using Dynamic Time Warp Technique / Ravinder Kumar ; Mohanjit Singh
Text-To-Speech Synthesis System for Punjabi Language
Hand-Filled Form Processing System for Gurmukhi Script
Urdu to Hindi and Reverse Transliteration System / V.S. Kalra
iPlugin: Indian Language Web Application Development Tool / Anup Kanaskar ; Vrundesh Waghmare
An OCR System for Printed Indie Scripts / Tushar Patnaik
Gujarati Text - TO - Speech System / Samyak Bhuta ; S. Rama Mohan
Large Web Corpora for Indian Languages / Adam Kilgarriff ; Girish Duvuru
Localization of EHCPRs System in the Multilingual Domain: An Implementation / Sarika Jain ; Deepa Chaudhary ; N.K. Jain
Author Index
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
39.

電子ブック

EB
Sami Khuri, Takeo Kanade, Lenka Lhotská, Nadia Pisanti
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Workflow Management and Database
e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics / Ingo Wassink ; Matthijs Ooms ; Pieter Neerincx ; Gerrit van der Veer ; Han Rauwerda ; Jack A.M. Leunissen ; Timo M. Breit ; Anton Nijholt ; Paul van der Vet
MEDCollector: Multisource Epidemic Data Collector / João Zamite ; Fabrício A.B. Silva ; Francisco Couto ; Mário J. Silva
Epidemic Marketplace: An Information Management System for Epidemiological Data / Luis F. Lopes ; Hugo Ferreira ; Carla Sousa
Decision Support and Data Management in Biomedicine
DCM Data Management Framework: A Data Warehousing Approach / Shehla Khalid ; Claire Surr ; Daniel Neagu
Automatic Classification of Intrapartal Fetal Heart-Rate Recordings - Can It Compete with Experts? / Václav Chudácek ; Jirí Spilka ; Michal Huptych ; George Georgoulas ; Petr Janku ; Michal Koucky ; Chrysostomos Stylios ; Lenka Lhotská
Clinical Informatics to Diagnose Cardiac Diseases Based on Data Mining / Sung Ho Ha ; Zhen Yu Zhang
Decision Support in Biomedicine (Short Papers)
The Case-Based Software System for Physician's Decision Support / Leonid Karpov ; Valery Yudin
SASAgent: An Agent Based Architecture for Search, Retrieval and Composition of e-Science Models and Tools / Luiz Felipe Mendes ; Regina Braga ; Fernanda Campos
Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments / Ivana Rudolfova ; Jaroslav Zendulka ; Matej Lexa
A Comorbidity Network Approach to Predict Disease Risk / Francesco Folino ; Clara Pizzuti ; Maria Ventura
Mining and Post-Processing of Association Rules in the Atherosclerosis Risk Domain / Petr Berka ; Jan Rauch
Medical Data Modeling and Information Retrieval
Optimized Column-Oriented Model: A Storage and Search Efficient Representation of Medical Data / Razan Paul ; Abu Sayed Md. Latiful Hoque
A Semantic Query Interface for the OGO Platform / José Antonio Miñarro-Giménez ; Mikel Egaña Aranguren ; Francisco García-Sánchez ; Jesualdo Tomás Fernández-Breis
BioMedical Information Retrieval: The BioTracer Approach / Heri Ramampiaro
Data Mining in Bioinformatics
A Self-Organizing State Space Approach to Inferring Time-Varying Causalities between Regulatory Proteins / Osamu Hirose ; Kentaro Shimizu
Knowledge Representation and Data Management in Bioinformatics
Retrieving Samples from Biobanks / Claus Dabringer ; Johann Eder
Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways / Sine Zambach ; Jens Ulrik Hansen
Smooth Introduction of Semantic Tagging in Genotyping Procedures / Alessio Bechini ; Jacopo Viotto ; Riccardo Giannini
Biological Data and Signal Processing
Laboratory Kit for Oscillometry Measurement of Blood Pressure / Jan Dvorák ; Jan Havlík
Initial Analysis of the EEG Signal Processing Methods for Studying Correlations between Muscle and Brain Activity / Helena Valentová
Highlighting the Current Issues with Pride Suggestions for Improving the Performance of Real Time Cardiac Health Monitoring / Mohamed Ezzeldin A. Bashir ; Dong Gyu Lee ; Makki Akasha ; Gyeong Min Yi ; Eun-jong Cha ; Jang-whan Bae ; Myeong Chan Cho ; Keun Ho Ryu
Author Index
Workflow Management and Database
e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics / Ingo Wassink ; Matthijs Ooms ; Pieter Neerincx ; Gerrit van der Veer ; Han Rauwerda ; Jack A.M. Leunissen ; Timo M. Breit ; Anton Nijholt ; Paul van der Vet
MEDCollector: Multisource Epidemic Data Collector / João Zamite ; Fabrício A.B. Silva ; Francisco Couto ; Mário J. Silva
40.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
43.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks / Pruet Boonma ; Junichi Suzuki
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study / Emil Vassev ; Serguei A. Mokhov
Autonomic Nature-Inspired Eco-systems / Antonio Manzalini ; Nermin Brgulja ; Corrado Moiso ; Roberto Minerva
A Logical Approach to Data-Aware Automated Sequence Generation / Sylvain Hallé ; Roger Villemaire ; Omar Cherkaoui ; Rudy Deca
Author Index
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
46.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji
Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser
Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin
Refinement and Asynchronous Composition of Model Petri Nets / Dorsaf Elhog-Benzina ; Serge Haddad ; Rolf Hennicker
Computing a Hierarchical Static Order for Decision Diagrom-Based Representation from P/T Nets / Silien Hong ; Fabrice Kordon ; Emmanuel Paviot-Adet ; Sami Evangelista
Bounded Model Checking for Parametric Timed Automata / Michat Knapik ; Wojciech Penczek
Synthesis Problem for Petri Nets with Localities / Maciej Koutny ; Marta Pietkiewicz-Koutny
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao ; José-Manuel Colom
Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni ; Fabio Farina
Incremental Process Discovery / Marc Solé ; Josep Carmona
Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner ; José Quenum ; Daniel Moldt ; Christine Reese
A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard ; Lars Michael Kristensen
Author Index
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji
Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser
Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin
47.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
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…
56.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
Task-Based Recommendation of Mashup Components / Vincent Tietz ; Gregor Blichmann ; Stefan Pietschmann ; Klaus Meiβner
Integration of Telco Services into Enterprise Mashup Applications / Olexiy Chudnovskyy ; Frank Weinhold ; Hendrik Gebhardt ; Martin Gaedke
Orchestrated User Interface Mashups Using W3C Widgets / Scott Wilson ; Florian Daniel ; Uwe Jugel ; Stefano Soi
Cross-Domain Embedding for Vaadin Applications / Janne Lautamäki ; Tommi Mikkonen
Web Linking-Based Protocols for Guiding RESTful M2M Interaction / Jesus Bellido ; Rosa Alarcon ; Cristian Sepulveda
Batched Transactions for RESTful Web Services / Sebastian Kochman ; Pawel T. Wojciechowski ; Milosz Kmieciak
Secure Mashup-Providing Platforms - Implementing Encrypted Wiring / Matthias Herbert ; Tobias Thieme ; Jan Zibuschka ; Heiko Roβnagel
First International Workshop on Search, Exploration and Navigation of Web Data Sources (Explore Web 2011)
A Conceptual Framework for Linked Data Exploration / Alessandro Bozzon ; Marco Brambilla ; Emanuele Della Valle ; Piero Fraternali ; Chiara Pasini
Support for Reusable Explorations of Linked Data in the Semantic Web / Marcelo Cohen ; Daniel Schwabe
Generation of Semantic Clouds Based on Linked Data for Efficient Multimedia Semantic Annotation / Han-Gyu Ko ; In-Young Ko
Ontology Based Segmentation of Geo-Referenced Queries / Mamoun Abu Helou
SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud / Frederico Durao ; Peter Dolog ; Martin Leginus ; Ricardo Lage
Graph Access Pattern Diagrams (GAP-D): Towards a Unified Approach for Modeling Navigation over Hierarchical, Linear and Networked Structures / Matthias Keller ; Martin Nussbaumer
Data-Driven and User-Driven Multidimensional Data Visualization / Rober Morales-Chaparro ; Juan C. Preciado ; Fernando Sánchez-Figueroa
Second International Workshop on Enterprise Crowdsourcing (EC 2011)
Context-Aware and Adaptive Web Interfaces: A Crowdsourcing Approach / Michael Nebeling ; Moira C. Norrie
Massive Multiplayer Human Computation for Fun, Money, and Survival / Lukas Biewald
Enterprise Crowdsourcing Solution for Software Development in an Outsourcing Organization / Ranganathan Jayakanthan ; Deepak Sundararajan
Seventh Model-Driven Web Engineering Workshop (MDWE 2011)
A Model-Driven Framework for Developing Web Service Oriented Applications / Achilleas Achilleos ; Georgia M. Kapitsaki ; George A. Papadopoulos
Developing Enterprise Web Applications Using the Story Driven Modeling Approach / Christoph Eickhoff ; Nina Geiger ; Marcel Hahn ; Albert Zündorf
Aspect-Oriented Modeling of Web Applications with HiLA / Gefei Zhang ; Matthias Hölzl
Model-Driven Web Form Validation with UML and OCL / Ebon Escott ; Paul Strooper ; Paul King ; Ian J. Hayes
Modernization of Legacy Web Applications into Rich Internet Applications / Roberto Rodríguez-Echeverría ; José María Conejero ; Pedro J. Clemente
Second International Workshop on Quality in Web Engineering (QWE 2011)
Quality Models for Web [2.0] Sites: A Methodological Approach and a Proposal / Roberto Polillo
Exploring the Quality in Use of Web 2.0 Applications: The Case of Mind Mapping Services / Tihomir Orehovacki ; Andrina Granic ; Dragutin Kermek
Second Workshop on the Web and Requirements Engineering (WeRE 2011)
Detecting Conflicts and Inconsistencies in Web Application Requirements / Matias Urbieta ; Maria Jose Escalona ; Esteban Robles Luna ; Gustavo Rossi
Streamlining Complexity: Conceptual Page Re-modeling for Rich Internet Applications / Andrea Pandurino ; Davide Bolchini ; Luca Mainetti ; Roberto Paiano
Doctoral Symposium 2011
A Flexible Graph-Based Data Model Supporting Incremental Schema Design and Evolution / Katrin Braunschweig ; Maik Thiele ; Wolfgang Lehner
ProLD: Propagate Linked Data / Peter Kalchgruber
Causal Relation Detection for Activities from Heterogeneous Sources / Philipp Katz ; Alexander Schill
XML Document Versioning, Revalidation and Constraints / Jakub Malý ; Martin Necaský
A Reuse-Oriented Product-Line Method for Enterprise Web Applications / Neil Mather ; Samia Oussena
A Flexible Architecture for Client-Side Adaptation / Sergio Firmenich ; Silvia Gordillo ; Marco Winckler
Applications of Mobile Application Interface Description Language MAIDL / Prach Chaisatien ; Korawit Prutsachainimmit ; Takehiro Tokuda
A Domain-Specific Language for Do-It-Yourself Analytical Mashups / Julian Eberius
Information Extraction from Web Pages Based on Their Visual Representation / Ruslan R. Fayzrakhmanov
End-User Programming for Web Mashups: Open Research Challenges
ICWE 2011 Tutorials
Multi-dimensional Context-Aware Adaptation for Web Applications / Vivian Genaro Motti ; Jean Vanderdonckt
Engineering the Personal Social Semantic Web / Fabian Abel ; Geert-Jan Houben
Automating the Use of Web APIs through Lightweight Semantics / Guillermo Alvaro
Improving Quality in Use of Web Applications in a Systematic Way / Philip Lew ; Luis Olsina
Author Index
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
57.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumila Hnatkowska ; Krzysztof Kasprzyk
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna ; Valentino Vranic
On the Evolution of Component-Based Software / Isabelle Côté ; Maritta Heisel ; Jeanine Souquières
Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski ; Aleksander Chrószcz
Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla ; Krzysztof Sapiecha
Modelling and Formal Methods in Software Development / Part II:
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Slawomir Samolej ; Tomasz Szmuc
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak ; Jan Werewka
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Cerina-Berzina ; Janis Bicevskis ; Ģirts Karnitis
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo ; Timur Umarau
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout ; Louis Féraud ; Lionel Marie-Magdeleine ; Sergei Soloviev
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bozena Woźna-Szczesniak
The Semantics of Role-Based Trust Management Languages / Anna Felkner ; Krzysztof Sacha
Measurements, Testing, and Quality of Software / Part III:
Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bicevska
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber ; Sascha Hunold ; Björn Krellner ; Thomas Rauber ; Thomas Reichel ; Gudula Rünger
Dataflow Testing of Java Programs with DFC / Rona Bluemke ; Artur Rembiszewski
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System / Anna Derezinska ; Anna Szustek
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian ; Saeed Parsa
Author Index
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
58.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata
Contracting Graphs to Paths and Trees / Pinar Heggernes ; Pim van 't Hof ; Benjamin Lévêque ; Daniel Lokshtanov ; Christophe Paul
Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach ; Marcin Kaminski ; Daniël Paulusma ; Dimitrios M. Thilikos
Planar Disjoint-Paths Completion / Isolde Adler ; Stavros G. Kolliopoulos
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke
New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev
Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim ; Ryan Williams
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen ; Stefan Kratsch
Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender
On the Hardness of Losing Width / Saket Saurabh
Safe Approximation and Its Relation to Kernelization / Jiong Guo ; Iyad Kanj
Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup
Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern ; Sepp Hartung ; Frank Kammer ; Rolf Niedermeier ; Mathias Weller
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma ; Viresh Patel
Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold ; Sadia Sharmin ; Jan Arne Telle ; Martin Vatshelle
Parameterized Maximum Path Coloring / Michael Lampis
On Cutwidth Parameterized by Vertex Cover / Marcl Pilipczuk
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian
Author Index
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
59.

電子ブック

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

電子ブック

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
61.

電子ブック

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
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
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
70.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
84.

電子ブック

EB
Susanne Boll, Yi-Ping Phoebe Chen, Takeo Kanade, Qi Tian, Lei Zhang, Zili Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
85.

電子ブック

EB
Samuel R. H. Joseph, Sonia Bergamaschi, Zoran Despotovic, Takeo Kanade, Gianluca Moro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
86.

電子ブック

EB
Christophe Paul, Michel Habib, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Graph-Theoretic Solutions to Computational Geometry Problems (Invited Talk) / David Eppstein
Algorithms for Classes of Graphs with Bounded Expansion (Invited Talk) / Zdeněk Dvořák ; Daniel KrálÆ
A Graph Polynomial Arising from Community Structure (Extended Abstract) / Ilia Averbouch ; Johann A. Makowsky ; Peter Tittmann
Fast Exact Algorithms for Hamiltonicity in Claw-Free Graphs / Hajo Broersma ; Fedor V. Fomin ; Pim van 't Hof ; Daniël Paulusma
Maximum Series-Parallel Subgraph / Gruia C&acaron;linescu ; Cristina G. Fernandes ; Hemanshu Kaul
Low-Port Tree Representations / Shiri Chechik ; David Peleg
Fully Dynamic Representations of Interval Graphs / Christophe Crespelle
The Parameterized Complexity of Some Minimum Label Problems / Michael R. Fellows ; Jiong Guo ; Iyad A. Kanj
Exact and Parameterized Algorithms for Max Internal Spanning Tree / Henning Fernau ; Serge Gaspers ; Daniel Raible
An Exact Algorithm for Minimum Distortion Embedding / Daniel Lokshtanov ; Saket Saurabh
Sub-coloring and Hypo-coloring Interval Graphs / Rajiv Gandhi ; Bradford Greening Jr. ; Sriram Pemmaraju ; Rajiv Raman
Parameterized Complexity of Generalized Domination Problems / Petr A. Golovach ; Jan Kratochvíl ; Ondřej Suchý
Connected Feedback Vertex Set in Planar Graphs / Alexander Grigoriev ; René Sitters
Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract) / Stéphane Grumbach ; Zhilin Wu
On Module-Composed Graphs / Frank Gurski ; Egon Wanke
An Even Simpler Linear-Time Algorithm for Verifying Minimum Spanning Trees / Torben Hagerup
The k-Disjoint Paths Problem on Chordal Graphs / Frank Kammer ; Torsten Tholey
Local Algorithms for Edge Colorings in UDGs / Lyad A. Kanj ; Andreas Wiese ; Fenghui Zhang
Directed Rank-Width and Displit Decomposition / Mamadou Moustapha Kanté ; Michaël Rao
An Algorithmic Study of Switch Graphs / Bastian Katz ; Ignaz Rutter ; Gerhard Woeginger
Hardness Results and Efficient Algorithms for Graph Powers / Van Bang Le ; Ngoc Tuy Nguyen
Graph Partitioning and Traffic Grooming with Bounded Degree Request Graph / Zhentao Li ; Ignasi Sau
Infective Oriented Colourings / Gary MacGillivray ; André Raspaud ; Jacobus Swarts
Chordal Digraphs / Daniel Meister ; Jan Arne Telle
A New Intersection Model and Improved Algorithms for Tolerance Graphs / George B. Mertzios ; Shmuel Zaks
Counting the Number of Matchings in Chordal and Chordal Bipartite Graph Classes / Yoshio Okamoto ; Ryuhei Uehara ; Takeaki Uno
Distance d-Domination Games / Stephan Kreutzer ; Sebastian Ordyniak
Cycles, Paths, Connectivity and Diameter in Distance Graphs / Lucia Draque Penso ; Dieter Rautenbach ; Jayme Luiz Szwarcfiter
Smallest Odd Holes in Claw-Free Graphs (Extended Abstract) / Shimon Shrem ; Michal Stern ; Martin Charles Golumbic
Finding Induced Paths of Given Parity in Claw-Free Graphs / Marcin Kamiński
Author Index
Graph-Theoretic Solutions to Computational Geometry Problems (Invited Talk) / David Eppstein
Algorithms for Classes of Graphs with Bounded Expansion (Invited Talk) / Zdeněk Dvořák ; Daniel KrálÆ
A Graph Polynomial Arising from Community Structure (Extended Abstract) / Ilia Averbouch ; Johann A. Makowsky ; Peter Tittmann
87.

電子ブック

EB
Jan Leeuwen, Takeo Kanade, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Forcing Monotonicity in Parameterized Verification: From Multisets to Words / Parosk Aziz Abdulla
Research Issues in the Automated Testing of Ajax Applications / Arie van Deursen ; Ali Mesbah
Essential Performance Drivers in Native XML DBMSs / Theo Härder ; Christian Mathis ; Sebastian Bächle ; Karsten Schmidt ; Andreas M. Weiner
Continuous Processing of Preference Queries in Data Streams / Maria Kontaki ; Apostolos N. Papadopoulos ; Yannis Manolopoulos
Clock Synchronization: Open Problems in Theory and Practice / Christoph Lenzen ; Thomas Locher ; Philipp Sommer ; Roger Wattenhofer
Regret Minimization and Job Scheduling / Yishay Mansour
Lessons in Software Evolution Learned by Listening to Smalltalk / Oscar Nierstrasz ; Tudor Gîrba
The Web of Things: Extending the Web into the Real World / Dave Raggett
Web Science: The Digital-Heritage Case / Guus Schreiber
Model-Driven Software Product Line Testing: An Integrated Approach / Andy Schürr ; Sebastian Oster ; Florian Markert
Taming the Complexity of Inductive Logic Programming / Filip Železný ; Ondřej Kuželka
Regular Papers
A Rule Format for Unit Elements / Luca Aceto ; Anna Ingolfsdottir ; MohammadReza Mousavi ; Michel A. Reniers
Approximability of Edge Matching Puzzles / Antonios Antoniadis ; Andrzej Lingas
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks / Maxim A. Babenko ; Ignat I. Kolesnichenko ; Ilya P. Razenshteyn
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls / David Bednárek
Fast Arc-Annotated Subsequence Matching in Linear Space / Philip Bille ; Inge Li Gørtz
Automated, Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs / Frank S. de Boer ; Immo Grabe
A Kernel for Convex Recoloring of Weighted Forests / Hans L. Bodlaender ; Marc Comas
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space / Beate Bollig
A Social Vision of Knowledge Representation and Reasoning / François Bry ; Jakub Kotowski
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki / Klara Weiand
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances / Silvio Capobianco
On a Labeled Vehicle Routing Problem / Hatem Chatti ; Laurent Gourvès ; Jérôme Monnot
Improved Matrix Interpretation / Pierre Courtieu ; Gladys Gbedo ; Olivier Pons
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays / Maxime Crochemore ; Costas S. Iliopoulos ; Marcin Kubica ; Wojciech Rytter ; Tomasz Waleń
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL / Piotr Cybula ; Kazimierz Subieta
Perfect Matching for Biconnected Cubic Graphs in 0(n log2 n) Time / Krzysztof Diks ; Piotr Stanczyk
Destructive Rule-Based Properties and First-Order Logic / David Duris
Learning User Preferences for 2CP-Regression for a Recommender System / Alan Eckhardt ; Peter Vojtáš
Parallel Randomized Load Balancing: A Lower Bound for a More General Model / Guy Even ; Moti Medina
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem / Simone Faro ; Elisa Pappalardo
Linear Complementarity Algorithms for Infinite Games / John Fearnley ; Marcin Jurdziński ; Rahul Savani
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test / Alain Finkel ; Arnaud Sangnier
Practically Applicable Formal Methods / J&ecedil;drzej Fulara ; Krzysztof Jakubczyk
Fast and Compact Prefix Codes / Travis Gagie ; Gonzalo Navarro ; Yakov Nekrich
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes / Robert Ganian ; Petr Hliněný
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations / Giorgio Gnecco ; Marcello Sanguineti
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph / Alexander Grigoriev ; Bert Marchal ; Natalya Usotskaya
On the Complexity of the Highway Pricing Problem / Joyce van Loon ; Marc Uetz
Accelerating Smart Play-Out / David Harel ; Hillel Kugler ; Shahar Maoz ; Itai Segall
Optimum Broadcasting in Complete Weighted-Vertex Graphs / Hovhannes Harutyunyan ; Shahin Kamali
On Contracting Graphs to Fixed Pattern Graphs / Pirn van 't Hof ; Martin Kamiński ; Daniël Paulusma ; Stefan Szeider ; Diraitrios M. Thilikos
Dynamic Edit Distance Table under a General Weighted Cost Function / Heikki Hyyrö ; Kazuyuki Narisawa ; Shunsuke Inenaga
How to Complete an Interactive Configuration Process? Configuring as Shopping / Mikoláš Janota ; Goetz Botterweck ; Radu Grigore ; Joao Marques-Silva
Design Patterns Instantiation Based on Semantics and Model Transformations / Peter Kajsa ; L'ubomír Majtás
A Complete Symbolic Bisimulation for Full Applied Pi Calculus / Jia Liu ; Huimin Lin
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases / Jun Liu ; Mark Roantree
Picture Recognizability with Automata Based on Wang Tiles / Violetta Lonati ; Matteo Pradella
Unilateral Orientation of Mixed Graphs / Tamara Mchedlidze ; Antonios Symvonis
Maintaining XML Data Integrity in Programs: An Abstract Datatype Approach / Patrick Michel ; Arnd Poetzsch-Heffter
Improving Classification Performance with Focus on the Complex Areas / Seyed Zeinolabedin Moussavi ; Kambiz Zarei ; Reza Ebrahimpour
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions / Friedrich Otto
Source Code Rejuvenation Is Not Refactoring / Peter Pirkelbauer ; Damian Dechev ; Bjarne Stroustrup
Empirical Evaluation of Strategies to Detect Logical Change Dependencies / Guenter Pirklbauer
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup / Jakub Radoszewski
An Amortized Search Tree Analysis for k-Leaf Spanning Tree / Daniel Raible ; Henning Fernau
Approximate Structural Consistency / Michel de Rougemont ; Adrien Vieilleribiére
Comprehensive System for Systematic Case-Driven Software Reuse / Micha&lstoke; Śmia&lstoke;ek ; Audris Kalnins ; Elina Kalnina ; Albert Ambroziewicz ; Tomasz Straszak ; Katharina Wolter
Comparison of Scoring and Order Approach in Description Logic EL(D) / Veronika Vaneková
Homophily of Neighborhood in Graph Relational Classifier / Peter Vojtek ; Mária Bieliková
Multilanguage Debugger Architecture / Jan Vraný ; Michal Píše
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining / Danuta Zakrzewska
Finding and Certifying Loops / Harold Zankl ; Christian Sternagel ; Dieter Hofbauer ; Aart Middeldorp
Vertex Ranking with Capacity / Ruben van der Zwaan
Author Index
Invited Talks
Forcing Monotonicity in Parameterized Verification: From Multisets to Words / Parosk Aziz Abdulla
Research Issues in the Automated Testing of Ajax Applications / Arie van Deursen ; Ali Mesbah
88.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
Perspective on Computer Science Education (Invited Talk) / Amiram Yehudai
Didactics of Introduction to Computer Science in High School / Michal Armoni ; Tamar Benaya ; Ela Zur
Software Design Course for Leading CS In-Service Teachers / Ofra Brandes ; Tamar Vilner
The Effect of Tangible Artifacts, Gender and Subjective Technical Competence on Teaching Programming to Seventh Graders / Philipp Brauner ; Thiemo Leonhardt ; Martina Ziefle ; Ulrik Schroeder
The Difficulty of Programming Contests Increases / Michal Forišek
Didactic Games for Teaching Information Theory / Monika Steinová
Collaborative Initiatives for Promoting Computer Science in Secondary Schools / Irene Glendinning ; Margaret Low
Teaching Public-Key Cryptography in School / Lucia Keller ; Dennis Komm ; Giovanni Serafini ; Andreas Sprock ; Björn Steffen
Towards a Methodical Approach for an Empirically Proofed Competency Model / Johannes Magenheim ; Wolfgang Nelles ; Thomas Rhode ; Niclas Schaper
Having Fun with Computer Programming and Games: Teacher and Student Experiences / Clare McInerney
Showing Core-Concepts of Informatics to Kids and Their Teachers / Roland T. Mittermeir ; Ernestine Bischof ; Karin Hodnigg
Object-Oriented Modeling of Object-Oriented Concepts: A Case Study-in Structuring an Educational Domain / Michela Pedroni ; Bertrand Meyer
Programming Camps: Letting Children Discover the computer Science / Juliana Šišková
Mission to Mars - A Study on Naming and Referring / Michael Weigend
Long-Term Development of Software Projects - Students' Self-appreciation and Expectations / Cecile Yehezkel ; Bruria Haberman
Author Index
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
89.

電子ブック

EB
Atefeh Farzindar, Takeo Kanade, Vlado Kešelj
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
90.

電子ブック

EB
H. Jaap Herik, Takeo Kanade, Pieter Spronck
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
91.

電子ブック

EB
Henri Gilbert, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cryptosystems I
On Ideal Lattices and Learning with Errors over Rings / Vadim Lyubashevsky ; Chris Peikeri ; Oded Regev
Fully Homomorphic Encryption over the Integers / Marten van Dijk ; Craig Gentry ; Shai Halevi ; Vinod Vaikuntanathan
Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime-Order Groups / David Mandell Freeman
Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner Product Encryption / Allison Lewko ; Tatsuaki Okamoto ; Amit Sahai ; Katsuyuki Takashima ; Brent Waters
Obfuscation and Side Channel Security
Secure Obfuscation for Encrypted Signatures / Satoshi Hada
Public-Key Encryption in the Bounded-Retrieval Model / Joël Alwen ; Yevgeniy Dodis ; Moni Naor ; Gil Segev ; Shabsi Walfish ; Daniel Wichs
Protecting Circuits from Leakage: The Computationally-Bounded and Noisy Cases / Sebastian Faust ; Tal Rabin ; Leonid Reyzin ; Eran Tromer
2-Party Protocols
Partial Fairness in Secure Two-Party Computation / S. Dov Gordon ; Jonathan Katz
Secure Message Transmission with Small Public Discussion / Juan Garay ; Clint Givens ; Rafail Ostrovsky
On the Impossibility of Three-Move Blind Signature Schemes / Marc Fischlin ; Dominique Schröder
Efficient Device-Independent Quantum Key Distribution / Esther Hänggi ; Renato Renner ; Stefan Wolf
Cryptanalysis
New Generic Algorithms for Hard Knapsacks / Nick Howgrave-Graham ; Antoine Joux
Lattice Enumeration Using Extreme Pruning / Nicolas Gama ; Phong Q. Nguyen
Algebraic Cryptanalysis of McEliece Variants with Compact Keys / Jean-Charles Faugère ; Ayoub Otmani ; Ludovic Perret ; Jean-Pierre Tillich
Key Recovery Attacks of Practical Complexity on AES-256 Variants with Up to 10 Rounds / Alex Biryukov ; Orr Dunkelman ; Nathan Keller ; Dmitry Khovratovich ; Adi Shamir
2010 IACR Distinguished Lecture
Cryptography between Wonderland and Underland / Moti Yung
Automated Tools and Formal Methods
Automatic Search for Related-Key Differential Characteristics in Byte-Oriented Block Ciphers: Application to AES, Camellia, Khazad and Others / Ivica Nikolic
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR / Kenneth G. Paterson ; Gaven J. Watson
Computational Soundness, Co-induction, and Encryption Cycles / Daniele Micciancio
Models and Proofs
Encryption Schemes Secure against Chosen-Ciphertext Selective Opening Attacks / Serge Fehr ; Dennis Hofheinz ; Eike Kiltz ; Hoeteck Wee
Cryptographic Agility and Its Relation to Circular Encryption / Tolga Acar ; Mira Belenkiy ; Mihir Bellare ; David Cash
Bounded Key-Dependent Message Security / Boaz Barak ; Iftach Haitner ; Yuval Ishai
Multiparty Protocols
Perfectly Secure Multiparty Computation and the Computational Overhead of Cryptography / Ivan Damgård ; Mikkel Krøigaard
Adaptively Secure Broadcast / Martin Hirt ; Vassilis Zikas
Universally Composable Quantum Multi-party Computation / Dominique Unruh
Cryptosystems II
A Simple BGN-Type Cryptosystem from LWE
Bonsai Trees, or How to Delegate a Lattice Basis / Chris Peikert
Efficient Lattice (H)IBE in the Standard Mode / Shweta Agrawal ; Dan Boneh ; Xavier Boyen
Hash and MAC
Multi-property-preserving Domain Extension Using Polynomial-Based Modes of Operation / Jooyoung Lee ; John Steinberger
Stam's Collision Resistance Conjecture
Universal One-Way Hash Functions via Inaccessible Entropy / Thomas Holenstein ; Omer Reingold ; Salil Vadhan
Foundational Primitives
Constant-Round Non-malleable Commitments from Sub-exponential One-Way Functions / Rafael Pass
Constructing Verifiable Random Functions with Large Input Spaces / Susan Hohenberger
Adaptive Trapdoor Functions and Chosen-Ciphertext Security / Payman Mohassel ; Adam O'Neill
Author Index
Cryptosystems I
On Ideal Lattices and Learning with Errors over Rings / Vadim Lyubashevsky ; Chris Peikeri ; Oded Regev
Fully Homomorphic Encryption over the Integers / Marten van Dijk ; Craig Gentry ; Shai Halevi ; Vinod Vaikuntanathan
92.

電子ブック

EB
Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Takeo Kanade, Shin-Feng Lin, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speeches
A Grid Based Virtual Laboratory for HIV Drugranking / Peter Sloot
Solving the Scalability Dilemma with Clouds, Crowds, and Algorithms / Michael J. Franklin
The Trend of Cloud Computing - From Industry's Perspective / Enwei Xie
Towards to Ubiquitous Affective Learning / Bin Hu
Cloud and Grid Computing / Track 1:
Collaboration of Reconfigurable Processors in Grid Computing for Multimedia Kernels / Mahmood Ahmadi ; Asadollah Shahbahrami ; Stephan Wong
Multi-core Code in a Cluster - A Meaningful Option? / Martin Štava ; Pavel Tvrdík
A New Heuristic for Broadcasting in Cluster of Clusters / Hazem Fkaier ; Christophe Cérin ; Luiz Angelo Steffenel ; Mohamed Jemni
SLA-Driven Automatic Bottleneck Detection and Resolution for Read Intensive Multi-tier Applications Hosted on a Cloud / Waheed Iqbal ; Mathew N. Dailey ; David Carrera ; Paul Jenecek
An Effective Job Replication Technique Based on Reliability and Performance in Mobile Grids / Daeyong Jung ; SungHo Chin ; KwangSik Chung ; Taeweon Suh ; HeonChang Yu ; JoonMin Gil
A Matrix Scheduling Strategy with Multi-QoS Constraints in Computational Grid / Ding Ding ; Siwei Luo ; Zhan Gao
Peer-to-Peer and Pervasive Computing / Track 2:
The Mini-Grid Framework: Application Programming Support for Ad-Hoc, Peer-to-Peer Volunteer Grids / Jakob E. Bardram ; Neelanarayanan Venkataraman
Human Movement Detection Algorithm Using 3-Axis Accelerometer Sensor Based on Low-Power Management Scheme for Mobile Health Care System / Jaewan Shin ; Dongkyoo Shin ; Dongil Shin ; Sungmin Her ; Soohan Kim ; Myungsoo Lee
A Genetic Context Interpreter for Context-Aware Systems in Pervasive Computing Environments / Been-Chian Chien ; Shiang-Yi He
Supporting Filename Partial Matches in Structured Peer-to-Peer Overlay / Guanling Lee ; Jia-Sin Huang ; Yi-Chun Chen
EEG: A Way to Explore Learner's Affect in Pervasive Learning Systems / Jizheng Wan ; Xiaowei Li
Sensor and Mobile Networks / Track 3:
The Mission-Oriented Self-deploying Methods for Wireless Mobile Sensor Networks / Shih-Chang Huang
Multi-Dimensional Resilient Statistical En-Route Filtering in Wireless Sensor Networks / Feng Yang ; Xuehai Zhou ; Qiyuan Zhang
Cross-Layer Based Rate Control for Lifetime Maximization in Wireless Sensor Networks / Xiaoyan Yin ; Xingshe Zhou ; Zhigang Li ; Shining Li
A 2D Barcode Validation System for Mobile Commerce / David Kuo ; Daniel Wong ; Jerry Gao ; Lee Chang
A Petri-Net Based Context Representation in Smart Car Environment / Jie Sun ; Yongping Zhang ; Kejia He
Service-Oriented Computing / Track 4:
A New Distributed and Hierarchical Mechanism for Service Discovery in Grid Environment / Leyli Mohamad Khanli ; Saeed Ebadi
DSOA: A Service Oriented Architecture for Ubiquitous Applications / Fabricio Nogueira Buzeto ; Carlos Botelho de Paula Filho ; Carla Denise Castanho ; Richardo Pezzuol Jacobi
Monitoring Service Using Markov Chain Model in Mobile Grid Environment / JiSu Park ; Eun Young Lee ; YoungSik Jeong
Modeling Grid Workflow by Coloured Grid Service Net / Hong Feng Lai
A Lower Bound on Greedy Embedding in Euclidean Plane / Lei Cao ; Andrew Strelzoff ; Jonathan Z. Sun
Performance of Parallel Bit-Reversal with Clik and UPC for Fast Fourier Transform / Tien-Hsiung Weng ; Sheng-Wei Huang ; Wei-Duen Liau ; Kuan-Ching Li
Resource Management and Scheduling / Track 5:
Variable-Sized Map and Locality-Aware Reduce on Public-Resource Grids / Po-Cheng Chen ; Yen-Liang Su ; Jyh-Biau Chang ; Ce-Kuen Shieh
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations / Wei-Jen Wang ; Carlos Varela ; Fu-Hau Hsu ; Cheng-Hsien Tang
Scalable Grid Resource Allocation for Scientific Workflows Using Hybrid Metaheuristics / Georg Buss ; Kevin Lee ; Daniel Veit
Pareto Front Based Realistic Soft Real-Time Task Scheduling with Multi-objective Genetic Algorithm in Unstructured Heterogeneous Distributed System / Nafiseh Sedaghat ; Hamid Tabatabaee-Yazdi ; Mohammad-R Akbarzadeh- T
Job Scheduling Techniques for Distributed Systems with Temporal Constraints / Ping-Yi Lin ; Pangfeng Liu
Replica-Aware Job Scheduling in Distributed Systems / Wei-Cheng Liao ; Jan-Jan Wu
Online Scheduling of Workflow Applications in Grid Environment / Chih-Chiang Hsu ; Kuo-Chan Huang ; Feng-Jian Wang
Securing Interoperable Grid Services in ARC Grid Middleware / Weizhong Qiang ; Aleksandr Konstantinov ; Mattias Ellert ; Hai Jin
A New Game Theoritical Resource Allocation Algorithm for Cloud Computing / Fei Teng ; Frédéric Magoulès
Grid and Pervasive Applications / Track 6:
CPRS: A Cloud-Based Program Recommendation System for Digital TV Platforms / Lai Chin-Feng ; Chang Jui-Hung ; Hu Chia-Cheng ; Huang Yueh-Min ; Chao Han-Chieh
Monitoring and Status Representation of Devices in Wireless Grids / Mahantesh N. Birje ; Sunilkumar S. Manvi
Diagnosis from Bayesian Networks with Fuzzy Parameters û A Case in Supply Chains / Han-Ying Kao ; Chia-Hui Huang ; Chu-Ling Hsu ; Chiao-Ling Huang
Packing and Generating Mechanism of Image Processing Services on Heterogeneous Grid Platforms / Ran Zheng ; Jian Lan ; Qin Zhang
AvPM: An Avatar-Based Personal Messenger for Low Bandwidth Networks / Yu-En Wu ; Cheng-Chin Chiang
Virtual EZ Grid: A Volunteer Computing Infrastructure for Scientific Medical Applications / Mohamed Ben Belgacem ; Nabil Abdennadher ; Marko Niinimaki
Towards Complex Negotiation for Cloud Economy / Kwang Mong Sim
Semantic Grid and Ontologies / Track 7:
A Novel E-Newspapers Publication System Using Provably Secure Time-Bound Hierarchical Key Assignment Scheme and XML Security / Hung-Yu Chien ; Ying-Lun Chen ; Chien-Feng Lo ; Yuh-Ming Huang
A Tree-Based Reliability Model for Composite Web Service with Common-Cause Failures / Bo Zhou ; Keting Yin ; Shuai Zhang ; Honghong Jiang ; Aleksander J. Kavs
Efficient Astronomical Data Classification on Large-Scale Distributed Systems / Min-Feng Wang ; Meng-Feng Tsai ; Yuji Urata ; Chow-Choong Ngeow ; Induk Lee ; Kuiyun Huang ; Wen-Ping Chen
Ontology-Based Personal Annotation Management on Semantic Peer Network to Facilitating Collaborations / Ching-Long Yeh ; Chun-Fu Chang ; Po-Shen Lin ; Yu-Peng Wang ; Yi-Chun Tsai
On the Design of Semi-structured Multi-star Hybrid-Overlays for Multi-attribute Range Queries / You-Fu Yu ; Po-Jung Huang ; Quan-Jie Chen ; Tian-Liang Huang ; Kuan-Chou Lai
Distributed Island-Based Query Answering for Expressive Ontologies / Sebastian Wandelt ; Ralf Moeller
An Extended Description Logic for Event Ontology / Wei Liu ; Wenjie Xu ; Jianfeng Fu ; Zongtian Liu ; Zhaomang Zhaong
Mobile Commerce and Services / Track 8:
An Empirical Analysis of Revisit Behaviors of Monthly Subscription-Based Mobile Video Services / Toshihiko Yamakami
A One-Seg Service Development Model: Ecosystem Considerations in the Context of Mobile Communication/Broadcast Convergence
A Mechanism for Solving the Sequential Inconsistent Event in a Peer-to-Peer Network Virtual Environment / Jui-Fa Chen ; Wei-Chuan Lin ; Kun-Hsiao Tsai ; Yu-Yu Cho ; Cheng-Yu Yu
Enhanced Generic Information Services Using Mobile Messaging / Muhammad Saleem ; Ali Zahir ; Yasir Ismail ; Bilal Saeed
A Focused Crawler with Ontology-Supported Website Models for Information Agents / Sheng-Yuan Yang
An Efficient Technique for OFDM System Using Discrete Wavelet Transform / W. Saad ; N. El-Fishawy ; S. EL-Rabaie ; M. Shokair
Marginalized Particle Filter for Maneuvering Target Tracking Application / Fei Zhou ; Wei-jun He ; Xin-yue Fan
Business Independent Model of Mobile Workforce Management / Volker Gruhn ; Thomas Richter
Multimedia Applications for Cloud / Track 9:
An Adaptive Job Allocation Strategy for Heterogeneous Multi-cluster Systems / Chao-Tung Yang ; Keng-Yi Chou
Privacy Protection of Grid Service Requesters through Distributed Attribute Based Access Control Model / Ali Esmaeeli ; Hamid Reza Shahriari
Detecting and Resolving a Loop in the Tree-Based Mobility Management Protocol / Trung-Dinh Han ; Hoon Oh
Data-Centric Trust Framework for High Integrity Wireless Sensor Networks / Mingming Li ; Jianbin Hu ; Nike Gui
Shuffle: An Enhanced QoS Control by Balancing Energy Consumption in Wireless Sensor Networks / Rong-Guei Tsai ; Hao-Li Wang
Scheduling of Job Combination and Dispatching Strategy for Grid and Cloud System / Tai-Lung Chen ; Ching-Hsien Hsu ; Shih-Chang Chen
The Routing Mechanism with Interface Aware and Congestion Aware for IEEE 802.16j Networks / Wei-Hang Liang ; Horng-Twu Liaw ; Li-Lin Hsiao ; Jyun-Fu Chen ; Ming-Hunag Guo
A Handover Scheme in Heterogeneous Wireless Networks / Yuliang Tang ; Ming- Yi Shih ; Chun-Cheng Lin ; Guannan Kou ; Der-Jiunn Deng
A 3D Video Rendering and Transmission Mechanism Based on Clouding Computing System / I-Ju Liao ; Hua-Pu Cheng ; Tin-Yu Wu ; Wei-Tsong Lee
Intelligent Network Management / Track 10:
Executing Multiple Group by Query Using MapReduce Approach: Implementation and Optimization / Jie Pan ; Yann Le Biannic
A Fully-Protected Large-Scale Email System Built on Map-Reduce Framework / Duy-Phuong Pham ; Shyan-Ming Yuan ; Emery Jou
Agent-Based Immunity for Computer Virus: Abstraction from Dendritic Cell Algorithm with Danger Theory / Chung-Ming Ou ; C.R. Ou
A Metadata Classification Assistant Scientific Data Extraction Architecture / Yue-Shan Chang ; Hsiang-Tai Cheng
Price Differentiation All-Pay Auction-Based Incentives in BitTorrent / Yan Pang ; Zongming Guo
Author Index
Keynote Speeches
A Grid Based Virtual Laboratory for HIV Drugranking / Peter Sloot
Solving the Scalability Dilemma with Clouds, Crowds, and Algorithms / Michael J. Franklin
93.

電子ブック

EB
Paul R. Cohen, Niall M. Adams, Michael R. Berthold, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
94.

電子ブック

EB
Mohammed J. Zaki, Takeo Kanade, Vikram Pudi, B. Ravindran, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
95.

電子ブック

EB
Mohammed J. Zaki, Takeo Kanade, Vikram Pudi, B. Ravindran, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
96.

電子ブック

EB
Hamish Cunningham, Allan Hanbury, Takeo Kanade, Stefan Rüger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Scaling Up High-Value Retrieval to Medium-Volume Data / Hamish Cunningham ; Allan Hanbury ; Stefan Rüger
Sentence-level Attachment Prediction / M-Dyaa Albakour ; Udo Kruschwitz ; Simon Lucas
Rank by Readability: Document Weighting for Information Retrieval / Neil Newbold ; Harry McLaughlin ; Lee Gillam
Knowledge Modeling in Prior Art Search / Erik Graf ; Ingo Frommholz ; Mounia Lalmas ; Keith van Rijsbergen
Combining Wikipedia-Based Concept Models for Cross-Language Retrieval / Benjamin Roth ; Dietrich Klakow
Exploring Contextual Models in Chemical Patent Search / Jay Urbain ; Ophir Frieder
Measuring the Variability in Effectiveness of a Retrieval System / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Millic-Frayling ; Vishwa Vinay
An Information Retrieval Model Based on Discrete Fourier Transform / Alberto Costa ; Massimo Melucci
Logic-Based Retrieval: Technology for Content-Oriented and Analytical Querying of Patent Data / Iraklis Angelos Klampanos ; Hengzhi Wu ; Thomas Roelleke ; Hany Azzam
Automatic Extraction and Resolution of Bibliographical References in Patent Documents / Patrice Lopez
An Investigation of Quantum Interference in Information Retrieval
Abstracts versus Full Texts and Patents: A Quantitative Analysis of Biomedical Entities / Bernd Müller ; Roman Klinger ; Harsha Gurulingappa ; Heinz-Theodor Mevissen ; Martin Hofmann-Apitius ; Juliane Fluck ; Christoph M. Friedrich
Author Index
Scaling Up High-Value Retrieval to Medium-Volume Data / Hamish Cunningham ; Allan Hanbury ; Stefan Rüger
Sentence-level Attachment Prediction / M-Dyaa Albakour ; Udo Kruschwitz ; Simon Lucas
Rank by Readability: Document Weighting for Information Retrieval / Neil Newbold ; Harry McLaughlin ; Lee Gillam
97.

電子ブック

EB
Liqing Zhang, Takeo Kanade, James Kwok, Bao-Liang Lu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Neurophysiological Foundation
Stimulus-Dependent Noise Facilitates Tracking Performances of Neuronal Networks / Longwen Huang ; Si Wu
Range Parameter Induced Bifurcation in a Single Neuron Model with Delay-Dependent Parameters / Min Xiao ; Jinde Cao
Messenger RNA Polyadenylation Site Recognition in Green Alga Chlamydomonas Reinhardtii / Guoli Ji ; Xiaohui Wu ; Qingshun Quinn Li ; Jianti Zheng
A Study to Neuron Ensemble of Cognitive Cortex ISI Coding Represent Stimulus / Hu Yi ; Xin Tian
STDP within NDS Neurons / Mario Antoine Aoun
Synchronized Activities among Retinal Ganglion Cells in Response to External Stimuli / Lei Xiao ; Ying-Ying Zhang ; Pei-Ji Liang
Novel Method to Discriminate Awaking and Sleep Status in Light of the Power Spectral Density / Lengshi Dai ; You Wang ; Haigang Zhu ; Walter J. Freeman ; Guang Li
Current Perception Threshold Measurement via Single Channel Electroencephalogram Based on Confidence Algorithm / Yi Qiu ; Yuping Miao ; Guiping Dai
Electroantennogram Obtained from Honeybee Antennae for Odor Detection / Yuanzhe Zheng ; Zhiyuan Luo
A Possible Mechanism for Controlling Timing Representation in the Cerebellar Cortex / Takeru Honda ; Tadashi Yamazaki ; Shigeru Tanaka ; Tetsuro Nishino
Theory and Models
Parametric Sensitivity and Scalability of k-Winners-Take-All Networks with a Single State Variable and Infinity-Gain Activation Functions / Jun Wang ; Zhishan Guo
Extension of the Generalization Complexity Measure to Real Valued Input Data Sets / Iván Gómez ; Leonardo Franco ; José M. Jerez ; José L. Subirats
A New Two-Step Gradient-Based Backpropagation Training Method for Neural Networks / Xuewen Mu ; Yaling Zhang
A Large-Update Primal-Dual Interior-Point Method for Second-Order Cone Programming / Liang Fang ; Guoping He ; Zengzhe Feng ; Yongli Wang
A Neural Network Algorithm for Solving Quadratic Programming Based on Fibonacci Method / Xianming Kong ; Xiaoyan Ma ; Han Li ; Wei Zhang ; Jingli Yang ; Tingsong Du
A Hybrid Particle Swarm Optimization Algorithm Based on Nonlinear Simplex Method and Tabu Search / Zhanchao Li ; Dongjian Zheng ; Huijing Hou
Fourier Series Chaotic Neural Networks / Jia-hai Zhang ; Chen-zhi Sun ; Yao-qun Xu
Multi-objective Optimization of Grades Based on Soft Computing / Yong He
Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks / Demin Li ; Jie Zhou ; Jiacun Wang ; Chunjie Chen
A Quantum-Inspired Artificial Immune System for Multiobjective 0-1 Knapsack Problems / Jiaquan Gao ; Lei Fang ; Guixia He
RBF Neural Network Based on Particle Swarm Optimization / Yuxiang Shao ; Qing Chen ; Hong Jiang
Genetic-Based Granular Radial Basis Function Neural Network / Ho-Sung Park ; Sung-Kwun Oh ; Hyun-Ki Kim
A Closed-Form Solution to the Problem of Averaging over the Lie Group of Special Orthogonal Matrices / Simone Fiori
A Lower Order Discrete-Time Recurrent Neural Network for Solving High Order Quadratic Problems with Equality Constraints / Wudai Liao ; Jiangfeng Wang ; Junyan Wang
A Experimental Study on Space Search Algorithm in ANFIS-Based Fuzzy Models / Wei Huang ; Lixin Ding
Optimized FCM-Based Radial Basis Function Neural Networks: A Comparative Analysis of LSE and WLSE Method / Wook-Dong Kim
Design of Information Granulation-Based Fuzzy Radial Basis Function Neural Networks Using NSGA-II / Jeoung-Nae Choi
Practical Criss-Cross Method for Linear Programming / Wei Li
Calculating the Shortest Paths by Matrix Approach / Huilin Yuan ; Dingwei Wang
A Particle Swarm Optimization Heuristic for the Index Tacking Problem / Hanhong Zhu ; Yun Chen ; Kesheng Wang
Structural Design of Optimized Polynomial Radial Basis Function Neural Networks / Young-Hoon Kim
Convergence of the Projection-Based Generalized Neural Network and the Application to Nonsmooth Optimization Problems / Jiao Liu ; Yongqing Yang ; Xianyun Xu
Two-Dimensional Adaptive Growing CMAC Network / Ming-Feng Yeh
A Global Inferior-Elimination Thermodynamics Selection Strategy for Evolutionary Algorithm / Fahong Yu ; Yuanxiang Li ; Weiqin Ying
Particle Swarm Optimization Based Learning Method for Process Neural Networks / Kun Liu ; Ying Tan ; Xingui He
Interval Fitness Interactive Genetic Algorithms with Variational Population Size Based on Semi-supervised Learning / Xiaoyan Sun ; Jie Ren ; Dunwei Gong
Research on One-Dimensional Chaos Maps for Fuzzy Optimal Selection Neural Network / Tao Ding ; Hongfei Xiao ; Jinbao Liu
Edited Nearest Neighbor Rule for Improving Neural Networks Classifications / R. Alejo ; J.M. Sotoca ; R.M. Valdovinos ; P. Toribio
A New Algorithm for Generalized Wavelet Transform / Feng-Qing Han ; Li-He Guan ; Zheng-Xia Wang
Neural Networks Algorithm Based on Factor Analysis / Shifei Ding ; Weikuan Jia ; Xinzheng Xu ; Hong Zhu
IterativeSOMSO: An Iterative Self-organizing Map for Spatial Outlier Detection / Qiao Cai ; Haibo He ; Hong Man ; Jianlong Qiu
A Novel Method of Neural Network Optimized Design Based on Biologic Mechanism / Ding Xiaoling ; Shen Jin ; Fei Luo
Research on a Novel Ant Colony Optimization Algorithm / Gang Yi ; Ming Jin ; Zhi Zhou
A Sparse Infrastructure of Wavelet Network for Nonparametric Regression / Jun Zhang ; Zhenghui Gu ; Yuanqing Li ; Xieping Gao
Information Distances over Clusters / Maxime Houllier ; Yuan Luo
Learning and Inference
Regression Transfer Learning Based on Principal Curve / Wentao Mao ; Guirong Yan ; Junqing Bai ; Hao Li
Semivariance Criteria for Quantifying the Choice among Uncertain Outcomes / Yankui Liu ; Xiaoqing Wang
Enhanced Extreme Learning Machine with Modified Gram-Schmidt Algorithm / Jianchuan Yin ; Nini Wang
Solving Large N-Bit Parity Problems with the Evolutionary ANN Ensemble / Lin-Yu Tseng ; Wen-Ching Chen
Multiattribute Bayesian Preference Elicitation with Pairwise Comparison Queries / Shengbo Guo ; Scott Sanner
Local Bayesian Based Rejection Method for HSC Ensemble / Qing He ; Wenjuan Luo ; Fuzhen Zhuang ; Zhongzhi Shi
Orthogonal Least Squares Based on Singular Value Decomposition for Spare Basis Selection / Min Han ; De-cai Li
Spectral Clustering on Manifolds with Statistical and Geometrical Similarity / Yong Cheng ; Qiang Tong
A Supervised Fuzzy Adaptive Resonance Theory with Distributed Weight Update / Aisha Yousuf ; Yi Lu Murphey
A Hybrid Neural Network Model Based Reinforcement Learning Agent / Pengyi Gao ; Chuanbo Chen ; Kui Zhang ; Yingsong Hu ; Dan Li
A Multi-view Regularization Method for Semi-supervised Learning / Jiao Wang ; Siwei Luo ; Yan Li
Multi-reservoir Echo State Network with Sparse Bayesian Learning / Dayun Mu
Leave-One-Out Cross-Validation Based Model Selection for Manifold Regularization / Jin Yuan ; Yan-Ming Li ; Cheng-Liang Liu ; Xuan F. Zha
Probability Density Estimation Based on Nonparametric Local Kernel Regression / Zhi-ping Liang
A Framework of Decision Making Based on Maximal Supported Sets / Ahmad Nazari Mohd Rose ; Tutut Herawan ; Mustafa Mat Deris
Neurodynamics
Dynamics of Competitive Neural Networks with Inverse Lipschitz Neuron Activations / Xiaobing Nie
Stability and Hopf Bifurcation of a BAM Neural Network with Delayed Self-feedback / Shifang Kuang ; Feiqi Deng ; Xuemei Li
Stability Analysis of Recurrent Neural Networks with Distributed Delays Satisfying Lebesgue-Stieljies Measures / Zhanshan Wang ; Huaguang Zhang ; Jian Feng
Stability of Genetic Regulatory Networks with Multiple Delays via a New Functional / Zhenwei Liu
The Impulsive Control of the Projective Synchronization in the Drive-Response Dynamical Networks with Coupling Delay / Yun Gao ; Yanhong Zhao
Novel LMI Stability Criteria for Interval Hopfield Neural Networks with Time Delays / Xiaolin Li ; Jia Jia
Memetic Evolutionary Learning for Local Unit Networks / Roman Neruda ; Petra Vidnerová
Synchronization for a Class of Uncertain Chaotic Cellular Neural Networks with Time-Varying Delay / Jianjun Tu ; Hanlin He
Global Exponential Stability of Equilibrium Point of Hopfield Neural Network with Delay / Xiaolin Liu ; Kun Yuan
Stability of Impulsive Cohen-Grossberg Neural Networks with Delays / Jianfu Yang ; Wensi Ding ; Fengjian Yang ; Lishi Liang ; Qun Hong
P-Moment Asymptotic Behavior of Nonautonomous Stochastic Differential Equation with Delay / Bing Li ; Yafei Zhou ; Qiankun Song
Exponential Stability of the Neural Networks with Discrete and Distributed Time-Varying Delays / Qingbo Li ; Peixu Xing ; Yuanyuan Wu
Mean Square Stability in the Numerical Simulation of Stochastic Delayed Hopfield Neural Networks with Markovian Switching / Hua Yang ; Feng Jiang ; Jiangrong Liu
The Existence of Anti-periodic Solutions for High-Order Cohen-Grossberg Neural Networks / Zhouhong Li ; Kaihong Zhao ; Chenxi Yang
Global Exponential Stability of BAM Type Cohen-Grossberg Neural Network with Delays on Time Scales / Chaolong Zhang
Multistability of Delayed Neural Networks with Discontinuous Activations / Xiaofeng Chen
Finite-Time Boundedness Analysis of Uncertain CGNNs with Multiple Delays / Xiaohong Wang ; Minghui Jiang ; Chuntao Jiang ; Shengrong Li
Dissipativity Analysis of Stochastic Neural Networks with Time-Varying Delays / Jianting Zhou ; Jianxi Yang
Multistability Analysis: High-Order Networks Do Not Imply Greater Storage Capacity Than First-Order Ones / Zhenkun Huang
Properties of Periodic Solutions for Common Logistic Model with Discrete and Distributed Delay / Ting Zhang ; Zhengwen Tu
New Results of Globally Exponentially Attractive Set and Synchronization Controlling of the Qi Chaotic System / Jigui Jian ; Xiaolian Deng
Stability and Attractive Basin of Delayed Cohen-Grossberg Neural Networks / Ailong Wu ; Chaojin Fu ; Xian Fu
Exponential Stability Analysis for Discrete-Time Stochastic BAM Neural Networks with Time-Varying Delays / Tiheng Qin ; Quanxiang Pan ; Yonggang Chen
Invariant and Globally Exponentially Attractive Sets of Separated Variables Systems with Time-Varying Delays / Baoxian Wang
Delay-Dependent Stability of Nonlinear Uncertain Stochastic Systems with Time-Varying Delays / Cheng Wang
Stability Analysis of Fuzzy Cohen-Grossberg Neural Networks with Distributed Delays and Reaction-Diffusion Terms / Weifan Zheng ; Jiye Zhang
Global Exponential Robust Stability of Delayed Hopfield Neural Networks with Reaction-Diffusion Terms / Xiaohui Xu ; Weihua Zhang
Stability and Bifurcation of a Three-Dimension Discrete Neural Network Model with Delay / Wei Yang ; Chunrui Zhang
Globally Exponential Stability of a Class of Neural Networks with Impulses and Variable Delays / Hongying Sun ; Dongqing Wu
Discrete Time Nonlinear Identification via Recurrent High Order Neural Networks for a Three Phase Induction Motor / Alma Y. Alanis ; Edgar N. Sanchez ; Alexander G. Loukianov ; Marco A. Perez-Cisneros
Stability Analysis for Stochastic BAM Neural Networks with Distributed Time Delays / Guanjun Wang
Dissipativity in Mean Square of Non-autonomous Impulsive Stochastic Neural Networks with Delays / Zhiguo Yang ; Zhichun Yang
Stability Analysis of Discrete Hopfield Neural Networks Combined with Small Ones / Weigen Wu ; Jimin Yuan ; Jun Li ; Qianrong Tan ; Xing Yin
Author Index
Neurophysiological Foundation
Stimulus-Dependent Noise Facilitates Tracking Performances of Neuronal Networks / Longwen Huang ; Si Wu
Range Parameter Induced Bifurcation in a Single Neuron Model with Delay-Dependent Parameters / Min Xiao ; Jinde Cao
98.

電子ブック

EB
Liqing Zhang, Takeo Kanade, James Kwok, Bao-Liang Lu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
99.

電子ブック

EB
Ching-Hsien Hsu, Takeo Kanade, Jong Hyuk Park, Laurence T. Yang, Sang-Soo Yeo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
Efficient Web Browsing with Perfect Anonymity Using Page Prefetching / Shui Yu ; Theerasak Thapngam ; Su Wei ; Wanlei Zhou
InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services / Rajkumar Buyya ; Rajiv Ranjan ; Rodrigo N. C'alheiros
Parallel Algorithms
Scalable Co-clustering Algorithms / Bongjune Kwon ; Hy.uk Cho
Parallel Pattern Matching with Swaps on a Linear Array / Fouad B. Chedid
Parallel Prefix Computation in the Recursive Dual-Net / Yamin Li ; Shietung Peng ; Wanming Chu
A Two-Phase Differential Synchronization Algorithm for Remote Files / Yonghong Sheng ; Dan Xu ; Dongsheng Wang
A New Parallel Method of Smith-Waterman Algorithm on a Heterogeneous Platform / Bo Chen ; Yun Xu ; Jiaoyun Yang ; Haitao Jiang
Improved Genetic Algorithm for Minimizing Periodic Preventive Maintenance Costs in Series-Parallel Systems / Chung-Ho Wang ; Te-Wei Lin
A New Hybrid Parallel Algorithm for MrBayes / Jianfu Zhou ; Gang Wang ; Xiaoguang Liu
Research and Design of Deployment Framework for Blade-Based Data Center / Haiping Qu ; Xiuwen Wang ; Lu Xu ; Jiangang Zhang ; Xiaoming Han
Query Optimization over Parallel Relational Data Warehouses in Distributed Environments by Simultaneous Fragmentation and Allocation / Ladjel Bellatreche ; Alfredo Cuzzocrea ; Soumia Benkrid
Parallel Architectures
Function Units Sharing between Neighbor Cores in CMP / Tianzhou Chen ; Jianliang Ma ; Hui Yuan ; Jingwei Liu ; Guanjun Jiang
A High Efficient On-Chip Interconnection Network in SIMD CMPs / Dan Wu ; Kui Dai ; Xuecheng Zou ; Jinli Rao ; Pan Chen
Network-on-Chip Routing Algorithms by Breaking Cycles / Minghua Tang ; Xiaola Lin
A Fair Thread-Aware Memory Scheduling Algorithm for Chip Multiprocessor / Danfeng Zhu ; Rui Wang ; Hui Wang ; Depei Qian ; Zhongzhi Luan ; Tianshu Ghu
Efficient Partitioning of Static Buses for Processor Arrays of Small Size / Susumu Matsumae
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders / Feng Liu ; Qingping Tan ; Xiaoyu Song ; Gang Chen
An Efficient Non-Blocking Multithreaded Embedded System / Joseph M. Arul ; Tsung-Yun Chen ; Guan-Jie Hwang ; Hua-Yuan Chung ; Fu-Jiun Lin ; You-Jen Lee
A Remote Mirroring Architecture with Adaptively Cooperative Pipelining / Yongzhi Song ; Zhenhai Zhao ; Bing Liu ; Tingting Qin
SV: Enhancing SIMD Architectures via Combined SIMD-Vector Approach / Libo Huang ; Zhiying Wang
A Correlation-Aware Prefetching Strategy for Object-Based File System / Jidei Sui ; Jiancong Tong
An Auxiliary Storage Subsystem to Distributed Computing Systems for External Storage Service / MinHwan Ok
Grid / Cluster Computing
Checkpointing and Migration of Communication Channels in Heterogeneous Grid Environments / John Mehnert-Spahn ; Michael Schoettner
On-Line Task Granularity Adaptation for Dynamic Grid Applications / Nithiapidary Muthuvelu ; Ian Chai ; Eswaran Chikkannan
Message Clustering Technique towards Efficient Irregular Data Redistribution in Clusters and Grids / Shih-Chang Chen ; Tai-Lung Chen ; Ching-Hsien Hsu
Multithreading of Kostka Numbers Computation for the BonjourGrid Meta-desktop Grid Middleware / Heithem Abbes ; Franck Butelle ; Christophe Cerin
Adaptable Scheduling Algorithm for Grids with Resource Redeployment Capability / Cho-Chin Lin ; Chih-Hsuan Hsu
Using MPI on PC Cluster to Compute Eigenvalues of Hermitian Toeplitz Matrices / Fazal Noor ; Syed Misbahuddin
Cloud Computing/Virtualization Techniques
idsocket: API for Inter-domain Communications Base on Xen / Liang Zhang ; Yuein Bai ; Cheng Luo
Strategy-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds / Marian Mihailescu ; Yong Meng Teo
Adapting Market-Oriented Scheduling Policies for Cloud Computing / Mohsen Amini Salehi
A High Performance Inter-VM Network Communication Mechanism / Yuebm Bai ; Cong Xu ; Huiyong Zhang
On the Effect of Using Third-Party Clouds for Maximizing Profit / Young Choon Lee ; Chen Wang ; Javid Taheri ; Albert Y. Zomaya ; Bing Bing Zhou
A Tracing Approach to Process Migration for Virtual Machine Based on Multicore Platform / Yuebin Bai ; Xin Wei
GPU Computing and Applications
Accelerating DockG's Amber Scoring with Graphic Processing Unit / Hailong Yang ; Bo 'Li ; Yongjian Wang ; Tianshu Chu
Optimizing Sweep3D for Graphic Processor Unit / Chunye Gong ; Jie Liu ; Zkenghu Gong ; Jin Qin ; Jing Xie
Modular Resultant Algorithm for Graphics Processors / Pavel Emeliyanenko
A Novel Scheme for High Performance Finite-Difference Time-Domain (FDTD) Computations Based on GPU / Jian Dai ; Weiwei Fang ; Yi Liu
Parallel Programming, Performance Evaluation
A Proposed Asynchronous Object Load Balancing Method for Parallel 3D Image Reconstruction Applications / Jose Antonio Alvarez-Bermejo ; Javier Roca-Piera
A Step-by-Step Extending Parallelism Approach for Enumeration of Combinatorial Objects / Hien Phan ; Ben Soh ; Man Nguyen
A Study of Performance Scalability by Parallelizing Loop Iterations on Multi-core SMPs / Prakash Raghavendra ; Akshay Kumar Behki ; K. Hariprasad ; Madhav Mohan ; Praveen Jain ; Srivatsa S. Bhat ; V.M. Thejus ; Vishnumurthy Prabhu
Impact of Multimedia Extensions for Different Processing Element Granularities on an Embedded Imaging System / Jong-Myon Kim
Fault-Tolerant/Information Security and Management
Reducing False Aborts in STM Systems / Daniel Nicácio ; Guido Araújo
Fault-Tolerant Node-to-Set Disjoint-Path Routing in Hypercubes / Antoine Bossard ; Keiichi Kaneko
AirScope: A Micro-scale Urban Air Quality Management System / Jung-Hun Woo ; HyungSeok Kim ; Sang Boem Lim ; Jae-Jin Kim ; Jonghyun Lee ; Rina Ryoo ; Hansoo Kim
Wireless Communication Network
Design of a Slot Assignment Scheme for Link Error Distribution on Wireless Grid Networks / Junghoon Lee ; Seong Baeg Kim ; Mikyung Kang
Wireless Bluetooth Communications Combine with Secure Data Transmission Using ECDH and Conference Key Agreements / Hua- Yi Lin ; Tzu- Chiang Chiang
Robust Multicast Scheme for Wireless Process Control on Traffic Light Networks / Gyung-Leen Park ; Seong-Baeg Kim ; Min-Jae Kang
A Note-Based Randomized and Distributed Protocol for Detecting Node Replication Attacks in Wireless Sensor Networks / Xiangshan Meng ; Kai Lin ; Keqiu Li
Author Index
Keynote Papers
Efficient Web Browsing with Perfect Anonymity Using Page Prefetching / Shui Yu ; Theerasak Thapngam ; Su Wei ; Wanlei Zhou
InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services / Rajkumar Buyya ; Rajiv Ranjan ; Rodrigo N. C'alheiros
100.

電子ブック

EB
Ching-Hsien Hsu, Takeo Kanade, Jong Hyuk Park, Laurence T. Yang, Sang-Soo Yeo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010)
Parallel Programming and Multi-core Technologies
Efficient Grid on the OTIS-Arrangment Network / Ahmad Awwad ; Bassam Haddad ; Ahmad Kayed
Single Thread Program Parallelism with Dataflow Abstracting Thread / Tianzhou Chen ; Xingsheng Tang ; Jianliang Ma ; Lihan Ju ; Guanjun Jiang ; Qingsong Shi
Parallel Programming on a Soft-Core Based Multi-core System / Liang-Teh Lee ; Shin-Tsung Lee ; Ching-Wei Chen
Dynamic Resource Tuning for Flexible Core Chip Multiprocessors / Yongqing Ren ; Hong An ; Tao Sun ; Ming Cong ; Yaobin Wang
Ensuring Confidentiality and Integrity of Multimedia Data on Multi-core Platforms / Bunji Lee ; Sungju Lee ; Yongwha Chung ; Hyeonjoong Cho ; Sung Bum Pan
A Paradigm for Processing Network Protocols in Parallel / Ralph Duncan ; Peder Jungck ; Kenneth Ross
Real-Time Task Scheduling on Heterogeneous Two-Processor Systems / Chin-Fu Kuo and Ying-Chi Hai
Grid/Cluster Computing
A Grid Based System for Closure Computation and Online Service / Wing-Ning Li ; Donald Hayes ; Jonathan Baran ; Cameron Porter ; Tom Schweiger
A Multiple Grid Resource Broker with Monitoring and Information Services / Chao-Tung Yang ; Wen-Jen Hu ; Bo-Han Chen
Design Methodologies of Workload Management through Code Migration in Distributed Desktop Computing Grids / Makoto Yoshida ; Kazumine Kojima
Dynamic Dependent Tasks Assignment for Grid Computing / Meddeber Meriem ; Yagoubi Belabbas
Implementation of a Heuristic Network Bandwidth Measurement for Grid Computing Environments / Chih-Eao Lin
Parallel Algorithms, Architectures and Applications
An Efficient Circuit-Switched Broadcasting in Star Graph / Cheng-Ta Lee ; Yeong-Sung Lin
Parallel Domain Decomposition Methods for High-Order Finite Element Solutions of the Helmholtz Problem / Youngjoon Cha ; Seongjai Kim
Self-Organizing Neural Grove and Its Distributed Performance / Hirotaka Inoue
A Massively Parallel Hardware for Modular Exponentiations Using the m-ary Method / Marcos Santana Farias ; Sérgio de Souza Raposo ; Nadia Nedjah ; Luiza de Macedo Mourelle
Emulation of Object-Based Storage Devices by a Virtual Machine / Yi-Chiun Fang ; Chien-Kai Tseng ; Yarsun Hsu
Balanced Multi-process Parallel Algorithm for Chemical Compound Inference with Given Path Frequencies / Jiayi Zhou ; Kun-Ming Yu ; Chun Yuan Lin ; Kuei-Chung Shih ; Chuan Yi Tang
Harnessing Clusters for High Performance Computation of Gene Expression Microarray Comparative Analysis / Philip Church ; Adam Wong ; Andrzej Goscinski ; Christophe Lefèvre
Mobile Computing/Web Services
Semantic Access Control for Corporate Mobile Devices / Tuncay Ercan ; Mehmet Yildiz
A New Visual Simulation Tool for Performance Evaluation of MANET Routing Protocols / Md. Sabbir Rahman Sakib ; Nazmus Saquib ; Al-Sakib Khan Pathan
A Web Service Composition Algorithm Based on Global QoS Optimizing with MOCACO / Wang Li ; He Yan-xiang
Distributed Operating System/P2P Computing
Experiences Gained from Building a Services-Based Distributed Operating System / Michael Hobbs
Quick Forwarding of Queries to Relevant Peers in a Hierarchical P2P File Search System / Tingting Qin ; Qi Cao ; Qiying Wei ; Satoshi Fujita
iCTPH: An Approach to Publish and Lookup CTPH Digests in Chord / Zhang Jianzhong ; Pan Kai ; Yu Yuniao ; Xu Jingdong
Fault-Tolerant and Information Security
Toward a Framework for Cloud Security / Michael Brock
Cluster-Fault-Tolerant Routing in Burnt Pancake Graphs / Nagateru Iwasawa ; Tatsuro Watanabe ; Tatsuya Iwasaki ; Keiichi Kaneko
Edge-Bipancyclicity of All Conditionally Faulty Hypercubes / Chao-Ming Sun ; Yue-Dar Jou
The 2010 International Workshop on High Performance Computing Technologies and Applications (HPCTA 2010)
Accelerating Euler Equations Numerical Solver on Graphics Processing-Units / Pierre Kestener ; Frédéric Château ; Romain TeyssierSession I:
An Improved Parallel MEMS Processing-Level Simulation Implementation Using Graphic Processing Unit / Yupeng Guo ; Xiaoguang Liu ; Gang Wang ; Fan Zhang ; Xin Zhao
Solving Burgers' Equation Using Multithreading and GPU / Sheng-Hsiu Kuo ; Chih- Wei Hsteh ; Reui-Kuo Lin ; Wen-Hann Sheu
Support for OpenMP Tasks on Cell Architecture / Qian Cao ; Changjun Hu ; Haohu He ; Xiang Huang ; Shigang Li
A Novel Algorithm for.Faults Acquiring and Locating on Fiber Optic Cable Line / Ning Zhang ; Yan Chen ; Naixue Xiong ; Laurence T. Yang ; Dong Liu ; Yuyuan ZhangSession II:
A Parallel Distributed Algorithm for the Permutation Flow Shop
Scheduling Problem / Samia Kouki ; Talel Ladhari ; Mohamed Jemni
A Self-Adaptive Load Balancing Strategy for P2P Grids / Pa-Jung Huang ; You-Fu Yu ; Quan-Jie Chen ; Tian-Liang Huang ; Kuan-Ghou Lai ; Kuan-Ching Li
Embedding Algorithms for Star / Bubble-Sort ; Rotator-Faber-Moore ; Pancake Graphs ; Mihye Kim ; Dongwan Kim ; Hyeongok Lee
Performance Estimation of Generalized Statistical Smoothing to Inverse Halftoning Based on the MTF Function of Human Eyes / Yohei Saika ; Kouki Sugimoto ; Ken OkamotoSession III:
Power Improvement Using Block-Based Loop Buffer with Innermost Loop Control / Ming-Yuan Zhong ; Jong-Jiann Shieh
An Efficient Pipelined Architecture for Fast Competitive Learning / Hui-Ya Li ; Chia-Lung Hung ; Wen- Jyi Hwang
Merging Data Records on EREW PRAM / Hazem M. Bahig
The 2010 International Workshop on Multicore and Multithreaded Architecture and Algorithms (M2A2 2010)
Performance Modeling of Multishift QR Algorithms for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems / Takafumi Miyata ; Yusaku Yamamoto ; Shao-Liang Zhang
A Parallel Solution of Large-Scale Heat Equation Based on Distributed Memory Hierarchy System / Tangpei Cheng ; Qun Wang ; Xiaohui Ji ; Dandan Li
A New Metric for On-line Scheduling and Placement in Reconfigurable Computing Systems / Maisam Mansub Bassiri ; Hadi Shahriar Shahhoseini
Test Data Compression Using Four-Coded and Sparse Storage for Testing Embedded Core / Zhang Ling ; Kuang Ji-shun ; You zhi-qiang
Extending a Multicore Multithread Simulator to Model Power-Aware Hard Real-Time Systems / José Luis March ; Julio Sahuquillo ; Houcine Hassan ; Salvador Petit ; José Duato
Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications / Joan Aracil ; Carlos Domínguez ; Alfons Crespo
Author Index
The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010)
Parallel Programming and Multi-core Technologies
Efficient Grid on the OTIS-Arrangment Network / Ahmad Awwad ; Bassam Haddad ; Ahmad Kayed
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼