close
1.

図書

図書
edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro
出版情報: Boston : Kluwer Academic, c2002  vii, 417 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 96
所蔵情報: loading…
目次情報: 続きを見る
Preface
External Referees
Algorithms, Complexity and Models of Computation / Track 1:
Invited Papers
Power of Quantum Entanglement / Jozef Gruska ; Hiroshi Imai ; Keiji Matsumoto
Information Networks, Link Analysis, and Temporal Dynamics / Jon Kleinberg
Contributed Papers
Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs / Jochen Alber ; Jiri Fiala
Bin-Packing with Fragile Objects / Nikhil Bansal ; Zhen Liu ; Arvind Sankar
Lower and Upper Bounds for Tracking Mobile Users / S. Bespamyatnikh ; B. Bhattacharya ; D. Kirkpatrick ; M. Segal
On the Enumerability of the Determinant and the Rank / Alina Beygelzimer ; Mitsunori Ogihara
On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks / Douglas M. Blough ; Mauro Leoncini ; Giovanni Resta ; Paolo Santi
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication / Beate Bollig ; Stephan Waack ; Philipp Woelfel
Computability of Linear Equations / Vasco Brattka ; Martin Ziegler
Hierarchy Among Automata on Linear Orderings / Veronique Bruyere ; Olivier Carton
Symmetric Connectivity with Minimum Power Consumption in Radio Networks / G. Calinescu ; I.I. Mandoiu ; A. Zelikovsky
A Modified Recursive Triangular Factorization for Cauchy-like Systems / Z. Chen
Algorithmic Complexity of Protein Identification: Searching in Weighted Strings / M. Cieliebak ; T. Erlebach ; Z. Liptak ; J. Stoye ; E. Welzl
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem / Alessandro Dal Palu ; Enrico Pontelli ; Desh Ranjan
Randomized Dining Philosophers without Fairness Assumption / Marie Duflot ; Laurent Fribourg ; Claudine Picaronny
Guarding Galleries and Terrains / Alon Efrat ; Sariel Har-Peled
Gossiping with Unit Messages in Known Radio Networks / Leszek Gasieniec ; Igor Potapov
Memoryless Search Algorithms in a Network with Faulty Advice / N. Hanusse ; D. Kavvadias ; E. Kranakis ; D. Krizanc
Lower Bounds and the Hardness of Counting Properties / Lane A. Hemaspaandra ; Mayur Thakur
Framework for Analyzing Garbage Collection / Matthew Hertz ; Neil Immerman ; J Eliot B Moss
One-Way Permutations and Self-Witnessing Languages / Christopher M. Homan
Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function / Klaus Jansen ; Hu Zhang
On Randomness and Infinity / Gregory Lafitte
Server Placements, Roman Domination and other Dominating Set Variants / A. Pagourtzis ; P. Penna ; K. Schlude ; K. Steinhofel ; D. Taylor ; P. Widmayer
A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees / B. S. Panda ; Sajal K. Das
Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections / Joerg Rothe ; Holger Spakowski ; Joerg Vogel
Quantum NP and Quantum Hierarchy / Tomoyuki Yamakami
Probabilistically Checkable Proofs the Easy Way / Marius Zimand
Logic, Semantics, Specification and Verification / Track 2:
XML Web Services: The Global Computer? / Andrew Gordon
Micro Mobile Programs / Carl Gunter
Checking Polynomial Time Complexity with Types / Patrick Baillot
Boundary Inference for Enforcing Security Policies in Mobile Ambients / Chiara Braghin ; Agostino Cortesi ; Riccardo Focardi ; Steffen van Bakel
Decidability and Tractability of Problems in Object-Based Graph Grammars / Aline Brum Loreto ; Leila Ribeiro ; Laira Vieira Toscani
Coverage of Implementations by Simulating Specifications / Hana Chockler ; Orna Kupferman
TQL Algebra and its Implementation / Giovanni Conforti ; Orlando Ferrara ; Giorgio Ghelli
Model Checking Birth and Death / Dino Distefano ; Arend Rensink ; Joost-Pieter Katoen
Phantom Types and Subtyping / Matthew Fluet ; Riccardo Pucella
On the Weakest Failure Detector for Non-Blocking Atomic Commit / Rachid Guerraoui ; Petr Kouznetsov
Combining Computational Effects: commutativity & sum / Martin Hyland ; Gordon Plotkin ; John Power
Optimal-Reachability and Control for Acyclic Weighted Timed Automata / Salvatore La Torre ; Supratik Mukhopadhyay ; Aniello Murano
Substructural Verification and Computational Feasibility / Daniel Leivant
An Improved System of Intersection Types for Explicit Substitutions / Dan Dougherty ; Stephane Lengrand ; Pierre Lescanne
About Compositional Analysis of Pi-Calculus Processes / Fabio Martinelli
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice / Catuscia Palamidessi ; Oltea Milhaela Herescu
On Reduction Semantics for the Push and Pull Ambient Calculus / I.C.C. Phillips ; M.G. Vigliotti
Safe Dynamic Binding in the Join Calculus / Alan Schmitt
Vectorial Languages and Linear Temporal Logic / Olivier Serre
A Bound on Attacks on Authentication Protocols / Scott D. Stoller
Responsive Bisimulation / Xiaogang Zhang ; John Potter
Author Index
Preface
External Referees
Algorithms, Complexity and Models of Computation / Track 1:
2.

図書

図書
edited by Bernd Kleinjohann ... [et al.]
出版情報: Boston : Kluwer Academic, c2002  x, 286 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 91
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Organization
Modelling and Specification / Session 1:
Can UML be a System-Level Language for Embedded Software? / Joao M. Fernandes ; Ricardo J. Machado
PEARL for Distributed Embedded Systems / Roman Gumzej ; Wolfgang A. Halang
Universal Plug and Play Machine Models / Uwe Glasser ; Margus Veanes
Specification and Analysis / Session 2:
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach / Zonghua Gu ; Kang G. Shin
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems / Carsten Rust ; Friedhelm Stappert ; Reinhard Bernhardi-Grisson
Model Checking Robustness to Desynchronization / Jean-Pierre Talpin
Verification and Validation / Session 3:
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems / Nihal Kececi ; Alain Abran
Towards Design Verification and Validation at Multiple Levels of Abstraction / Holger Giese ; Martin Kardos ; Ulrich Nickel
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions / Prabhat Mishra ; Nikil Dutt
Fault Tolerance and Detection / Session 4:
Statistical Analysis of a Hybrid Replication Model / Emerson Rogerio de Oliveira Junior ; Ingrid Jansch Porto
Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study / Paul Townend ; Jie Xu ; Malcolm Munro
Fault Detection in Safety-Critical Embedded Systems / Domen Verber ; Matjaz Colnaric
Middleware and Reuse / Session 5:
Dependability Characterization of Middleware Services / Eric Marsden ; Nicolas Perrot ; Jean-Charles Fabre ; Jean Arlat
Adaptive Middleware for Ubiquitous Computing Environments / Steven S. Yau ; Fariaz Karim
Finegrained Application Specific Customization of Embedded Software / Danilo Beuche ; Olaf Spinczyk ; Wolfgang Schroder-Preikschat
Timing and Performance Analysis / Session 6:
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems / Grace Tsai
Transforming Execution-Time Boundable Code into Temporally Predictable Code / Peter Puschner
Bottom-Up Performance Analysis of HW/SW Platforms / Kai Richter ; Dirk Ziegenbein ; Marek Jersak ; Rolf Ernst
Partitioning and Scheduling / Session 7:
Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems / Christophe Bobda
Integration of Low Power Analysis into High-Level Synthesis / Achim Rettberg ; Bernd Kleinjohann ; Franz J. Rammig
Going Beyond Deadline-Driven Low-Level Scheduling in Distributed Real-Time Computing Systems / K. H. (Kane) Kim ; Juqiang Liu
Communication and Application / Session 8:
IEEE-1394 A Standard to Interconnect Distributed Systems / Romualdo Santamaria
Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a / M. Zanella ; T. Lehmann ; T. Hestermeyer ; A. Pottharst
A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems / Stefan Ihmor ; Markus Visarius ; Wolfram Hardt
Low Latency Color Segmentation on Embedded Real-Time Systems / Dirk Stichling
Design Methods and Frameworks / Session 9:
Soft IP Design Framework Using Metaprogramming Techniques / Vytautas Stuikys ; Robertas Damasevicius ; Giedrius Ziberkas ; Giedrius Majauskas
How to integrate Webservices in Embedded System Design? / Wolfgang Thronicke
Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems / M. Deppe
Preface
Workshop Organization
Modelling and Specification / Session 1:
3.

図書

図書
edited by Lyman Chapin
出版情報: Boston : Kluwer Academic, c2002  viii, 237 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 92
所蔵情報: loading…
目次情報: 続きを見る
Preface
Research Advances in Middleware for Distributed Systems: State of the Art / Richard E. Schantz ; Douglas C. Schmidt
Internet Routing: The State of the Art / K. Ramasamy ; A. Arokiasamy ; P.A. Balakrishnan
Performance of Telecommunication Systems: State of the Art / Kimon Kontovasilis ; S. Wittevrongel ; H. Bruneel ; B. Van Houdt ; Chris Blondia
Enhancing Web Performance / Arun Iyengar ; Erich Nahum ; Anees Shaikh ; Renu Tewari
Network Management: State of the Art / Raouf Boutaba ; Jin Xiao
State of the Art of Service Creation Technologies in IP and Mobile Environments / Jorma Jormakka ; Henryka Jormakka
QoS, Security, and Mobility Management for Fixed and Wireless Networks under Policy-based Techniques / Guy Pujolle ; Hakima Chaouchi
A Multicast Routing Protocol with Multiple QoS Constraints / Li Layuan ; Li Chunlin
Anonymous Internet Communication Based on IPSec / Ronggong Song ; Larry Korba
Internet Interconnection Economic Model and its Analysis: Peering and Settlement / Martin B. Weiss ; Seung Jae Shin
Dimensioning Company Intranets for IT Bandwidth / Sandor Vincze
Preface
Research Advances in Middleware for Distributed Systems: State of the Art / Richard E. Schantz ; Douglas C. Schmidt
Internet Routing: The State of the Art / K. Ramasamy ; A. Arokiasamy ; P.A. Balakrishnan
4.

図書

図書
edited by Mark Musen, Bernd Neumann, Rudi Studer
出版情報: Boston : Kluwer Academic, c2002  xii, 316 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 93
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Conference and Program Committees
Invited Presentations
Being Smart In Information Processing / H. Akkermans
Multimodal Representations as Basis for Cognitive Architecture / B. Chandrasekaran
Agent-Based Computing / N. R. Jennings
Architectures and Solutions for the Knowledge Web / E. Motta
Semantic Web and Peer-to-Peer Technologies for Distributed Learning Repositories / W. Nejdl
Paper Sessions
Ontology Management
Managing Multiple Ontologies and Ontology Evolution in Ontologging / A. Maedche ; B. Motik ; L. Stojanovic ; R. Studer ; R. Volz
IKAT: A Tool for Incremental Development of Ontologies through Versions / M. Larranaga ; J. A. Elorriaga
A Template-Based Approach Toward Acquisition of Logical Sentences / C.J. Hou ; N. F. Noy ; M. A. Musen
Semantic Web Architecture
Configuring Online Problem-Solving Resources with the Internet Reasoning Service / M. Crubezy ; W. Lu
Semantic Web and Multi-Agents Approach to Corporate Memory Management / F. Gandon ; R. Dieng-Kuntz ; O. Corby ; A. Giboin
Mobile Constraints for Semantic Web Applications / P. Gray ; K. Hui ; A. Preece
Knowledge-engineering Frameworks
A Knowledge Based Framework for The Design of Soft-Computing Systems / S. Ramachandran ; M. Erraguntla ; P. Benjamin
A Reverse Engineering Approach for Migrating Data-intensive Web Sites to the Semantic Web / N. Stojanovic
Systematic Generation of Bayesian Networks from Systems Specifications / M. Borth ; H. von Hasseln
Knowledge-system Structure
Dynamic Choice of Agent Interaction Protocols / J.-L. Koning
An Algebraic Characterization of Equivalent Bayesian Networks / S. K. M. Wong ; D. Wu
Estimating Knowledge Decay / J. Debenham
Data Mining
An Information-Theoretic Approach to the Pre-pruning of Classification Rules / M. Bramer
A User-Centered Visual Approach to Data Mining: The System D2MS / T. B. Ho ; T. D. Nguyen ; D. D. Nguyen
ONTOCOPI: Methods and Tools for Identifying Communities of Practice / H. Alani ; K. O'Hara ; N. Shadbolt
Implementing Problem Solvers
The JESSTAB Approach to Protege and JESS Integration / H. Eriksson
Implementing Constraint Solvers in B-Prolog / N. Zhou
Poster Session
Application of Uncertain Variables to Decision Making in a Class of Distributed Computer Systems / Z. Bubnicki
Learning Fuzzy Decision Trees from Sequential and Incomplete Data / G. Chen ; R. Lu ; Z. Jin
Harnessing the Internet into a Knowledge Framework / R. Longworth
Analogy Supports for Software Reuse and Knowledge Management / C.-H. Lung ; G.T. Mackulak ; J.E. Urban
Knowledge Management Support for Cooperative Research / J. Ma ; M. Hemmje
An Extended Possibility-Based Fuzzy Nested Relational Database Model and Algebra / Z. M. Ma ; F. Mili
Real-Time Meeting Scheduling Model by Computer Supported Cooperative Work / G. Martinovic ; L. Budin
The NED IIS Project - Forest Ecosystem Management / W. Potter ; D. Nute ; J. Wang ; F. Maier ; M. Twery ; M. Rauscher ; P. Knopp ; S. Thomasma ; M. Dass ; H. Uchiyama
Elaboration and Exploitation of Lessons Learned / H. Rakoto ; P. Clermont ; L. Geneste
A Hybrid Expert System Supporting Diagnosis of Heart Diseases / A.-B. M. Salem ; R. A. HodHod
IDSIS: Intelligent Document Semantic Indexing System / Z. Shi ; B. Wu ; Q. He ; X. Gong ; S. Liu ; Y. Zheng
An Application of Assembly Structure in Welding Estimate of Welding Object in Manufacturing Design / Z. Zhang ; I. Nagasawa ; M. Mochizuki ; H. Yamaguchi ; M. Umeda
Author Index
Foreword
Conference and Program Committees
Invited Presentations
5.

図書

図書
edited by Jan Bosch ... [et al.]
出版情報: Boston : Kluwer Academic, c2002  xiii, 235 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 97
所蔵情報: loading…
目次情報: 続きを見る
Organizing Committee
Program Committee
Preface
Dynamic Software Architectures
The Adaptive Object-Model Architectural Style / Joseph W. Yoder ; Ralph Johnson
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments / Joao Pedro Sousa ; David Garlan
Using Architectural Style as a Basis for System Self-repair / Shang-Wen Cheng ; Bradley Schmerl ; Bridget Spitznagel ; Peter Steenkiste
Architecture Analysis
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM / Tianjun Shi ; Xudong He
Dynamic Reconfigurable Software Architecture: Analysis and Evaluation / Amar Ramdane-Cherif ; Nicole Levy ; Francisca Losavio
Understanding and Propagating Architectural Changes / Christopher Van der Westhuizen ; Andre van der Hoek
Architecture Description
Practical Rationale for Describing Software Architecture / Kari Smolander ; Tero Paivarinta
Documenting and Analyzing a Context-Sensitive Design Space / Hans de Bruin ; Hans van Vliet ; Ziv Baida
Introducing Reflection in Architecture Description Languages / Carlos E. Cuesta ; Pablo de la Fuente ; Manuel Barrio-Solorzano ; M. Encarnacion Beato
Architecture Reconstruction and Evolution
Architecture Reconstruction in Practice / Claudio Riva
Introducing the Software Architectonic Viewpoint / Alessandro Maccari ; Galal H. Galal
Component-based Architectures
A Component-Based Software Architecture for Industrial Control / Frank Luders ; Ivica Crnkovic ; Andreas Sjogren
Analyzing Commercial Component Models / Wayne DePrince Jr. ; Christine Hofmeister
A Family of Software Architecture Implementation Frameworks / Nenad Medvidovic ; Nikunj Mehta ; Marija Mikic-Rakic
Author Index
Organizing Committee
Program Committee
Preface
6.

図書

図書
edited by Klaus Brunnstein, Jacques Berleur
出版情報: Boston : Kluwer Academic Publishers, c2002  xii, 331 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 98
所蔵情報: loading…
7.

図書

図書
edited by Judy Hammond, Tom Gross, Janet Wesson
出版情報: Boston : Kluwer Academic, c2002  xi, 298 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 99
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee Chairs
International Programme Committee
Keynote Speaker / Part 1:
Deconstructing Silos: The Business Value of Usability in the 21st Century / Gitte Lindgaard
Technical Sessions / Part 2:
User-Centred Design Process
A Method-Independent Process Model of User-Centred Design / Timo Jokela
Use and Reuse of HCI Knowledge in the Software Development Lifecycle: Existing Approaches and What Developers Think / Eduard Metzker ; Harald Reiterer
Analyzing the Role of Organizational Culture in the Implementation of User-Centered Design: Disentangling the Approaches for Cultural Analysis / Netta Iivari
Usability of Mobile Systems
The Importance of User Roles in Feature Bundling Decisions in Wireless Handheld Devices: Strategic User Needs Analysis (SUNA) / Sheila Narasimhan
Exploring the Use of the Mobile Phone / Nadine Ozkan
Usability Engineering Milestones In Complex Product Development--Experiences At Nokia Mobile Phones: Industrial Experience / Pekka Ketola
User Requirements Analysis
Use Case Maps: A Roadmap for Usability and Software Integrated Specification / A. Alsumait ; A. Seffah ; T. Radhakrishnan
User Requirements Analysis: A Review of Supporting Methods / Martin Maguire ; Nigel Bevan
Usability Evaluation
Specifying and Evaluating Usability Requirements Using the Common Industry Format: Four Case Studies / Nigel Claridge ; Maria Athousaki
Formal Usability Testing of Interactive Educational Software: A Case Study / Darelle Van Greunen ; Janet Wesson
Tools
EQUAL: Towards an Inclusive Design Approach to Novice Programming Languages and Computing Environments for Native Users / Basawaraj Patil ; Klaus Maetzel ; Erich J. Neuhold
MouseLupe: An Accessibility Tool for People with Low Vision / Luciano Silva ; Olga R. P. Bellon ; Paulo F. U. Gotardo ; Percy Nohama
A Framework for Rapid Mid-Fidelity Prototyping of Web Sites / Daniel Engelberg ; Ahmed Seffa
Web Usability
Keep on Trying: Online Securities Trading Sites / Dmitri Morenkov
User Satisfaction, Aesthetics and Usability: Beyond Reductionism / Cathy Dudek
Frameworks for Usability
Evaluating Security Tools towards Usable Security: A Usability Taxonomy for the Evaluation of Security Tools Based on a Categorization of User Errors / Johannes Kaiser ; Martin Reichenbach
Improving Usability in Decision Support Systems: Practical Use of the Decision Enquiry Approach for Requirements Analysis / Caroline Parker
Teaching Human-Computer Interaction: Qualitative Support for an Alternative Approach / Paula Kotze ; Lars Oestreicher
Usability: Who Cares?
Usability: Who Cares?: An Analysis of Indifference Towards Usability Within the IT Industry / Thomas McCoy
Author Index
Keywords Index
Preface
Committee Chairs
International Programme Committee
8.

図書

図書
edited by Don Passey, Mike Kendall
出版情報: Boston : Kluwer Academic, c2002  xxiii, 372 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 102
所蔵情報: loading…
9.

図書

図書
edited by Jean-Jacques Levy, Ernst W. Mayr, John C. Mitchell
出版情報: Boston : Kluwer Academic Publishers, c2004  ix, 676 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 155
所蔵情報: loading…
10.

図書

図書
edited by Winfried Lamersdorf, Volker Tschammer, Stéphane Amarger
出版情報: Boston ; London : Kluwer Academic Pub., 2004  xii, 489 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 146
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼