close
1.

図書

図書
Rémi Bastide, Philippe Palanque, Jörg Roth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xii, 400 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3425
所蔵情報: loading…
2.

図書

図書
Uffe Kock Wiil (ed.)
出版情報: Berlin ; Heidelberg : Springer, c2005  viii, 219 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3511
所蔵情報: loading…
3.

図書

図書
Claire J. Tomlin, Mark R. Greenstreet (eds.)
出版情報: Berlin : Springer, c2002  xiii, 480 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2289
所蔵情報: loading…
4.

図書

図書
Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
出版情報: Berlin : Springer, c2002  xiv, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2299
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I:
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II:
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III:
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV:
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V:
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI:
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
5.

図書

図書
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版情報: Berlin : Springer, c2002  xiii, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2283
所蔵情報: loading…
目次情報: 続きを見る
Elementary Techniques / Part I:
The Basics / 1:
Introduction / 1.1:
Theories / 1.2:
Types, Terms, and Formulae / 1.3:
Variables / 1.4:
Interaction and Interfaces / 1.5:
Getting Started / 1.6:
Functional Programming in HOL / 2:
An Introductory Theory / 2.1:
An Introductory Proof / 2.2:
Some Helpful Commands / 2.3:
Datatypes / 2.4:
Lists / 2.4.1:
The General Format / 2.4.2:
Primitive Recursion / 2.4.3:
Case Expressions / 2.4.4:
Structural Induction and Case Distinction / 2.4.5:
Case Study: Boolean Expressions / 2.4.6:
Some Basic Types / 2.5:
Natural Numbers / 2.5.1:
Pairs / 2.5.2:
Datatype option / 2.5.3:
Definitions / 2.6:
Type Synonyms / 2.6.1:
Constant Definitions / 2.6.2:
The Definitional Approach / 2.7:
More Functional Programming / 3:
Simplification / 3.1:
What Is Simplification? / 3.1.1:
Simplification Rules / 3.1.2:
The simp Method / 3.1.3:
Adding and Deleting Simplification Rules / 3.1.4:
Assumptions / 3.1.5:
Rewriting with Definitions / 3.1.6:
Simplifying let-Expressions / 3.1.7:
Conditional Simplification Rules / 3.1.8:
Automatic Case Splits / 3.1.9:
Tracing / 3.1.10:
Induction Heuristics / 3.2:
Case Study: Compiling Expressions / 3.3:
Advanced Datatypes / 3.4:
Mutual Recursion / 3.4.1:
Nested Recursion / 3.4.2:
The Limits of Nested Recursion / 3.4.3:
Case Study: Tries / 3.4.4:
Total Recursive Functions / 3.5:
Defining Recursive Functions / 3.5.1:
Proving Termination / 3.5.2:
Simplification and Recursive Functions / 3.5.3:
Induction and Recursive Functions / 3.5.4:
Presenting Theories / 4:
Concrete Syntax / 4.1:
Infix Annotations / 4.1.1:
Mathematical Symbols / 4.1.2:
Prefix Annotations / 4.1.3:
Syntax Translations / 4.1.4:
Document Preparation / 4.2:
Isabelle Sessions / 4.2.1:
Structure Markup / 4.2.2:
Formal Comments and Antiquotations / 4.2.3:
Interpretation of Symbols / 4.2.4:
Suppressing Output / 4.2.5:
Logic and Sets / Part II:
The Rules of the Game / 5:
Natural Deduction / 5.1:
Introduction Rules / 5.2:
Elimination Rules / 5.3:
Destruction Rules: Some Examples / 5.4:
Implication / 5.5:
Negation / 5.6:
Interlude: The Basic Methods for Rules / 5.7:
Unification and Substitution / 5.8:
Substitution and the subst Method / 5.8.1:
Unification and Its Pitfalls / 5.8.2:
Quantifiers / 5.9:
The Universal Introduction Rule / 5.9.1:
The Universal Elimination Rule / 5.9.2:
The Existential Quantifier / 5.9.3:
Renaming an Assumption: rename_tac / 5.9.4:
Reusing an Assumption: frule / 5.9.5:
Instantiating a Quantifier Explicitly / 5.9.6:
Description Operators / 5.10:
Definite Descriptions / 5.10.1:
Indefinite Descriptions / 5.10.2:
Some Proofs That Fail / 5.11:
Proving Theorems Using the blast Method / 5.12:
Other Classical Reasoning Methods / 5.13:
Forward Proof: Transforming Theorems / 5.14:
Modifying a Theorem Using of and THEN / 5.14.1:
Modifying a Theorem Using OF / 5.14.2:
Forward Reasoning in a Backward Proof / 5.15:
The Method insert / 5.15.1:
The Method subgoal_tac / 5.15.2:
Managing Large Proofs / 5.16:
Tacticals, or Control Structures / 5.16.1:
Subgoal Numbering / 5.16.2:
Proving the Correctness of Euclid's Algorithm / 5.17:
Sets, Functions, and Relations / 6:
Sets / 6.1:
Finite Set Notation / 6.1.1:
Set Comprehension / 6.1.2:
Binding Operators / 6.1.3:
Finiteness and Cardinality / 6.1.4:
Functions / 6.2:
Function Basics / 6.2.1:
Injections, Surjections, Bijections / 6.2.2:
Function Image / 6.2.3:
Relations / 6.3:
Relation Basics / 6.3.1:
The Reflexive and Transitive Closure / 6.3.2:
A Sample Proof / 6.3.3:
Well-Founded Relations and Induction / 6.4:
Fixed Point Operators / 6.5:
Case Study: Verified Model Checking / 6.6:
Propositional Dynamic Logic - PDL / 6.6.1:
Computation Tree Logic - CTL / 6.6.2:
Inductively Defined Sets / 7:
The Set of Even Numbers / 7.1:
Making an Inductive Definition / 7.1.1:
Using Introduction Rules / 7.1.2:
Rule Induction / 7.1.3:
Generalization and Rule Induction / 7.1.4:
Rule Inversion / 7.1.5:
Mutually Inductive Definitions / 7.1.6:
The Reflexive Transitive Closure / 7.2:
Advanced Inductive Definitions / 7.3:
Universal Quantifiers in Introduction Rules / 7.3.1:
Alternative Definition Using a Monotone Function / 7.3.2:
A Proof of Equivalence / 7.3.3:
Another Example of Rule Inversion / 7.3.4:
Case Study: A Context Free Grammar / 7.4:
Advanced Material / Part III:
More about Types / 8:
Numbers / 8.1:
Numeric Literals / 8.1.1:
The Type of Natural Numbers, nat / 8.1.2:
The Type of Integers, int / 8.1.3:
The Type of Real Numbers, real / 8.1.4:
Pairs and Tuples / 8.2:
Pattern Matching with Tuples / 8.2.1:
Theorem Proving / 8.2.2:
Records / 8.3:
Record Basics / 8.3.1:
Extensible Records and Generic Operations / 8.3.2:
Record Equality / 8.3.3:
Extending and Truncating Records / 8.3.4:
Axiomatic Type Classes / 8.4:
Overloading / 8.4.1:
Axioms / 8.4.2:
Introducing New Types / 8.5:
Declaring New Types / 8.5.1:
Defining New Types / 8.5.2:
Advanced Simplification, Recursion, and Induction / 9:
Advanced Features / 9.1:
How the Simplifier Works / 9.1.2:
Advanced Forms of Recursion / 9.2:
Beyond Measure / 9.2.1:
Recursion over Nested Datatypes / 9.2.2:
Partial Functions / 9.2.3:
Advanced Induction Techniques / 9.3:
Massaging the Proposition / 9.3.1:
Beyond Structural and Recursion Induction / 9.3.2:
Derivation of New Induction Schemas / 9.3.3:
CTL Revisited / 9.3.4:
Case Study: Verifying a Security Protocol / 10:
The Needham-Schroeder Public-Key Protocol / 10.1:
Agents and Messages / 10.2:
Modelling the Adversary / 10.3:
Event Traces / 10.4:
Modelling the Protocol / 10.5:
Proving Elementary Properties / 10.6:
Proving Secrecy Theorems / 10.7:
Appendix / A:
Bibliography
Index
Elementary Techniques / Part I:
The Basics / 1:
Introduction / 1.1:
6.

図書

図書
Stephan Diehl (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2269
所蔵情報: loading…
目次情報: 続きを見る
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1:
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
Animating Algorithms Live and Post Mortem / Stephan Diehl ; Carsten Görg
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership / James Noble
Algorithm Animation Using Data FlowTracing / Jaroslaw Francik
GeoWin: A Generic Tool for Interactive Visualization of Geometric Algorithms / Matthias Bäsken ; Stefan Näher
Algorithm Animation Systems for Constrained Domains / Ayellet Tal
Algorithm Animation for Teaching / Rudolf Fleischer ; Luděk Kučera
Software Engineering with an Introduction / Rym Mili ; Renee Steiner2:
Software Visualization for Reverse Engineering / Rainer Koschke
Visualizing the Execution of Java Programs / Wim De Pauw ; Erik Jensen ; Nick Mitchell ; Gary Sevitsky ; John Vlissides ; Jeaha Yang
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs / Katharina Mehner
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) / Rainer Oechsle ; Thomas Schmitt
Visualizing Memory Graphs / Thomas Zimmermann ; Andreas Zeller
Software Visualization and Education with an Introduction / John Domingue3:
Structure and Constraints in Interactive Exploratory Algorithm Learning / Nils Faltin
A Language and System for Constructing and Presenting LowFidelity Algorithm Visualizations / Christopher Hundhausen ; Sarah Douglas
Towards a Taxonomy of Network Protocol Visualization Tools / Pilu Crescenzi ; Gaia Innocenti
Understanding Algorithms by Means of Visualized Path Testing / Ari Korhonen
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web / Rockford J. Ross ; Michael T. Grinder
Graphs in Software Visualization with an Introduction / Petra Mutzel ; Peter Eades4:
On the Visualization of Java Programs / Holger Eichelberger ; J. Wolff von Gudenberg
Graph Drawing Algorithm Engineering with AGD / Carsten Gutwenger ; Michael Junger ; Gunnar W. Klau ; Sebastian Leipert
An Overviewof the GXL Graph Exchange Language / Andreas Winter ; Bernt Kullbach ; Volker Riediger
Call Graph and Control FlowGraph Visualization for Developers of Embedded Applications / Alexander A. Evstiougov-Babaev
Future Perspectives with an Introduction / 5:
Visualization for the MindÆs Eye / Nelson Baloian ; Wolfram Luther
The rube Framework for Personalized 3-D Software Visualization / John F. Hopkins ; Paul A. Fishwick
Algorithm Explanation: Visualizing Abstract States and Invariants / Reinhard Wilhelm ; Tomasz Muldner ; Raimund Seidel
Visualisation and Debugging of Decentralised Information Ecosystems / Rolf Hendrik van Lengen ; Jan-Thies Bahr
Author Index
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1:
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
7.

図書

図書
David J. Hand, Niall M. Adams, Richard J. Bolton (eds.)
出版情報: Berlin : Springer, c2002  xii, 226 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2447 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Michael O'Neill ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 245 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2464 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
On the Usefulness of Extracting Syntactic Dependencies for Text Indexing / Miguel A. Alonso ; Jesús Vilares ; Victor M. Darriba
Using Latent Semantic Indexing as a Measure of Conceptual Association for Noun Compound Disambiguation / Alan M. Buckeridge ; Richard F.E. Sutcliffe
RADAR: Finding Analogies Using Attributes of Structure / Brian P. Crean ; Diarmuid O'Donoghue
Classifying Languages Based on Speech Rhythm / Fred Cummins
Finding Agents in a Two-Dimensional Boolean STaM / Jim Doran
Neuro-symbolic System for Forecasting Red Tides / Florentino Fdez-Riverola ; Juan M. Corchado ; Jesús M. Torres
Improved Learning for Hidden Markov Models Using Penalized Training / Bill Keller ; Rudi Lutz
Recovering High-Level Structure of Software Systems Using a Minimum Description Length Principle
A System for Multi-agent Information Retrieval / Paula Mc Dermott ; Colm O'Riordan
All There Is to the Mind Is to Have the Right Genes, or, Consciousness as a Form of Genetic Engineering / Ajit Narayanan
Towards Robust Collaborative Filtering / Michael P. O'Mahony ; Neil J. Hurley ; Guenole C.M. Silvestre
GVR: A New Genetic Representation for the Vehicle Routing Problem / Francisco B. Pereira ; Jorge Tavares ; Penousal Machado ; Ernesto Costa
An Empirical Comparison of Particle Swarm and Predator Prey Optimisation / Arlindo Silva ; Ana Neves
Data Mining Support for Case-Based Collaborative Recommendation / Barry Smyth ; David Wilson ; Derry O'Sullivan
The Feasibility of Machine Learning for Query Answering - An Experiment in Two Domains / Kieran White
Meta-knowledge Annotation for Efficient Natural-Language Question-Answering / Tony Veale
Concise Papers
Financial Time Series Modelling Using Neural Networks: An Assessment of the Utility of a Stacking Methodology / Anthony Brabazon
Experiments in Sparsity Reduction: Using Clustering in Collaborative Recommenders / Derek Bridge ; Jerome Kelleher
Identification of Visual Features Using a Neural Version of Exploratory Projection Pursuit / Emilio Corchado ; Colin Fyfe
How People Compare an ItemÆs Placement in Two Alternative Categories / Fintan Costello
Investigations into Market Index Trading Models Using Evolutionary Automatic Programming / Ian Dempsey ; Michael O'Neill
An Interactive Story Engine / Chris Fairclough ; Pádraig Cunningham
Coherence, Explanation, and Bayesian Networks / David H. Glass
Combining Case-Based Reasoning and Analogical Reasoning in Software Design / Paulo Gomes ; Francisco C. Pereira ; Nuno Seco ; Paulo Paiva ; Paulo Carreiro ; Jose L. Ferreira ; Carlos Bento
Combination Methods for Improving the Reliability of Machine Translation Based Cross-Language Information Retrieval / Gareth J.F. Jones ; Adenike M. Lam-Adesina
A System for Music Information Retrieval / Orla Lahart
A New Bayesian Network Structure for Classification Tasks / Michael G. Madden
Evaluating Preference-Based Feedback in Recommender Systems / Lorraine Mc Ginty
Design of a Musical Instrument Classifier System Based on Mel Scaled Cepstral Coefficient Supervectors and a Supervised Two-Layer Feedforward Neural Network / Declan McGrath
An Interactive Learning Environment for Knowledge Engineering / David McSherry
Customising a Copying-Identifier for Biomedical Science Student Reports: Comparing Simple and Smart Analyses / Julia Medori ; Eric Atwell ; Paul Gent ; Clive Souter
A Hybridised GA for the Steiner Minimal Tree Problem / R. Panadero ; J.L. Fernández-Villacanas
Speaking Autonomous Intelligent Devices / Robert J. Ross ; Bryan McEleney ; Robert Kelly ; Tarek Abu-Amer ; Michael Walsh ; Julie Carson-Berndsen ; Gregory M.P. O'Hare
Author Index
Regular Papers
On the Usefulness of Extracting Syntactic Dependencies for Text Indexing / Miguel A. Alonso ; Jesús Vilares ; Victor M. Darriba
Using Latent Semantic Indexing as a Measure of Conceptual Association for Noun Compound Disambiguation / Alan M. Buckeridge ; Richard F.E. Sutcliffe
9.

図書

図書
Yanbo Han, Stefan Tai, Dietmar Wikarski (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 564 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2480
所蔵情報: loading…
目次情報: 続きを見る
Workflows I
A Data Warehouse for Workflow Logs / J. Eder ; G. Olivotto ; W. Gruber
Workflow and Knowledge Management: Approaching an Integration / J. Lai ; Y. Fan
Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Net Models / Y. Qu ; C. Lin ; J. Wang
Workflows II
Discovering Workflow Performance Models from Timed Logs / W.M.P. van der Aalst ; B.F. van Dongen
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models / F. Ren ; D.C. Marinescu
An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems / J. Liu ; S. Zhang ; J. Cao ; J. Hu
Ontologies
TEMPPLET: A New Method for Domain-Specific Ontology Design / Y. Dong ; M. Li
An Environment for Multi-domain Ontology Development and Knowledge Acquisition / J. Si ; C. Cao ; H. Wang ; F. Gu ; Q. Feng ; C. Zhang ; Q. Zeng ; W. Tian ; Y. Zheng
Applying Information Retrieval Technology to Incremental Knowledge Management / Z. Yang ; Y. Liu ; S. Li
Semantic Web
Visualizing a Dynamic Knowledge Map Using a Semantic Web Technology / H.-G. Kim ; C. Fillies ; B. Smith ; D. Wikarski
Indexing and Retrieval of XML-Encoded Structured Documents in Dynamic Environment / S. Kim ; J. Lee ; H. Lim
Knowledge Management: System Architectures, Main Functions, and Implementing Techniques / J. Ma ; M. Hemmje
Enterprise Application Integration
A Dynamic Matching and Binding Mechanism for Business Service Integration / F. Wang ; Z. Zhao ; Y. Han
A Uniform Model for Authorization and Access Control in Enterprise Information Platform / D. Li ; S. Hu ; S. Bai
Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema / H. Sun ; J. Zhou
Mobile Agents
Study on SOAP-Based Mobile Agent Techniques / D. Wang ; G. Yu ; B. Song ; D. Shen ; G. Wang
Securing Agent Based Architectures / M. Maxim ; A. Venugopal
Service and Network Management Middleware for Cooperative Information Systems through Policies and Mobile Agents / K. Yang ; A. Galis ; T. Mota ; X. Guo ; C. Todd
Enterprise Modeling
Research on Enterprise Modeling of Agile Manufacturing / H. Xu ; L. Zhang ; B. Zhou
HCM - A Model Describing Cooperation of Virtual Enterprises / Y. Zhang ; M. Shi
A Description for Service Supporting Cooperations / M. Wiedeler
Distributed Systems Analysis
Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems / S.-H. Park
A Linear-Order Based Access Method for Efficient Network Computations / S.-H. Woo ; S-B Yang
A Petri-Net Model for Session Services / J. Shen ; Y. Yang ; J. Luo
Software Engineering
Software Processes for Electronic Commerce Portal Systems / V. Gruhn ; L. Schoepe
Architecture Support for System-of-Systems Evolution / J. Han ; P. Chen
Expressing Graphical User's Input for Test Specifications / J. Chen
Architectures
An Intelligent Decision Support System in Construction Management by Data Warehousing Technique / Y. Cao ; K. Chau ; M. Anson ; J. Zhang
Distributed Heterogeneous Inspecting System and Its Implementation / L. Huang ; Z. Wu
Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management / Y. Lin ; X. Zhou ; X. Shi
Knowledge Management and the Control of Duplication / D. Cook ; L. Mellor ; G. Frost ; R. Creutzburg
Transactions
An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware / Y. Jin ; S. Urban ; A. Sundermier ; S. Dietrich
Implementation of CovaTM / J. Jiang
Resource-Based Scripting to Stitch Distributed Components / J.-M. Andreoli ; D. Arregui ; F. Pacull ; J. Willamowski
Coordination I
Multi-agent Coordination Mechanism in Distributed Environment / M. Xu ; Y. Zhuang
Coordination among Multi-agents Using Process Calculus and ECA Rule / Y. Wei
An RBAC-Based Policy Enforcement Coordination Model in Internet Environment / J. You
Coordination II
A CORBA-Based Negotiation Strategy in E-Commerce / Y. Zhao
Negotiation Framework for the Next Generation Mobile Middleware Service Environment / M. Sihvonen ; J. Holappa
Groupware I
An Internet-Based Conference System for Real-Time Distributed Design Evaluation / K. Dai ; Y. Wang ; X. Xu
Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors / L. Xue ; M. Orgun ; K. Zhang
Supporting Group Awareness in Web-Based Learning Environments / B. Hu ; A. Kuhlenkamp ; R. Reinema
Groupware II
Raison d'Etre Object: A Cyber-Hearth That Catalyzes Face-to-Face Informal Communication / T. Matsubara ; K. Sugiyama ; K. Nishimoto
The Neem Platform: An Extensible Framework for the Development of Perceptual Collaborative Applications / P. Barthelmess ; C.A. Ellis
Author Index
Workflows I
A Data Warehouse for Workflow Logs / J. Eder ; G. Olivotto ; W. Gruber
Workflow and Knowledge Management: Approaching an Integration / J. Lai ; Y. Fan
10.

図書

図書
Enrico Gregori ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2376
所蔵情報: loading…
目次情報: 続きを見る
Workshop on WebEngineering
Models and Characterization of WWW Traffic
A Parsimonious Multifractal Model for WWW Traffic / Abdullah Balamash ; Marwan Krunz
Characteristics of Temporal and Spatial Locality of Internet Access Patterns / Keisuke Ishibashi ; Masaki Aida ; Makoto Imase
Caching Infrastructure and Content Delivery Networks
A Scalable Architecture for Cooperative Web Caching / Riccardo Lancellotti ; Bruno Ciciani ; Michele Colajanni
Caching Web Services: Aspect Orientation to the Rescue / Marc Segura-Devillechaise ; Jean-Marc Menaud
Replicated Web Services: A Comparative Analysis of Client-Based Content-Delivery Policies / Marco Conti ; Enrico Gregori ; Willy Lapenna
Internet Cache Location and Design of Content Delivery Networks / Adam Wierzbicki
A Server Placement Algorithm Conscious of Communication Delays and Relocation Costs / Junho Shim ; Taehee Lee ; Sang-goo Lee
Methodologies and Tools for Building Web-Based Systems
The Yoix Scripting Language as a Tool for Building Web-Based Systems / Richard L. Drechsler ; John M. Mocenigo
XGuide - A Practical Guide to XML-Based Web Engineering / Clemens Kerer ; Engin Kirda ; Christopher Krügel
Process-Based Optimisation of Data Exchange for B2B Interaction / Christian Zirpins ; Kevin Schütt ; Giacomo Piccinelli
Client-Side Profile Storage / Stéphanie Riché ; Gavin Brebner ; Mickey Gittler
WebServer Performance, Testing and Benchmarking Environment
Boosting the Performance of Three-Tier Web Servers Deploying SMP Architecture / Pierfrancesco Foglia ; Roberto Giorgi ; Cosimo Antonio Prete
Overload Behaviour and Protection of Event-Driven Web Servers / Thiemo Voigt
Scalable Benchmarking and Performance Monitoring: A Coordination and Mobility Perspective / Kyungkoo Jun ; Dan C. Marinescu ; Yongchang Ji ; Gabriela M. Marinescu
Towards Specification-Based Web Testing / Jessica Chen ; Steve Chovanec
Workshop on Peer-to-Peer Computing
Routing and Discovery in Peer-to-Peer Networks
Routing in Mobile Ad-hoc and Peer-to-Peer Networks. A Comparison / Rudiger Schollmeier ; Ingo Gruber ; Michael Finkenzeller
Multi-layer Clusters in Ad-hoc Networks - An Approach to Service Discovery / Michael Klein ; Birgitta Konig-Ries
NeuroGrid: Semantically Routing Queries in Peer-to-Peer Networks / Sam Joseph
Applications
Storage, Mutability and Naming in Pasta / Tim D. Moreton ; Ian A. Pratt ; Timothy L. Harris
Text-Based Content Search and Retrieval in Ad-hoc P2P Communities / Francisco Matias Cuenca-Acuna ; Thu D. Nguyen
Freeing Cooperation From Servers Tyranny / Davide Balzarotti ; Carlo Ghezzi ; Mattia Monga
BuddyWeb: A P2P-Based Collaborative Web Caching System / XiaoYu Wang ; WeeSiong Ng ; BengChin Ooi ; Kian-Lee Tan ; AoYing Zhou
Reliable Unicast Streaming with Multiple Peers in IP Networks / Florian Unterkircher ; Michael Welzl
Programming Models
The Client Utility as a Peer-to-Peer System / Alan Karp ; Vana Kalogeraki
P3: Parallel Peer to Peer An Internet Parallel Programming Environment / Licinio Oliveira ; Luis Lopes ; Fernando Silva
Peer-to-Peer Programming with Teaq / Huw Evans ; Peter Dickman
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems / Nadia Busi ; Cristian Manfredini ; Alberto Montresor ; Gianluigi Zavattaro
Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems / Hein Meling ; Özalp Babao&Gcaron;lu
Security
Peer Pressure: Distributed Recovery from Attacks in Peer-to-Peer Systems / Pedram Keyani ; Brian Larson ; Muthukumar Senthil
Implementing a Reputation-Aware Gnutella Servent / Fabrizio Cornelli ; Ernesto Damiani ; Sabrina De Capitani di Vimercati ; Stefano Paraboschi ; Pierangela Samarati
Transaction-Based Charging in Mnemosyne: A Peer-to-Peer Steganographic Storage System / Timothy Roscoe ; Steven Hand
Author Index
Workshop on WebEngineering
Models and Characterization of WWW Traffic
A Parsimonious Multifractal Model for WWW Traffic / Abdullah Balamash ; Marwan Krunz
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼