close
1.

電子ブック
ＥＢ
1. Distributed Applications and Interoperable Systems
Frank Eliassen, Takeo Kanade, R?diger Kapitza, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
2.

電子ブック
ＥＢ
2. Functional and Logic Programming
Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germ?n Vidal, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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.

電子ブック
ＥＢ
3. Models in Software Engineering
Sudipto Ghosh, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Engineering Secure Software and Systems
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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.

電子ブック
ＥＢ
5. Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm
Invited Tutorials
Abstract Interpretation-Based Protection (Extended Abstract) / Roberto Giacobazzi
Advances in Probabilistic Model Checking (Abstract) / Joost-Pieter Katoen
Building a Calculus of Data Structures / Viktor Kuncak ; Ruzica Piskac ; Philippe Suter ; Thomas Wies
Regular Papers
Temporal Reasoning for Procedural Programs / Rajeev Alur ; Swarat Chaudhuri
Improved Model Checking of Hierarchical Systems / Benjamin Aminof ; Orna Kupferman ; Aniello Murano
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming / Lei Bu ; Jianhua Zhao ; Xuandong Li
Complexity Bounds for the Verification of Real-Time Software / Rohit Chadha ; Axel Legay ; Pavithra Prabhakar ; Mahesh Viswanathan
An Abstract Domain to Discover Interval Linear Equalities / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Interpolant Strength / Vijay D'Silva ; Daniel Kroening ; Mitra Purandare ; Georg Weissenbacher
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing / Jori Dubrovin
Invariant and Type Inference for Matrices / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovács ; Andrei Voronkov
Deriving Invariants by Algorithmic Learning, Decision-Procedures, and Predicate Abstraction / Yungbum Jung ; Soonho Kong ; Bow-Yaw Wang ; Kwangkeun Yi
Automatic Abstraction for Congruences / Andy King ; Harald Søndergaard
Shape Analysis of Low-Level C with Overlapping Structures / Jörg Kreiker ; Helmut Seidl ; Vesal Vojdani
Abstract Threads / Shuvendu K. Lahiri ; Alexander Malkis ; Shaz Qadeer
Shape Analysis with Reference Set Relations / Mark Marron ; Rupak Majumdar ; Darko Stefanovic ; Deepak Kapur
Shape Analysis in the Absence of Pointers and Structure / Matthew Might
An Analysis of Permutations in Arrays / Valentin Perrelle ; Nicolas Halbwachs
Regular Linear Temporal Logic with Past / César Sánchez ; Martin Leucker
Model-Checking In-Lined Reference Monitors / Meera Sridhar ; Kevin W. Hamlen
Considerate Reasoning and the Composite Design Pattern / Alexander J. Summers ; Sophia Drossopoulou
RGSep Action Inference / Viktor Vafeiadis
Best Probabilistic Transformers / Lijun Zhang
Collections, Cardinalities, and Relations / Kuat Yessenov
Author Index
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
6.

電子ブック
ＥＢ
6. Distributed Computing in Sensor Systems
Rajmohan Rajaraman, Adam Dunkels, Takeo Kanade, Thomas Moscibroda, Anna Scaglione, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
7.

電子ブック
ＥＢ
7. ECOOP 2010 ? Object-Oriented Programming
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
8.

電子ブック
ＥＢ
8. Future Multimedia Networking
Sherali Zeadally, Eduardo Cerqueira, Mar??lia Curado, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Quality of Service (QoS) and Quality of Experience (QoE) Management in Content Centric Networks
A QoE Fuzzy Routing Protocol for Wireless Mesh Networks / Rafael Gomes ; Waldir Junior ; Eduardo Cerqueira ; Antonio Abelem
Multimedia Sharing over the Internet from a Mobile Phone / Rui Trindade ; Paulo Correia ; Miguel Santos
Over Provisioning-Centric QoS-Routing Mechanism for the Communication Paradigm of Future Internet 4WARD Proposal / Augusto Neto ; Sérgio Figueiredo ; Rui Aguiar ; Leandro Marçal ; Leandro Freitas
Video Quality Assessment in Future Multimedia Networking
QoE as a Function of Frame Rate and Resolution Changes / Lucjan Janowski ; Piotr Romaniak
How to Build an Objective Model for Packet Loss Effect on High Definition Content Based on SSIM and Subjective Experiments
An Edge-Preserving Motion-Compensated Approach for Video Deinterlacing / Daulet Zhanguzin ; Maria Trocan ; Beata Mikovicova
Video Distribution in Future Multimedia Networking
Recording and Playout of Multimedia Conferencing Sessions: A Standard Approach / Alessandro Amirante ; Tobia Castaldi ; Lorenzo Miniero ; Simon Pietro Romano
Personalized TV Service through Employing Context-Awareness in IPTV/IMS Architecture / Songbo Song ; Hassnaa Moustafa ; Hossam Afifi
Extended UpnP Multimedia Content Delivery with an HTTP Proxy / OLiver Dugeon ; Mohamed Mahdi ; Rémi Bars ; Romain Carbou
Demonstration on Future Multimedia Networking
Abare: A Coordinated and Autonomous Framework for Deployment and Management of Wireless Mesh Networks / Billy Pinheiro ; Vagner Nascimento ; Waldir Moreira ; Antônio Abelém
CAPIRE: A Context-Aware Points of Interest REcognition System Using a CBIR Approach / Irene Minetti ; Silvana Dellepiane ; Massimo Valla
Determining Qos in the Video Telephony Service in an IP Environment / Christian Hoppe ; Tadeus Uhl ; Krzysztof Nowicki
Strategies for Planning Large Capillarity Broadband Networks Based on ADSL2+ Technology: A Case of Study for QoS-Aware Triple Play Services / Diego L. Cardoso ; Adamo L. Santana ; Carlos R.L. Francês
Efficient Transmission of 3D Video Using MPEG-4 AVC/H.264 Compression Technology / Marek Domanski ; Krzysztof Klimaszewski ; Olgierd Stankiewicz ; Jakub Stankowski ; Krzysztof Wegner
Session Level Analysis of P2P Television Traces / Arkadiusz Biernacki ; Udo R. Krieger
A Software Architecture for Adapting Virtual Reality Content to Mobile Devices / José Barbosa Dias Júnior ; Marlus Dias Silva ; Luiz Fernando Braga Lope ; Eduardo Filgueiras Damasceno ; Alexandre Cardoso ; Edgard Afonso Lamounier Júnior
Author Index
Quality of Service (QoS) and Quality of Experience (QoE) Management in Content Centric Networks
A QoE Fuzzy Routing Protocol for Wireless Mesh Networks / Rafael Gomes ; Waldir Junior ; Eduardo Cerqueira ; Antonio Abelem
Multimedia Sharing over the Internet from a Mobile Phone / Rui Trindade ; Paulo Correia ; Miguel Santos
9.

電子ブック
ＥＢ
9. Intelligent Computer Mathematics
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.
出版情報: Springer eBooks Computer Science , 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
10.

電子ブック
ＥＢ
10. Smart Graphics
Robyn Taylor, Pierre Boulanger, Takeo Kanade, Antonio Kr?ger, Patrick Olivier, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼