close
1.

図書

図書
Burton S. Kaliski, Jr., Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2523
所蔵情報: loading…
2.

図書

図書
Agnes Hui Chan, Virgil Gligor (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 502 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2433
所蔵情報: loading…
目次情報: 続きを見る
Intrusion Detection and Tamper Resistance
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
Intrusion Detection with Support Vector Machines and Generative Models / John S. Baras ; Maben Rabi
Cryptographic Algorithm and Attack Implementation
Small and High-Speed Hardware Architectures for the 3GPP StandardCipher KASUMI / Akashi Satoh ; Sumio Morioka
Fast Software Implementations of SC2000 / Helger Lipmaa
Comparative Analysis of the Hardware Implementations of Hash Functions SHA-1 and SHA-512 / Tim Grembowski ; Roar Lien ; Kris Gaj ; Nghi Nguyen ; Peter Bellows ; Jaroslav Flidr ; Tom Lehman ; Brian Schott
Implementation of Chosen-Ciphertext Attacks against PGP and GnuPG / Kahil Jallad ; Jonathan Katz ; Bruce Schneier
Access Control and Trust Management (I)
Role-Based Access Control for E-commerce Sea-of-Data Applications / G. Navarro ; S. Robles ; J. Borrell
An Access Control Model for Tree Data Structures / Alban Gabillon ; Manuel Munier ; Jean-Jacques Bascou ; Laurent Gallon ; Emmanuel Bruno
A New Design of Privilege Management Infrastructure for Organizations Using Outsourced PKI / Ed Dawson ; Javier Lopez ; Jose A. Montenegro ; Eiji Okamoto
Authentication and Privacy
Password Authenticated Key Exchange Based on RSA for ImbalancedWireless Networks / Feng Zhu ; Duncan S. Wong ; Agnes H. Chan ; Robbie Ye
Quantifying Privacy Leakage through Answering Database Queries / Tsan-sheng Hsu ; Churn-Jung Liau ; Da-Wei Wang ; Jeremy K.-P. Chen
A New Offline Privacy Protecting E-cash System with Revokable Anonymity / Weidong Qiu ; Kefei Chen ; Dawu Gu
E-commerce Protocols (I)
Receipt-Free Sealed-Bid Auction / Masayuki Abe ; Koutarou Suzuki
Exclusion-Freeness in Multi-party Exchange Protocols / Nicolás González-Deleito ; Olivier Markowitch
A Realistic Protocol for Multi-party Certified Electronic Mail / Josep Lluís Ferrer-Gomila ; Magdalena Payeras-Capellà ; Llorenç Huguet-Rotger
Signature Schemes
A Nyberg-Rueppel Signature for Multiple Messages and Its Batch Verification / Shunsuke Araki
Comments to the UNCITRAL Model Law on Electronic Signatures / Apol-lònia Martínez-Nadal
An Anonymous Loan System Based on Group Signature Scheme / Rie Shigetomi ; Akira Otsuka ; Takahide Ogawa ; Hideki Imai
Traceability Schemes for Signed Documents / Shoko Yonezawa ; Goichiro Hanaoka ; Junji Shikata
Cryptography (I)
Proofs of Knowledge for Non-monotone Discrete-Log Formulae and Applications / Emmanuel Bresson ; Jacques Stern
Inversion/Division Systolic Architecture for Public-Key Cryptosystems in GF(2m) / Nam-Yeun Kim ; Dae-Ghon Kho ; Kee-Young Yoo
Efficient Bit Serial Multiplication Using Optimal Normal Bases of Type II in GF(2m) / Soonhak Kwon ; Heuisu Ryu
Access Control and Trust Management (II)
Conditional Cryptographic Delegation for P2P Data Sharing / Yuji Watanabe ; Masayuki Numao
Certification of Public Keys within an Identity Based System / L. Chen ; K. Harrison ; A. Moss ; D. Soldera ; N.P. Smart
A New Public Key Cryptosystem for Constrained Hardware / Jiande Zheng
Key Management
A Distributed and Computationally Secure Key Distribution Scheme / Vanesa Daza ; Javier Herranz ; Carles Padró ; Germán Sáez
On Optimal Hash Tree Traversal for Interval Time-Stamping
An Efficient Dynamic and Distributed Cryptographic Accumulator / Michael T. Goodrich ; Roberto Tamassia ; Jasminka Hasić
Security Analysis
A Second-Order DPA Attack Breaks a Window-Method Based Countermeasure against Side Channel Attacks / Katsuyuki Okeya ; Kouichi Sakurai
Parallelizable Elliptic Curve Point Multiplication Method with Resistance against Side-Channel Attacks / Bodo Möller
Automated Analysis of Some Security Mechanisms of SCEP / Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli
An Attack on a Protocol for Certified Delivery / José R.M. Monteiro ; Ricardo Dahab
E-commerce Protocols (II)
Oblivious Counter and Majority Protocol / Hiroaki Kikuchi
Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network / Wai Han Soo ; Azman Samsudin ; Alwyn Goh
Fingerprinting Concatenated Codes with Efficient Identification / M. Fernandez ; M. Soriano
Cryptography (II)
A Provably Secure Additive and Multiplicative Privacy Homomorphism / Josep Domingo-Ferrer
Algorithms for Efficient Simultaneous Elliptic Scalar Multiplication with Reduced Joint Hamming Weight Representation of Scalars / Yasuyuki Sakai
Author Index
Intrusion Detection and Tamper Resistance
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
3.

図書

図書
Bruce Christianson ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  ix, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2467
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
Denial of Service, Address Ownership, and Early Authentication in the IPv6 World (Transcript of Discussion)
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols / William Aiello ; Steven M. Bellovin ; Matt Blaze ; Ran Canetti ; John Ioannidis ; Angelos D. Keromytis ; Omer Reingold
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols (Transcript of Discussion)
Thwarting Timing Attacks Using ATM Networks / Geraint Price
Thwarting Timing Attacks Using ATM Networks (Transcript of Discussion)
Towards a Survivable Security Architecture for Ad-Hoc Networks / Tuomas Aura ; Silja Mäki
Towards a Survivable Security Architecture for Ad-Hoc Networks (Transcript of Discussion)
PIM Security / Dieter Gollmann
PIM Security (Transcript of Discussion)
Merkle Puzzles Revisited - Finding Matching Elements between Lists / Bruce Christianson ; David Wheeler
Merkle Puzzles Revisited (Transcript of Discussion)
Encapsulating Rules of Prudent Security Engineering (Position Paper) / Jan Jürjens
Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion)
A Multi-OS Approach to Trusted Computer Systems / Hiroshi Yoshiura ; Kunihiko Miyazaki ; Shinji Itoh ; Kazuo Takaragi ; Ryoichi Sasaki
A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion)
A Proof of Non-repudiation / Giampaolo Bella ; Lawrence C. Paulson
A Proof of Non-repudiation (Transcript of Discussion) / Larry Paulson
Using Authority Certificates to Create Management Structures / Babak Sadighi Firozabadi ; Marek Sergot ; Olav Bandmann
Using Attribute Certificates for Creating Management Structures (Transcript of Discussion)
Trust Management and Whether to Delegate / Simon N. Foley
Trust Management and Whether to Delegate (Transcript of Discussion)
You Can't Take It with You (Transcript of Discussion) / Mark Lomas
Protocols Using Keys from Faulty Data
Protocols Using Keys from Faulty Data (Transcript of Discussion)
On the Negotiation of Access Control Policies / Virgil D. Gligor ; Himanshu Khurana ; Radostina K. Koleva ; Vijay G. Bharadwaj ; John S. Baras
Negotiation of Access Control Policies (Transcript of Discussion)
Intrusion-Tolerant Group Management in Enclaves (Transcript of Discussion) / Hassen Sa¿idi
Lightweight Authentication in a Mobile Network (Transcript of Discussion) / James Malcolm
Bluetooth Security - Fact or Fiction? (Transcript of Discussion) / Peter Drabwell
Concluding Discussion When Does Confidentiality Harm Security? / Chair: Bruce Christianson
The Last Word / Thucydides
Author Index
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
4.

図書

図書
Dieter Gollmann, Günter Karjoth, Michael Waidner (eds.)
出版情報: Berlin : Springer, c2002  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2502
所蔵情報: loading…
5.

図書

図書
Andreas Wespi, Giovanni Vigna, Luca Deri (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2516
所蔵情報: loading…
6.

図書

図書
George Davida, Yair Frankel, Owen Rees (eds.)
出版情報: Berlin : Springer, c2002  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2437
所蔵情報: loading…
7.

図書

図書
Maria Marinaro, Roberto Tagliaferri (eds.)
出版情報: Berlin : Springer, c2002  ix, 252 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2486
所蔵情報: loading…
目次情報: 続きを見る
Review Papers
Ensembles of Learning Machines / Giorgio Valentini ; Francesco Masulli
Eduardo R. Caianiello Lecture
Learning Preference Relations from Data / Theodoros Evgniou ; Massimiliano Pontil
Francesco E. Lauria Lecture
Increasing the Biological Inspiration of Neural Networks / Francesco E. Lauria
Architectures and Algorithms
Hybrid Automatic Trading Systems: Technical Analysis & Group Method of Data Handling / Marco Corazza ; Paolo Vanni ; Umberto Loschi
Interval TOPSIS for Multicriteria Decision Making / Silvio Giove
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks / Giuliano Grossi ; Roberto Posenato
Extended Random Neural Networks / G. Martinelli ; F. M. Frattale Mascioli ; M. Panella ; A. Rizzi
Generalized Independent Component Analysis as Density Estimation / Francesco Palmieri ; Alessandra Budillon
Spline Recurrent Neural Networks for Quad-Tree Video Coding / Lorenzo Topi ; Raffaele Parisi ; Aurelio Uncini
MLP Neural Network Implementation on a SIMD Architecture / Salvatore Vitabile ; Antonio Gentile ; G. B. Dammone ; Filippo Sorbello
Image and Signal Processing
A New Approach to Detection of Muscle Activation by Independent Component Analysis and Wavelet Transform / Bruno Azzerboni ; Giovanni Finocchio ; Maurizio Ipsale ; Fabio La Foresta ; Francesco Carlo Morabito
Learning to Balance Upright Posture: What can be Learnt Using Adaptive NN Models? / N. Alberto Borghese
Detection of Facial Features / Paola Campadelli ; Elena Casiraghi ; Raffaella Lanzarotti
A Two Stage Neural Architecture for Segmentation and Superquadrics Recovery from Range Data / Antonio Chella ; Roberto Pirrone
Automatic Discrimination of Earthquakes and False Events in Seismological Recording for Volcanic Monitoring / E. C. Ezin ; Flora Giudicepietro ; Simona Petrosino ; S. Scarpetta ; A. Vanacore
A Comparison of Signal Compression Methods by Sparse Solution of Linear Systems / Davide Mattera ; Michele Di Monte
Fuzzy Time Series for Forecasting Pollutants Concentration in the Air / Mario Versaci
Real-Time Perceptual Coding of Wideband Speech by Competitive Neural Networks / Eros Pasero ; Alfonso Montuori
Sound Synthesis by Flexible Activation Function Recurrent Neural Networks
Special Session on "Learning in Neural Networks: Limitations and Future Trends" Chaired by Marco Gori Mathematical Modelling of Generalization / Martin Anthony
Structural Complexity and Neural Networks / Alberto Bertoni ; Beatrice Palano
Bayesian Learning Techniques: Application to Neural Networks with Constraints on Weight Space / A. Eleuteri ; R. Tagliaferri ; L. Milano ; F. Acernese ; M. De Laurentiis
A Short Review of Statistical Learning Theory
Author Index / Domenico Parisi
Review Papers
Ensembles of Learning Machines / Giorgio Valentini ; Francesco Masulli
Eduardo R. Caianiello Lecture
8.

図書

図書
Hassan Shafazand, A Min Tjoa (eds.)
出版情報: Berlin : Springer, c2002  xxiii, 1020 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2510
所蔵情報: loading…
目次情報: 続きを見る
Artificial Intelligence I
Speaker Model and Decision Threshold Updating in Speaker Verification / M. Mehdi Homayounpour
Application of Constraint Hierarchy to Timetabling Problems / Tatyana Yakhno ; Evren Tekin
An Intelligent System for Therapy Control in a Distributed Organization / José Joaquín Cañadas ; Isabel María del Águila ; Alfonso Bosch ; Samuel Túnez
Data Mining
Discovering Local Patterns from Multiple Temporal Sequences / Xiaoming Jin ; Yuchang Lu ; Chunyi Shi
The Geometric Framework for Exact and Similarity Querying XML Data / Michal Krátký ; Jaroslav Pokorný ; Tomáš Skopal ; Václav Snášel
A Mobile System for Extracting and Visualizing Protein-Protein Interactions / Kyungsook Han ; Hyoungguen Kim
Discovering Temporal Relation Rules Mining from Interval Data / Jun Wook Lee ; Yong Joon Lee ; Hey Kyu Kim ; Bu Hun Hwang ; Keun Ho Ryu
Multimedia I
An Abstract Image Representation Based on Edge Pixel Neighborhood Information (EPNI) / Abdolah Chalechale ; Alfred Mertins
Motion Estimation Based on Temporal Correlations / H.S. Yoon ; G.S. Lee ; S.H. Kim ; J.Y. Chang
A New Boundary Matching Algorithm Based on Edge Detection / NamRye Son ; YoJin Yang ; GueeSang Lee ; SungJu Park
Lookmark: A 2.5D Web Information Visualization System / Christian Breiteneder ; Horst Eidenberger ; Geert Fiedler ; Markus Raab
Artificial Intelligence II
Different Local Search Algorithms in STAGE for Solving Bin Packing Problem / Saeed Bagheri Shouraki ; Gholamreza Haffari
A Prototype for Functionality Based Network Management System / V. Neelanarayanan ; N. Satyanarayana ; N. Subramanian ; E. Usha Rani
Coaching a Soccer Simulation Team in RoboCup Environment / J. Habibi ; E. Chiniforooshan ; A. HeydarNoori ; M. Mirzazadeh ; M.A. Safari ; H.R. Younesy
Security I
Improving Information Retrieval System Security via an Optimal Maximal Coding Scheme / Dongyang Long
A New Scheme Based on Semiconductor Lasers with Phase-Conjugate Feedback for Cryptographic Communications / A. Iglesias
Parallel Algorithm and Architecture for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Specification and Verification of Security Policies in Firewalls / Rasool Jalili ; Mohsen Rezvani
Multimedia II
Image Segmentation Based on Shape Space Modeling / Daehee Kim ; Yo-Sung Ho
HERMES: File System Support for Multimedia Streaming in Information Home Appliance / Youjip Won ; Jinyoun Park ; Sangback Ma
Motion Vector Recovery for Error Concealment Based on Macroblock Distortion Modeling / Jae-Won Suh
A Memory Copy Reduction Scheme for Networked Multimedia Service in Linux Kernel / JeongWon Kim ; YoungUhg Lho ; YoungJu Kim ; KwangBaek Kim ; SeungWon Lee
Neural Network
Hidden Markov Model and Neural Network Hybrid / Dongsuk Yook
Neural Network Based Algorithms for IP Lookup and Packet Classification / Mehran Mahramian ; Nasser Yazdani ; Karim Faez ; Hassan Taheri
Non-linear Prediction of Speech Signal Using Artificial Neural Nets / K. Ashouri ; M. Amini ; M.H. Savoji
Security II
Web Document Access Control Using Two-Layered Storage Structures with RBAC Server / Won Bo Shim ; Seog Park
Development of UML Descriptions with USE / Martin Gogolla ; Mark Richters
FPGA Implementation of Digital Chaotic Cryptography / Dewi Utami ; Hadi Suwastio ; Bambang Sumadjudin
Multimedia III
Stereo for Recovering Sharp Object Boundaries / Jeonghee Jeon ; Choongwon Kim
Priority Vantage Points Structures for Similarity Queries in Metric Spaces / Cengiz Celik
A High Performance Image Coding Using Uniform Morphological Sampling, Residues Classifying, and Vector Quantization / Saeid Saryazdi ; Mostafa Jafari
A Genetic Algorithm for Steiner Tree Optimization with Multiple Constraints Using Prüfer Number / A.T. Haghighat ; K. Faez ; M. Dehghan ; A. Mowlaei ; Y. Ghahremani
Data and Knowledge Engineering I
A New Technique for Participation of Non-CORBA Independent Persistent Objects in OTS Transactions / Mohsen Sharifi ; S.F. Noorani ; F. Orooji
Compositional Modelling of Workflow Processes / Khodakaram Salimifard ; Mike B. Wright
EDMIS: Metadata Interchange System for OLAP / In-Gi Lee ; Minsoo Lee ; Hwan-Seung Yong
An Efficient Method for Controlling Access in Object-Oriented Databases / Woochun Jun ; Le Gruenwald
XML I
Extracting Information from XML Documents by Reverse Generating a DTD / Jong-Seok Jung ; Dong-Ik Oh ; Yong-Hae Kong ; Jong-Keun Ahn
Mapping XML-Schema to Relational Schema / Sun Hongwei ; Zhang Shusheng ; Zhou Jingtao ; Wang Jing
Flexible Modification of Relational Schema by X2RMap in Storing XML into Relations / Jaehoon Kim
B2B Integration - Aligning ebXML and Ontology Approaches / Birgit Hofreiter ; Christian Huemer
Mobile Communication I
An Agent Based Service Discovery Architecture for Mobile Environments / Zhou Wang ; Jochen Seitz
Location Management Using Multicasting HLR in Mobile Networks / Dong Chun Lee
Packet Error Probability of Multi-carrier CDMA System in Fast/Slow Correlated Fading Plus Interference Channel / Jae-Sung Roh ; Chang-Heon Oh ; Heau-Jo Kang ; Sung-Joon Cho
Computer Graphics
A Distributed Low-Cost Dynamic Multicast Routing Algorithm with Delay Constraints / Min-Woo Shin ; Nak-Keun Joo ; Hyeong-Seok Lim
A New Bandwidth Reduction Method for Distributed Rendering Systems / Won-Jong Lee ; Hyung-Rae Kim ; Woo-Chan Park ; Jung-Woo Kim ; Tack-Don Han ; Sung-Bong Yang
Neural Networks Based Mesh Generation Method in 2-D / Çinar Ahmet ; Arslan Ahmet
Image Denoising Using Hidden Markov Models / Leila Ghabeli ; Hamidreza Amindavar
Data and Knowledge Engineering II
Anaphoric Definitions in Description Logic / Maarten Marx ; Mehdi Dastani
Storage and Querying of High Dimensional Sparsely Populated Data in Compressed Representation / Abu Sayed M. Latiful Hoque
The GlobData Fault-Tolerant Replicated Distributed Object Database / Luís Rodrigues ; Hugo Miranda ; Ricardo Almeida ; João Martins ; Pedro Vicente
XML II
A Levelized Schema Extraction for XML Document Using User-Defined Graphs / Sungrim Kim ; Yong-ik Yoon
Extracting, Interconnecting, and Accessing Heterogeneous Data Sources: An XML Query Based Approach / Gilles Nachouki ; Mohamed Quafafou
Mobile Communication II
Call Admission Control in Cellular Mobile Networks: A Learning Automata Approach / Hamid Beigy ; M.R. Meybodi
An Adaptive Flow Control Scheme for Improving TCP Performance in Wireless Internet / Seung-Joon Seok ; Sung-Min Hong ; Chul-Hee Kang
An Adaptive TCP Protocol for Lossy Mobile Environment / Choong Seon Hong ; YingXia Niu ; Jae-Jo Lee
Design and Implementation of Application-Level Multicasting Services over ATM Networks / Sung-Yong Park ; Jihoon Yang ; Yoonhee Kim
Digital Libraries and Natural Language Issues
Bon: The Persian Stemmer / Masoud Tashakori ; Mohammadreza Meybodi ; Farhad Oroumchian
Current and Future Features of Digital Journals / Harald Krottmaier
Solving Language Problems in a Multilingual Digital Library Federation / Nieves R. Brisaboa ; José R. Paramá ; MiguelR. Penabad ; Ángeles S. Places ; Francisco J. Rodríguez
Internet and Quality of Service
Performing IP Lookup on Very High Line Speed / Nazila Salimi
A Study of Marking Aggregated TCP and UDP Flows Using Generalized Marking Scheme
Information Society
Towards the Global Information Society: The Enactment of a Regulatory Framework as a Factor of Transparency and Social Cohesion / Panagiotes S. Anastasiades
E-learning
On the Application of the Semantic Web Concepts to Adaptive E-learning / Juan M. Santos ; Luis Anido ; Martín Llamas ; Judith S. Rodríguez
An Integrated Programming Environment for Teaching the Object-Oriented Programming Paradigm / Stelios Xinogalos ; Maya Satratzemi
The Current Legislation Covering E-learning Provisions for the Visually Impaired in the EU / Hamid Jahankhani ; John A. Lynch ; Jonathan Stephenson
Mobile Communication III
Monte Carlo Soft Handoff Modeling / Alexey S. Rodionov ; Hyunseung Choo
A QoS Provision Architecture for Mobile IPv6 over MPLS Using HMAT / Zhao Wei Qu ; Sungyoung Lee
A New Propagation Model for Cellular Mobile Radio Communications in Urban Environments Including Tree Effects / Reza Arablouei ; Ayaz Ghorbani
Mobile Web Information Systems
A Secure Mobile Agent System Applying Identity-Based Digital Signature Scheme / Seongyeol Kim ; Ilyong Chung
Transmission Time Analysis of WAP over CDMA System Using Turbo Code Scheme / Il-Young Moon
On the Use of New Technologies in Health Care / Fernando Aguado ; Olga Folgueiras ; Manuel Caeiro
Wireless Communication Technology I
Hybrid Queuing Strategy to Reduce Call Blocking in Multimedia Wireless Networks / Il-Sun Hwang ; Robert Young Chul Kim
A Dynamic Backoff Scheme to Guarantee QoS over IEEE 802.11 Wireless Local Area Networks / Kil-Woong Jang ; Sung-Ho Hwang ; Ki-Jun Han
Performance Evaluation of Serial/Parallel Block Coded CDMA Systemwith Complex Spreading in Near/Far Multiple-Access Interference and Multi-path Nakagami Fading Channel / Choon-Gil Kim
A Learning Automata Based Dynamic Guard Channel Scheme
Web-Based Application
Dynamic System Simulation on the Web / Khaled Mahbub ; M.S.J. Hashmi
Using Proximity Information for Load Balancing in Geographically Distributed Web Server Systems / Dheeraj Sanghi ; Pankaj Jalote ; Puneet Agarwal
Strategie Tool for Assessment of the Supply and Demand Relationship between ASPs and SMEs for Competitive Advantage / Babak Akhgar ; Jawed Siddiqi ; Mehrdad Naderi
Intelligent Agents I
Trust and Commitment in Dynamic Logic / Jan Broersen ; Zhisheng Huang ; Leendert van der Torre
Modelling Heterogeneity in Multi Agent Systems / Stefania Bandini ; Sara Manzoni ; Carla Simone
Pricing Agents for a Group Buying System / Yong Kyu Lee ; Shin Woo Kim ; Min Jung Ko ; Sung Eun Park
Evolution of Cooperation in Multiagent Systems / Brian Mayoh
Real-Time Systems
A Dynamic Window-Based Approximate Shortest Path Re-computation Method for Digital Road Map Databases in Mobile Environments / Jaehun Kim ; Sungwon Jung
Web-Based Process Control Systems: Architectural Patterns, Data Models, and Services / Mykola V. Tkachuk ; Heinrich C. Mayr ; Dmytro V. Kuklenko ; MichailD. Godlevsky
A Comparison of Techniques to Estimate Response Time for Data Placement / Shahram Ghandeharizadeh ; Shan Gao ; Chris Gahagan
Using a Real-Time Web-Based Pattern Recognition System to Search for Component Patterns Database / Sung-Jung Hsiao ; Kuo-Chin Fan ; Wen-Tsai Sung ; Shih-Ching Ou
Wireless Communication Technology II
An Adaptive Call Admission Control to Support Flow Handover in Wireless Ad Hoc Networks / Joo-Hwan Seo
Design of Optimal LA in Personal Communication Services Network Using Simulated Annealing Technique / Madhubanti Maitra ; Ranjan Kumar Pradhan ; Debasish Saha ; Amitava Mukherjee
Secure Bluetooth Piconet Using Non-anonymous Group Key / Dae-Hee Seo ; Im-Yeong Lee ; Dong-ik Oh ; Doo-soon Park
Differentiated Bandwidth Allocation and Power Saving for Wireless Personal Area Networks / Tae-Jin Lee ; Yongsuk Kim
Software Engineering I
Combining Extreme Programming with ISO 9000 / Jerzy R. Nawrocki ; Michał Jasiñski ; Bartosz Walter ; Adam Wojciechowski
The Class Cohesion Using the Reference Graph G1 and G2 / Wan-Kyoo Choi ; Il-Yong Chung Sung-Joo Lee ; Hong-Sang Yoon
Process-Oriented Interactive Simulation of Software Acquisition Projects / Tobias Häberlein ; Thomas Gantner
Automatic Design Patterns Identification of C++ Programs / Félix Agustín Castro Espinoza ; Gustavo Núñez Esquer ; Joel Suárez Cansino
Intelligent Agents II
Specifying the Merging of Desires into Goals in the Context of Beliefs
The Illegal Copy Protection Using Hidden Agent / Deok-Gyu Lee
Mobile Agent-Based Misuse Intrusion Detection Rule Propagation Model for Distributed System / Tae-Kyung Kim ; Dong-Young Lee ; T.M. Chung
Algorithm and Computer Theory
H-Colorings of Large Degree Graphs / Josep Díaz ; Jaroslav Nešetřil ; Maria Serna ; Dimitrios M. Thilikos
Hyper-Star Graph: A New Interconnection Network Improving the Network Cost of the Hypercube / Hyeong-Ok Lee ; Jong-Seok Kim ; Eunseuk Oh
Sequential Consistency as Lazy Linearizability / Michel Raynal
Embedding Full Ternary Trees into Recursive Circulants / Cheol Kim ; Jung Choi
Wireless Communication Technology III
A Handoff Priority Scheme for TDMA/FDMA-Based Cellular Networks / Sun-Woo Lee
On Delay Times in a Bluetooth Piconet: The Impact of Different Scheduling Policies / Jelena Mišić ; Vojislav B. Mišić
Intelligent Paging Strategy in 3G Personal Communication Systems / I. Saha Misra ; S. Karmakar ; M.S. Mahapatra ; P.S. Bhattacharjee ; D. Saha ; A. Mukhertjee
Experience from Mobile Application Service Framework in WIP / Shinyoung Lim ; Youjin Song
An Efficient Approach to Improve TCP Performance over Wireless Networks / Satoshi Utsumi ; Salahuddin M.S. Zabir ; Norio Shiratori
Extended Hexagonal Constellations as a Means of Multicarrier PAPR Reduction / Ali Pezeshk ; Babak H. Khalaj
Software Engineering II
Adaptive Application-Centric Management in Meta-computing Environments
The Weakest Failure Detector for Solving Election Problems in Asynchronous Distributed Systems / Sung-Hoon Park
From Lens to Flow Structure / David Fauthoux ; Jean-Paul Bahsoun
ADML: A Language for Automatic Generation of Migration Plans / Jennifer Pérez ; José A. Carsí ; Isidro Ramos
Considerations for Using Domain-Specific Modeling in the Analysis Phase of Software Development Process / Kalle Korhonen
Organizations and Normative Agents / Virginia Dignum ; Frank Dignum
A Framework for Agent-Based Software Development / Behrouz Homayoun Far
Application of Agent Technologies in Extended Enterprise Production Planning / V. Marík ; M. Pechoucek ; J. Vokrínek ; A. Ríha
Zamin: An Artificial Ecosystem / Ramin Halavati
Author Index
Artificial Intelligence I
Speaker Model and Decision Threshold Updating in Speaker Verification / M. Mehdi Homayounpour
Application of Constraint Hierarchy to Timetabling Problems / Tatyana Yakhno ; Evren Tekin
9.

図書

図書
Don Batory, Charles Consel, Walid Taha (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 334 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2487
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Program Generation, Termination, and Binding-Time Analysis / Neil D. Jones ; Arne J. Glenstrup
Generative Programming for Embedded Systems / Janos Sztipanovits ; Gabor Karsai
Regular Papers
Self Reflection for Adaptive Programming / Giuseppe Attardi ; Antonio Cisternino
DataScript - A Specification and Scripting Language for Binary Data / Godmar Back
Memoization in Type-Directed Partial Evaluation / Vincent Balat ; Olivier Danvy
A Protocol Stack Development Tool Using Generative Programming / Michel Barbeau ; Francis Bordeleau
Building Composable Aspect-Specific Languages with Logic Metaprogramming / Johan Brichau ; Kim Mens ; Kris De Volder
Architectural Refactoring in Framework Evolution: A Case Study / Greg Butler
Towards a Modular Program Derivation via Fusion and Tupling / Wei-Ngan Chin ; Zhenjiang Hu
Generative Programming for Embedded Software: An Industrial Experience Report / Krzysztof Czarnecki ; Thomas Bednasch ; Peter Unger ; Ulrich Eisenecker
A Framework for the Detection and Resolution of Aspect Interactions / Remi Douence ; Pascal Fradet ; Mario Sudholt
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design / Tzilla Elrad ; Omar Aldawud ; Atef Bader
Macros That Compose: Systematic Macro Programming / Oleg Kiselyov
Program Termination Analysis in Polynomial Time / Chin Soon Lee
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems / Sandeep Neema ; Ted Bapty ; Jeff Gray ; Aniruddha Gokhale
Optimizing Content Management System Pipelines (Separation and Merging of Concerns) / Markus Noga ; Florian Krüper
Component-Based Programming for Higher-Order Attribute Grammars / João Saraiva
Altering Java Semantics via Bytecode Manipulation / E ric Tanter ; Marc Segura-Devillechaise ; Jacques Noyé ; José Piquer
Meta-programming with Concrete Object Syntax / Eelco Visser
Managing Dynamic Changes in Multi-stage Program Generation Systems / Zhenghao Wang ; Richard R. Muntz
Author Index
Invited Papers
Program Generation, Termination, and Binding-Time Analysis / Neil D. Jones ; Arne J. Glenstrup
Generative Programming for Embedded Systems / Janos Sztipanovits ; Gabor Karsai
10.

図書

図書
Chris George, Huaikou Miao (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 626 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2495
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼