close
1.

図書

図書
Alberto Sanfeliu, José Francisco Martínez Trinidad, Jesús Ariel Carrasco Ochoa (Eds.)
出版情報: Berlin : Springer, c2004  xvii, 703 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3287
所蔵情報: loading…
2.

図書

図書
Robert Meersman ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xxiii, 885 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3292
所蔵情報: loading…
3.

図書

図書
Carlos Andrés Peña Reyes
出版情報: Berlin : Springer, c2004  xiii, 129 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3204
所蔵情報: loading…
4.

図書

図書
Christian Stary, Constantine Stephanidis (eds.)
出版情報: Berlin : Springer, c2004  xii, 488 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3196
所蔵情報: loading…
5.

図書

図書
Cevdet Aykanat, Tuǧrul Dayar, İbrahim Körpeoǧlu (eds.)
出版情報: Berlin : Springer, c2004  xviii, 1009 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3280
所蔵情報: loading…
6.

図書

図書
Alberto Apostolico, Massimo Melucci (eds.)
出版情報: Berlin : Springer, c2004  xiv, 332 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3246
所蔵情報: loading…
目次情報: 続きを見る
Efficient One DimensionalRealScaled Matching / Amihood Amir ; Ayelet Butman ; Moshe Lewenstein ; Ely Porat ; Dekel Tsur
Linear Time Algorithm for the Longest Common Repeat Problem / Inbok Lee ; Costas S. Iliopoulos ; Kunsoo Park
Automaton-Based Sublinear Keyword Pattern Matching / Loek Cleophas ; Bruce W. Watson ; Gerard Zwaan
Techniques for Efficient Query Expansion / Bodo Billerbeck ; Justin Zobel
Inferring Query Performance Using Pre-retrieval Predictors / Ben He ; Iadh Ounis
A Scalable System for Identifying Co-derivative Documents / Yaniv Bernstein
Searching for a Set of Correlated Patterns / Shmuel T. Klein ; Riva Shalom
Linear Nondeterministic Dawg String Matching Algorithm / Longtao He ; Binxing Fang
Permuted and Scaled String Matching / Revital Eres ; Gad M. Landau
Bit-Parallel Branch and Bound Algorithm for Transposition Invariant LCS / Kjell Lemström ; Gonzalo Navarro ; Yoan Pinzon
A New Feature Normalization Scheme Based on Eigenspace for Noisy Speech Recognition / Yoonjae Lee ; Hanseok Ko
Fast Detection of Common Sequence Structure Patterns in RNAs / Rolf Backofen ; Sven Siebert
An Efficient Algorithm for the Longest Tandem Scattered Subsequence Problem / Adrian Kosowski
Automatic Document Categorization Based on k-NN and Object-Based Thesauri / Sun Lee Bang ; Hyung Jeong Yang ; Jae Dong Yang
Indexing Text Documents Based on Topic Identification / Manonton Butarbutar ; Susan McRoy
Cross-Comparison for Two-Dimensional Text Categorization / Giorgio Maria Di Nunzio
DDOC: Overlapping Clustering of Words for Document Classification / Guillaume Cleuziou ; Lionel Martin ; Viviane Clavier ; Christel Vrain
Evaluation of Web Page Representations by Content Through Clustering / Arantza Casillas ; Víctor Fresno ; M. Teresa González de Lena ; Raquel Martínez
Evaluating Relevance Feedback and Display Strategies for Searching on Small Displays / Vishwa Vinay ; Ingemar J. Cox ; Natasa Milic-Frayling ; Ken Wood
Information Extraction by Embedding HMM to the Set of Induced Linguistic Features / Hyun Chul Lee ; Jian Chang Mao
Finding Cross-Lingual Spelling Variants / Krister Lindén
An Efficient Index Data Structure with the Capabilities of Suffix Trees and Suffix Arrays for Alphabets of Non-negligible Size / Dong Kyue Kim ; Jeong Eun Jeon ; Heejin Park
An Alphabet-Friendly FM-Index / Paolo Ferragina ; Giovanni Manzini ; Veli Mäkinen
Concurrency Control and I/O-Optimality in Bulk Insertion / Kerttu Pollari-Malmi ; Eljas Soisalon-Soininen
Processing Conjunctive and Phrase Queries with the Set-Based Model / Bruno Pôssas ; Nivio Ziviani ; Berthier Ribeiro-Neto ; Wagner Meira Jr.
Metric Indexing for the Vector Model in Text Retrieval / Tomáš Skopal ; Pavel Moravec ; Jaroslav Pokorný ; Václav Snášel
Negations and Document Length in Logical Retrieval / David E. Losada ; Alvaro Barreiro
An Improvement and an Extension on the Hybrid Index for Approximate String Matching / Heikki Hyyrö
First Huffman, Then Burrows-Wheeler: A Simple Alphabet-Independent FM-Index / Szymon Grabowski
Metric Indexes for Approximate String Matching in a Dictionary / Kimmo Fredriksson
Simple Implementation of String B-Trees / Joong Chae Na
Alphabet Permutation for Differentially Encoding Text / Ofer Levi ; Steven Skiena
A Space-Saving Linear-Time Algorithm for Grammar-Based Compression / Hiroshi Sakamoto ; Takuya Kida ; Shinichi Shimozono
Simple, Fast, and Efficient Natural Language Adaptive Compression / Nieves R. Brisaboa ; Antonio Fariña ; José R. Paramá
Searching XML Documents Using Relevance Propagation / Karen Sauvagnat ; Mohand Boughanem ; Claude Chrisment
Dealing with Syntactic Variation Through a Locality-Based Approach / Jesús Vilares ; Miguel A. Alonso
Efficient Extraction of Structured Motifs Using Box-Links / Alexandra M. Carvalho ; Ana T. Freitas ; Arlindo L. Oliveira ; Marie-France Sagot
Efficient Computation of Balancedness in Binary Sequence Generators / Pedro García-Mochales ; Amparo Fúster-Sabater
On Asymptotic Finite-State Error Repair / Manuel Vilares ; Juan Otero ; Jorge Graña
New Algorithms for Finding Monad Patterns in DNA Sequences / Ravi Vijaya Satya ; Amar Mukherjee
Motif Extraction from Weighted Sequences / Katerina Perdikuri ; Evangelos Theodoridis ; Athanasios Tsakalidis ; Kostas Tsichlas
Longest Motifs with a Functionally Equivalent Central Block / Maxime Crochemore ; Raffaele Giancarlo
On the Transformation Distance Problem / Behshad Behzadi ; Jean-Marc Steyaert
On Classification of Strings / Tatu Ylonen
Author Index
Efficient One DimensionalRealScaled Matching / Amihood Amir ; Ayelet Butman ; Moshe Lewenstein ; Ely Porat ; Dekel Tsur
Linear Time Algorithm for the Longest Common Repeat Problem / Inbok Lee ; Costas S. Iliopoulos ; Kunsoo Park
Automaton-Based Sublinear Keyword Pattern Matching / Loek Cleophas ; Bruce W. Watson ; Gerard Zwaan
7.

図書

図書
Liang-Jie (LJ) Zhang, Mario Jeckle (eds.)
出版情報: Berlin : Springer, c2004  x, 299 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3250
所蔵情報: loading…
目次情報: 続きを見る
Web Services Modeling and Process Management
An Analysis of Web Services Workflow Patterns in Collaxa / Martin Vasko ; Schahram Dustdar
Aspect-Oriented Programming for Dynamic Web Service Monitoring and Selection / Bart Verheecke ; Mar'ia Agustina Cibran ; Viviane Jonckers
Semantically Extensible Schemas for Web Service Evolution / Erik Wilde
Web Services Security and Knowledge Management
A Profile Based Security Model for the Semantic Web / Juan Jim Tan ; Stefan Poslad
A Framework for Authenticated Web Services / Carlo Blundo ; Stelvio Cimato
Development of Semantic Web Services at the Knowledge Level / Asuncion Gomez-Perez ; Rafael Gonzalez-Cabero ; Manuel Lama
Web Services Discovery
A Directory for Web Service Integration Supporting Custom Query Pruning and Ranking / Walter Binder ; Ion Constantinescu ; Boi Faltings
Specification and Execution of Declarative Policies for Grid Service Selection / Massimo Marchi ; Alessandra Mileo ; Alessandro Provetti
Decentralized Web Service Organization Combining Semantic Web and Peer to Peer Computing / Shoujian Yu ; Jianwei Liu ; Jiajin Le
Web Services Infrastructure
Modeling the Variability of Web Services from a Pattern Point of View / N. Yasemin Topaloglu ; Rafael Capilla
Managers Don't Code: Making Web Services Middleware Applicable for End-Users / Alexander Hilliger von Thile ; Ingo Melzer ; Hans-Peter Steiert
SOAP Processing: A Non-extractive Approach / Jimmy Zhang
Web Services Composition and Negotiation
Aspect-Oriented Web Service Composition with AO4BPEL / Anis Charfi ; Mira Mezini
Coupled Signature and Specification Matching for Automatic Service Binding / Michael Klein ; Birgitta Konig-Ries
Negotiation Among Web Services Using LOTOS/CADP / Gwen Salaun ; Andrea Ferrara ; Antonella Chirichiello
Web Services Solutions
An Investigation on Using Web Services for Micro-Payment / William Song ; Deren Chen ; Jen-Yao Chung
Implementation of a Service Oriented Architecture at Deutsche Post MAIL / Michael Herr ; Uwe Bath ; Arne Koschel
Web Services for Integrated Management: A Case Study / Jean-Philippe Martin-Flatin ; Pierre-Alain Doffoel ; Mario Jeckle
Semantics in Web Services
A Conceptual Comparison of WSMO and OWL-S / Ruben Lara ; Dumitru Roman ; Axel Polleres ; Dieter Fensel
A Conceptual Framework for Semantic Web Services Development and Deployment / Claus Pahl
A Proposal for a Semantic Web Service Description Format / Joachim Peer ; Maja Vukovic
Author Index
Web Services Modeling and Process Management
An Analysis of Web Services Workflow Patterns in Collaxa / Martin Vasko ; Schahram Dustdar
Aspect-Oriented Programming for Dynamic Web Service Monitoring and Selection / Bart Verheecke ; Mar'ia Agustina Cibran ; Viviane Jonckers
8.

図書

図書
Yassine Lakhnech, Sergio Yovine (eds.)
出版情報: Berlin : Springer, c2004  x, 395 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3253
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
From Software to Hardware and Back / Paul Feautrier
Of Elections and Electrons / Peter Y. Ryan
Regular Papers Formal Verification of an Avionics Sensor Voter Using SCADE / Samar Dajani-Brown ; Darren Cofer ; Amar Bouali
Mixed Delay and Threshold Voters in Critical Real-Time Systems / Chiheb Kossentini ; Paul Caspi
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems / Simona Bernardi ; Susanna Donatelli ; Giovanna Dondossola
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies / Jennifer M. Davoren ; Thomas Moor ; R.P. Goré ; Vaughan Coulthard ; Anil Nerode
On Timed Automata with Input-Determined Guards / Deepak D'Souza ; Nicolas Tabareau
Decomposing Verification of Timed I/O Automata / Dilsun Kirli Kaynar ; Nancy Lynch
Symbolic Model Checking for Simply-Timed Systems / Nicolas Markey ; Philippe Schnoebelen
Robustness and Implementability of Timed Automata / Martin De Wulf ; Laurent Doyen ; Jean-François Raskin
Real-Time Testing with Timed Automata Testers and Coverage Criteria / Moez Krichen ; Stavros Tripakis
Monitoring Temporal Properties of Continuous Signals / Oded Maler ; Dejan Nickovic
A Unified Fault-Tolerance Protocol / Paul Miner ; Alfons Geser ; Lee Pike ; Jeffrey Maddalon
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications / Felix C. Gärtner ; Arshad Jhumka
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol
Using Calendar Automata / Bruno Dutertre ; Maria Sorea
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders / Catalin Dima ; Alain Girault ; Yves Sorel
The Influence of Durational Actions on Time Equivalences / Harald Fecher
Bounded Model Checking for Region Automata / Fang Yu ; Bow-Yaw Wang ; Yao-Wen Huang
Some Progress in Satisfiability Checking for Difference Logic / Scott Cotton ; Eugene Asarin ; Peter Niebert
Model-Checking for Weighted Timed Automata / Thomas Brihaye ; Véronique Bruyére
Symbolic Model Checking for Probabilistic Timed Automata / Marta Kwiatkowska ; Gethin Norman ; Jeremy Sproston ; Fuzhi Wang
Structured Modeling of Concurrent Stochastic Hybrid Systems / Mikhail Bernadsky ; Raman Sharykin ; Rajeev Alur
Computing Schedules for Multithreaded Real-Time Programs Using Geometry / Philippe Gerner ; Thao Dang
Forward Reachability Analysis of Timed Petri Nets / Parosh Aziz Abdulla ; Johann Deneux ; Pritha Mahata ; Aletta Nylén
Lazy Approximation for Dense Real-Time Systems
Learning of Event-Recording Automata / Olga Grinchtein ; Bengt Jonsson ; Martin Leucker
Author Index
Invited Papers
From Software to Hardware and Back / Paul Feautrier
Of Elections and Electrons / Peter Y. Ryan
9.

図書

図書
Peyman Faratin ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  vii, 153 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3048 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Automated Negotiation / Section I:
Automated Negotiation and Bundling of Information Goods / D.J.A. Somefun ; E.H. Gerding ; S. Bohte ; J.A. La Poutré
Two Stock-Trading Agents: Market Making and Technical Analysis / Y. Feng ; R. Yu ; P. Stone
Acquiring Tradeoff Preferences for Automated Negotiations: A Case Study / X. Luo ; N.R. Jennings ; N. Shadbolt
A Decommitment Strategy in a Competitive Multi-agent Transportation Setting / P.J. `t Hoen
Mechanism Design / Section II:
Sequences of Take-It-or-Leave-It Offers: Near-Optimal Auctions Without Full Valuation Revelation / T. Sandholm ; A. Gilpin
Mechanism for Optimally Trading Off Revenue and Efficiency in Multi-unit Auctions / A. Likhodedov
Choosing Samples to Compute Heuristic-Strategy Nash Equilibrium / W.E. Walsh ; D.C. Parkes ; R. Das
Multi-agent Markets / Section III:
Improving Learning Performance by Applying Economic Knowledge / C.H. Brooks ; R.S. Gazzale ; J.K. MacKie Mason ; E.H. Durfee
Handling Resource Use Oscillation in Multi-agent Markets / M. Klein ; Y. Bar-Yam
Author Index
Automated Negotiation / Section I:
Automated Negotiation and Bundling of Information Goods / D.J.A. Somefun ; E.H. Gerding ; S. Bohte ; J.A. La Poutré
Two Stock-Trading Agents: Market Making and Technical Analysis / Y. Feng ; R. Yu ; P. Stone
10.

図書

図書
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
出版情報: Berlin : Springer, c2004  xii, 350 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3069
所蔵情報: loading…
目次情報: 続きを見る
Architectures for Dependability Enhancing Dependability Through Flexible Adaptation to Changing Requirements / Michel Wermelinger ; Georgios Koutsoukos ; Hugo Lourenço ; Richard Avillez ; João Gouveia ; Luís Andrade ; José Luiz FiadeiroPart 1:
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services / Matthias Tichy ; Holger Giese
Achieving Critical System Survivability Through Software Architectures / John C. Knight ; Elisabeth A. Strunk
Reliability Support for the Model Driven Architecture / Genaina Nunes Rodrigues ; Graham Roberts ; Wolfgang Emmerich
Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service / Katia Saikoski ; Geoff Coulson
Fault Tolerance in Software Architectures / Part 2:
Architecting Distributed Control Applications Based on (Re-)Configurable Middleware / Geert Deconinck ; Vincenzo De Florio ; Ronnie Belmans
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers / Paulo Asterio de C. Guerra ; Cecília Mary F. Rubira ; Alexander Romanovsky ; Rogério de Lemos
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems / Stefano Porcarelli ; Marco Castaldi ; Felicita Di Giandomenico ; Andrea Bondavalli ; Paola Inverardi
On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers / Ilir Gashi ; Peter Popov ; Vladimir Stankovic ; Lorenzo Strigini
A Model and a Design Approach to Building QoS Adaptive Systems / Paul D. Ezhilchelvan ; Santosh Kumar Shrivastava
Dependability Analysis in Software Architectures / Part 3:
Quantifiable Software Architecture for Dependable Systems of Systems / Sheldon X. Liang ; Joseph F. Puett III ; Luqi
Dependability Modeling of Self-healing Client-Server Applications / Olivia Das ; C. Murray Woodside
Multi-view Software Component Modeling for Dependability / Roshanak Roshandel ; Nenad Medvidovic
Industrial Experiences / Part 4:
A Dependable Open Platform for Industrial Robotics - A Case Study / Goran Mustapic ; Johan Andersson ; Christer Norstrom ; Anders Wall
Model Driven Architecture - An Industry Perspective / Chris Raistrick ; Tony Bloomfield
Author Index
Architectures for Dependability Enhancing Dependability Through Flexible Adaptation to Changing Requirements / Michel Wermelinger ; Georgios Koutsoukos ; Hugo Lourenço ; Richard Avillez ; João Gouveia ; Luís Andrade ; José Luiz FiadeiroPart 1:
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services / Matthias Tichy ; Holger Giese
Achieving Critical System Survivability Through Software Architectures / John C. Knight ; Elisabeth A. Strunk
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼