close
1.

図書

図書
Ryszard Kowalczyk ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 369 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2592 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
Software Agents: The Future of Web Services / Michael N. Huhns
Building Automated Negotiators / Nick Jennings
Emergence in Cyberspace: Towards the Evolutionary Self-Organizing Enterprise / Mihaela Ulieru
Regular Papers
Agent Oriented Requirements Engineering and Specification
Requirements Analysis in Tropos: A Self-Referencing Example / Paolo Bresciani ; Fabrizio Sannicolo
A Mechanism for Dynamic Role Playing / V. Hilaire ; A. Koukam ; P. Gruer
Agent UML Class Diagrams Revisited / Marc-Philippe Huget
Agent Oriented Software Engineering
The Behavior-Oriented Design of Modular Agent Intelligence / Joanna J. Bryson
Engineering JADE Agents with the Gaia Methodology / Pavlos Moraitis ; Eleftheria Petraki ; Nikolaos I. Spanoudakis
Designing Peer-to-Peer Applications: An Agent-Oriented Approach / D. Bertolini ; P. Busetta ; A. Molani ; M. Nori ; A. Perini
Reuse
Introducing Pattern Reuse in the Design of Multi-agent Systems / Massimo Cossentino ; Piermarco Burrafato ; Saverio Lombardo ; Luca Sabatucci
Specifying Reuse Concerns in Agent System Design Using a Role Algebra / Anthony Karageorgos ; Simon Thompson ; Nikolay Mehandjiev
Negotiation and Communication
Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach / Peter Henderson ; Stephen Crouch ; Robert John Walters ; Qinglai Ni
State-Based Modeling Method for Multiagent Conversation Protocols and Decision Activities / Ralf König
A Framework for Inter-society Communication in Agents / R. Abbasi ; F. Mitchell ; S. Greenwood
Action Recognition and Prediction for Driver Assistance Systems Using Dynamic Belief Networks / Ismail Dagli ; Michael Brost ; Gabi Breuel
Large Complex Systems
Collaborative Agent System Using Fuzzy Logic for Optimisation / Dayou Li ; Jie Zhang
A Self-Organizational Management Network Based on Adaptive Resonance Theory / Ping Jiang ; Quentin Mair
Mobile Software Agents for Location-Based Systems / Sebastian Fischmeister
E-business
Partner Detection and Selection in Emergent Holonic Enterprises / Rainer Unland
A Multi-agent System for E-insurance Brokering / Lu'is Nogueira ; Eugénio Oliveira
An XML Multi-agent System for E-learning and Skill Management / Alfredo Garro ; Luigi Palopoli
Integrating Mobile and Intelligent Agents in Advanced E-commerce: A Survey / Ryszard Kowalczyk
Applications
An Agent-Oriented Approach to Industrial Automation Systems / Thomas Wagner
Multi-agent Model to Control Production System: A Reactive and Emergent Approach by Cooperation and Competition between Agents / Mahmoud Tchikou ; Eric Gouardres
Integrating Agents in Software Applications / A.J.N. van Breemen
A Foundational Analysis of Software Robustness Using Redundant Agent Collaboration / Vance T. Holderfield
Author Index
Keynotes
Software Agents: The Future of Web Services / Michael N. Huhns
Building Automated Negotiators / Nick Jennings
2.

図書

図書
Stéphane Bressan ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 258 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2590
所蔵情報: loading…
目次情報: 続きを見る
Efficiency and Effectiveness of XML Tools and Techniques (EEXTT)
XML Languages
A Proposal for an XML Data Definition and Manipulation Language / Dare Obasanjo ; Shamkant B. Navathe
Relevance Ranking Tuning for Similarity Queries on XML Data / Paolo Ciaccia ; Wilma Penzo
A New Path Expression Computing Approach for XML Data / Jianhua Lv ; Guoren Wang ; Jeffrey Xu Yu ; Ge Yu ; Hongjun Lu ; Bing Sun
XML Modeling and Integration
Integrated XML Document Management / Hui-I Hsiao ; Joshua Hui ; Ning Li ; Parag Tijare
Integration of XML Data / Deise de Brum Saccol ; Carlos Alberto Heuser
XML to Relational Conversion Using Theory of Regular Tree Grammars / Murali Mani ; Dongwon Lee
XML Storage
Adaptive XML Shredding: Architecture, Implementation, and Challenges / Juliana Freire ; Jérôme Siméon
An Adaptable and Adjustable Mapping from XML Data to Tables in RDB / Wang Xiao-ling ; Luan Jin-feng ; Dong Yi-sheng
Efficient Structure Oriented Storage of XML Documents Using ORDBMS / Alexander Kuckelberg ; Ralph Krieger
Benchmarking XML
Assessing XML Data Management with XMark / Albrecht Schmidt ; Florian Waas ; Martin Kersten ; Michael J. Carey ; Ioana Manolescu ; Ralph Busse
The XOO7 Benchmark / Stéphane Bressan ; Mong Li Lee ; Ying Guang Li ; Zoé Lacroix ; Ullas Nambiar
Multi-user Evaluation of XML Data Management Systems with XMach- / Timo Böhme ; Erhard Rahm
The Michigan Benchmark: A Microbenchmark for XML Query Processing Systems / Kanda Runapongsa ; Jignesh M. Patel ; H. V. Jagadish ; Shurug Al-Khalifa
XBench - A Family of Benchmarks for XML DBMSs / Benjamin B. Yao ; M. Tamer Özsu ; John Keenleyside
Data Integration over the Web (DIWeb)
Data Integration Using Web Services / Mark Hansen ; Stuart Madnick ; Michael Siegel
Efficient Cache Answerability for XPath Queries / Pedro José Marrón ; Georg Lausen
Web-Based Integration of Printed and Digital Information / Moira C. Norrie ; Beat Signer
Integrating Scientific Data through External, Concept-Based Annotations / Michael Gertz ; Kai-Uwe Sattler
Exploiting and Completing Web Data Sources Capabilities / Omar Boucelma ; Mehdi Essid ; Abdelkader Bétari
Author Index
Efficiency and Effectiveness of XML Tools and Techniques (EEXTT)
XML Languages
A Proposal for an XML Data Definition and Manipulation Language / Dare Obasanjo ; Shamkant B. Navathe
3.

図書

図書
Oskar Bartenstein ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 305 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2543 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Web-Languages and Logic / Part I:
Introduction / Oskar Bartenstein ; Stephane Bressan
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations / Harold Boley
Software Components for Internet Based Self-service Consulting Systems
iML: A Logic-Based Framework for Constructing Graphical User Interface on Mobile Agents / Naoki Fukuta ; Nobuaki Mizutani ; Tadachika Ozono ; Toramatsu Shintani
PGR: Portuguese Attorney General's Office Decisions on the Web / Paulo Quaresma ; Irene Pimenta Rodrigues
Knowledge Acquisition and Knowledge Representation / Part II:
Preferring and Updating in Logic-Based Agents / Akira Ishikawa ; Rolf Schwitter ; Pierangelo Dell'Acqua ; Lu'is Moniz Pereira
Relational Information Retrieval through Natural Language Analysis / Luis Quintano ; Salvador Abreu ; Irene Rodrigues
A Functional Operator-Based Morphological Analysis of Japanese
Towards Reconciling Use Cases via Controlled Language and Graphical Models / Kathrin Böttger ; Diego Mollá ; Debbie Richards
Selection Restrictions Acquisition for Parsing Improvement / Alexandre Agustini ; Pablo Gamallo ; Gabriel P. Lopes
Decision Support by Advanced Logic Programming / Part III:
Defeasible Logic / Ulrich Geske ; Dietmar Seipel ; Donald Nute
Connecting Databases with Argumentation / Shekhar Pradhan
Prolog Issues and Experimental Results of an MCMC Algorithm / Nicos Angelopoulos ; James Cussens
Action Rules for Programming Constraint Propagators and Interactive User Interfaces / Neng-Fa Zhou
Constraint Solving over OCR Graphs / Andreas Fordan
Constraint-Based Configuration of Large Systems / Ulrich John
Data Mining and Web-Knowledge Management / Part IV:
Collaborative Information Filtering by Using Categorized Bookmarks on the Web / Sergio A. Alvarez ; Carolina Ruiz ; Virginia Dignum ; Jason J. Jung ; Jeong-Seob Yoon ; Geun-Sik Jo
Discovering Frequent Itemsets in the Presence of Highly Frequent Items / Dennis P. Groth ; Edward L. Robertson
Mining Multi-dimensional Quantitative Associations / Michal Okoniewski ; Lukasz Gancarz ; Piotr Gawrysiak
Constructing Appropriate Data Abstractions for Mining Classification Knowledge / Yoshiaki Okubo ; Yoshimitsu Kudoh ; Makoto Haraguchi
Relationship-Based Dynamic Versioning of Evolving Legal Documents / M. Mercedes Mart'inez ; Pablo de la Fuente ; Jean-Claude Derniame ; Alberto Pedrero
Author Index
Web-Languages and Logic / Part I:
Introduction / Oskar Bartenstein ; Stephane Bressan
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations / Harold Boley
4.

図書

図書
Kaisa Nyberg, Howard Heys (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2595
所蔵情報: loading…
目次情報: 続きを見る
Elliptic Curve Enhancements
Modifications of ECDSA / John Malone-Lee ; Nigel P. Smart
Integer Decomposition for Fast Scalar Multiplication on Elliptic Curves / Dongryeol Kim ; Seongan Lim
Analysis of the Gallant-Lambert-Vanstone Method Based on Efficient Endomorphisms: Elliptic and Hyperelliptic Curves / Francesco Sica ; Mathieu Ciet ; Jean-Jacques Quisquater
Snow
Guess-and-Determine Attacks on SNOW / Philip Hawkes ; Gregory G. Rose
A New Version of the Stream Cipher SNOW / Patrik Ekdahl ; Thomas Johansson
Encryption Schemes
Encryption-Scheme Security in the Presence of Key-Dependent Messages / John Black ; Phillip Rogaway ; Thomas Shrimpton
On the Security of CTR + CBC-MAC / Jakob Jonsson
Single-Path Authenticated-Encryption Scheme Based on Universal Hashing / Soichi Furuya ; Kouichi Sakurai
Differential Attacks
Markov Truncated Differential Cryptanalysis of Skipjack / Ben Reichardt ; David Wagner
Higher Order Differential Attack of Camellia(II) / Yasuo Hatano ; Hiroki Sekine ; Toshinobu Kaneko
Square-like Attacks on Reduced Rounds of IDEA / Huseyin Demirci
Full-Round Differential Attack on the Original Version of the Hash Function Proposed at PKC'98 / Donghoon Chang ; Jaechul Sung ; Soohak Sung ; Sangjin Lee ; Jongin Lim
Boolean Functions and Stream Ciphers
On Propagation Characteristics of Resilient Functions / Pascale Charpin ; Enes Pasalic
Two Alerts for Design of Certain Stream Ciphers: Trapped LFSR and Weak Resilient Function over GF(q) / Paul Camion ; Miodrag J. Mihaljevic ; Hideki Imai
Multiples of Primitive Polynomials and Their Products over GF(2) / Subhamoy Maitra ; Kishan Chand Gupta ; Ayineedi Venkateswarlu
A New Cryptanalytic Attack for PN-generators Filtered by a Boolean Function / Sabine Leveiller ; Gilles Zemor ; Philippe Guillot ; Joseph Boutros
Block Cipher Security
White-Box Cryptography and an AES Implementation / Stanley Chow ; Philip Eisen ; Harold Johnson ; Paul C. Van Oorschot
Luby-Rackoff Ciphers: Why XOR Is Not So Exclusive / Sarvar Patel ; Zulfikar Ramzan ; Ganapathy S. Sundaram
Signatures and Secret Sharing
New Results on Unconditionally Secure Distributed Oblivious Transfer / Carlo Blundo ; Paolo D'Arco ; Alfredo De Santis ; Douglas R. Stinson
Efficient Identity Based Signature Schemes Based on Pairings / Florian Hess
The Group Diffie-Hellman Problems / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
MAC and Hash Constructions
Secure Block Ciphers Are Not Sufficient for One-Way Hash Functions in the Preneel-Govaerts-Vandewalle Model / Shoichi Hirose
An Efficient MAC for Short Messages
RSA and XTR Enhancements
Optimal Extension Fields for XTR / Dong-Guk Han ; Ki Soon Yoon ; Young-Ho Park ; Chang Han Kim
On Some Attacks on Multi-prime RSA / M. Jason Hinek ; Mo King Low ; Edlyn Teske
Author Index
Elliptic Curve Enhancements
Modifications of ECDSA / John Malone-Lee ; Nigel P. Smart
Integer Decomposition for Fast Scalar Multiplication on Elliptic Curves / Dongryeol Kim ; Seongan Lim
5.

図書

図書
Mehmet Aksit, Mira Mezini, Rainer Unland (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 430 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2591
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
AspectJ(tm): Aspect-Oriented Programming in Java / Gregor Kiczales
Agile Processes and Modeling / Craig Larman
Eclipse - An Open Source Platform for the Next Generation of Development Tools / Andre Weinand
Regular Papers
Embedded and Distributed Systems
A Framework for Resource Management in Peer-to-Peer Networks / Thomas Friese ; Bernd Freisleben ; Steffen Rusitschka ; Alan Southall
A Lightweight Communication Infrastructure for Spontaneously
Networked Devices with Limited Resources / Michael Engel
Serialization of Distributed Execution-State in Java / Danny Weyns ; Eddy Truyen ; Pierre Verbaeten
Components and MDA
Specification of Business Components / Peter Fettke ; Peter Loos
Graph Rewrite Systems for Software Design Transformations / Alexander Christoph
Lightweight Plug-In-Based Application Development / Johannes Mayer ; Ingo Melzer ; Franz Schweiggert
Supporting Component-Based Software Evolution / Ross Gardler ; Nikolay Mehandjiev
Java Technology
Java Smart Ticket Demo Application Scrutinized / Dominik Gruntz ; René Müller
Java Class Deployment Using Class Collections / Stefan Paal ; Reiner Kammüller
Do We Need Components for Persistent Data Storage in the Java 2Enterprise Environment? / Stefan Böttcher ; Robert Hoeppe
Web Services
Consistency Checking of Financial Derivatives Transactions / Daniel Dui ; Wolfgang Emmerich ; Christian Nentwich ; Bryan Thal
Toolkits for Generating Wrappers / Stefan Kuhlins ; Ross Tredwell
Developing a Generic Concept of an Electronic Negotiation Process with ebXML / Philipp Thun ; Michael Rebstock
Aspect Oriented Software Design
AspectS - Aspect-Oriented Programming with Squeak / Robert Hirschfeld
Relational Database Support for Aspect-Oriented Programming / Awais Rashid ; Neil Loughran
Object Teams: Improving Modularity for Crosscutting Collaborations / Stephan Herrmann
Agents and Mobility
Ubiquitous Healthcare: The OnkoNet Mobile Agents Architecture / Stefan Kirn
Extending Activity Diagrams to Model Mobile Systems / Hubert Baumeister ; Nora Koch ; Piotr Kosiuczenko ; Martin Wirsing
Product Lines
A Concrete Method for Developing and Applying Product Line Architectures / Michalis Anastasopoulos ; Colin Atkinson ; Dirk Muthig
Generic Implementation of Product Line Components / Thomas Patzke
Synchronization
Qualifying Types Illustrated by Synchronisation Examples / J. Leslie Keedy ; Gisela Menger ; Christian Heinlein ; Frans Henskens
Advanced Thread Synchronization in Java Using Interaction Expressions
Testing, Refactoring, and CASE Tools
Refactoring Browser for UML / Marko Boger ; Thorsten Sturm ; Per Fragemann
Test-Driven Web Application Development in Java / Jens Uwe Pipka
UML-Based Statistical Test Case Generation / Matthias Riebisch ; Ilka Philippow ; Marco Gotze
Do We Need `Agile' Software Development Tools? / Udo Kelter ; Marc Monecke ; Markus Schild
Author Index
Keynotes
AspectJ(tm): Aspect-Oriented Programming in Java / Gregor Kiczales
Agile Processes and Modeling / Craig Larman
6.

図書

図書
Matt Blaze (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 299 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2357
所蔵情報: loading…
7.

図書

図書
Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 204 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2604
所蔵情報: loading…
目次情報: 続きを見る
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context / P. Alvarez ; J.A. Banares ; P.R. Muro-Medrano ; J. Nogueras ; F.J. Zarazaga
Critical Evaluation of the EJB Transaction Model / Raul Silaghi ; Alfred Strohmeier
Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems / Stephan Philippi
Jawa: A Java Tool-Kit for Mobile Objects Applications / Eko Mursito Budi ; Geoff Roy ; Graeme Cole
Performance Analysis of Java Group Toolkits: A Case Study / Roberto Baldoni ; Stefano Cimmino ; Carlo Marchetti ; Alessandro Termini
A Java-Based / Distributed Process Management System for Collaborative Design and Manufacturing ; Moon Jung Chung ; Sangchul Kim ; Hyun Kim ; Ho Sang Ham
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems / Cliff Jones ; Panos Periorellis ; Alexander Romanovsky ; Ian Welch
An Experience in Architectural Extensions: Active Objects in J2EE / Paola Inverardi ; Fabio Mancinelli ; Henry Muccini ; Patrizio Pelliccione
Generating Pattern-Based Web Tutorials for Java Frameworks / Markku Hakala ; Juha Hautamaki ; Kai Koskimies ; Pekka Savolainen
Massively Distributed Virtual Worlds: A Framework Approach (MaDViWorld: A Java Software Framework for Massively Distributed Virtual Worlds) / Patrik Fuhrer ; Jacques Pasquier-Rocha
Distributed Java Platform with Programmable MIMD Capabilities / T. Keane ; R. Allen ; T.J. Naughton ; J. McInerney ; J. Waldron
JGrid: Exploiting Jini for the Development of Grid Applications / Alastair Hampshire ; Gordon S. Blair
Managing Dependencies in Component-Based Distributed Applications / Sascha Alda ; Markus Won ; Armin B. Cremers
A Notation for Component-Based Design of Java Applications / Catalin Amza ; Gianna Reggio
WCT: A Wrapper for Component Testing / Antonia Bertolino ; Andrea Polini
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces / Lorenzo Bettini ; Rocco De Nicola
Keynote Talks
Designing Fault-Tolerant Mobile Systems / Giovanna Di Marzo Serugendo
The Role of OCL in the Model Driven Architecture / Jos Warmer ; Tutorials
Requirements Elicitation with Use Cases / Shane Sendall
Java Threads Can Be Very Useful Building Blocks / Claude Petitpierre
Author Index
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context / P. Alvarez ; J.A. Banares ; P.R. Muro-Medrano ; J. Nogueras ; F.J. Zarazaga
Critical Evaluation of the EJB Transaction Model / Raul Silaghi ; Alfred Strohmeier
Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems / Stephan Philippi
8.

図書

図書
Akmal B. Chaudhri ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 310 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2593
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
GRIDs and Ambient Computing / Keith G. Jeffery
Natix: A Technology Overview / Thorsten Fiebig ; Sven Helmer ; Carl-Christian Kanne ; Guido Moerkotte ; Julia Neumann ; Robert Schiele ; Till Westmann
Intelligent Support for Selection of COTS Products / Günther Ruhe
Regular Papers
Advanced Web-Services
DAML Enabled Web Services and Agents in the Semantic Web / M. Montebello ; C. Abela
Building Reliable Web Services Compositions / Paulo F. Pires ; Mario R.F. Benevides ; Marta Mattoso
NSPF: Designing a Notification Service Provider Framework for Web Services / Bahman Kalali ; Paulo Alencar ; Donald Cowan
UDDI Extensions
Active UDDI - An Extension to UDDI for Dynamic and Fault-Tolerant Service Invocation / Mario Jeckle ; Barbara Zengler
WS-Specification: Specifying Web Services Using UDDI Improvements / Sven Overhage ; Peter Thomas
Description and Classification of Web-Services
Modeling Web Services Variability with Feature Diagrams / Silva Robak ; Bogdan Franczyk
A Dependency Markup Language for Web Services / Robert Tolksdorf
Applications Based on Web-Services
Web Based Service for Embedded Devices / Ulrich Topp ; Peter Müller ; Jens Konnertz ; Andreas Pick
Using Ontology to Bind Web Services to the Data Model of Automation Systems / Zaijun Hu
Web and XML Databases
eXist: An Open Source Native XML Database / Wolfgang Meier
WrapIt: Automated Integration of Web Databases with Extensional Overlaps / Mattis Neiling ; Markus Schaal ; Martin Schumann
Enhancing ECA Rules for Distributed Active Database Systems / Thomas Heimrich ; Günther Specht
Indexing and Accessing
Improving XML Processing Using Adapted Data Structures / Mathias Neumüller ; John N. Wilson
Comparison of Schema Matching Evaluations / Hong-Hai Do ; Sergey Melnik ; Erhard Rahm
Indexing Open Schemas / Neal Sample ; Moshe Shadmon
On the Effectiveness of Web Usage Mining for Page Recommendation and Restructuring / Hiroshi Ishikawa ; Manabu Ohta ; Shohei Yokoyama ; Junya Nakayama ; Kaoru Katayama
Mobile Devices and the Internet
XML Fragment Caching for Small Mobile Internet Devices / Stefan Böttcher ; Adelhard Turling
Support for Mobile Location-Aware Applications in MAGNET / Patty Kostkova ; Julie McCann
XML Query Languages
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics / François Bry ; Sebastian Schaffert
Author Index
Keynotes
GRIDs and Ambient Computing / Keith G. Jeffery
Natix: A Technology Overview / Thorsten Fiebig ; Sven Helmer ; Carl-Christian Kanne ; Guido Moerkotte ; Julia Neumann ; Robert Schiele ; Till Westmann
9.

図書

図書
Michael Jünger, Gerhard Reinelt, Giovanni Rinaldi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 207 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2570
所蔵情報: loading…
10.

図書

図書
Gheorghe Păun ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2597
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼