close
1.

電子ブック

EB
Hugh Richard Slotten, editor in chief
出版情報: [Oxford] : Oxford University Press, 2015  1 online resource
所蔵情報: loading…
2.

電子ブック

EB
Danny Weyns
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Software Architecture and Middleware / 1.1:
Software Architecture / 1.1.1:
Middleware / 1.1.2:
Agent-Oriented Methodologies / 1.2:
Case Study / 1.3:
Overview of the Book / 1.4:
Overview of Architecture-Based Design of Multi-Agent Systems / 2:
General Overview of the Approach / 2.1:
Architectural Design in the Development Life Cycle / 2.1.1:
Steps of Architecture-Based Design of Multi-Agent Systems / 2.1.2:
Functional and Quality Attribute Requirements / 2.2:
Architectural Design / 2.3:
Architectural Patterns / 2.3.1:
ADD Process / 2.3.2:
Middleware Support for Multi-Agent Systems / 2.4:
Documenting Software Architecture / 2.5:
Architectural Views / 2.5.1:
Architectural Description Languages / 2.5.2:
Evaluating Software Architecture / 2.6:
From Software Architecture to Downstream Design and Implementation / 2.7:
Summary / 2.8:
Capturing Expertise in Multi-Agent System Engineering with Architectural Patterns / 3:
Situated Multi-Agent Systems / 3.1:
Single-Agent Systems / 3.1.1:
Multi-Agent Systems / 3.1.2:
Target Domain of the Pattern Language for Situated Multi-Agent Systems / 3.2:
Overview of the Pattern Language / 3.3:
Pattern Template / 3.4:
Virtual Environment / 3.5:
Primary Presentation / 3.5.1:
Architectural Elements / 3.5.2:
Interface Descriptions / 3.5.3:
Design Rationale / 3.5.4:
Situated Agent / 3.6:
Selective Perception / 3.6.1:
Roles and Situated Commitments / 3.7.1:
Free-Flow Trees Extended with Roles and Situated Commitments / 3.8.1:
Protocol-Based Communication / 3.9:
Architectural Design of Multi-Agent Systems / 3.9.1:
Designing and Documenting Multi-Agent System Architectures / 4.1:
Designing and Documenting Architecture in the Development Life Cycle / 4.1.1:
Inputs and Outputs of ADD / 4.1.2:
Overview of the ADD Activities / 4.1.3:
The Domain of Automated Transportation Systems / 4.2:
Business Case / 4.2.2:
System Requirements / 4.2.3:
General Overview of the Design / 4.3:
Challenges at the Outset / 4.3.1:
The System and Its Environment / 4.3.2:
Design Process / 4.3.3:
High-Level Design / 4.3.4:
Architecture Documentation / 4.4:
Introduction to the Architecture Documentation / 4.4.1:
Deployment View / 4.4.2:
Module Uses View / 4.4.3:
Collaborating Components View / 4.4.4:
Middleware for Distributed Multi-Agent Systems / 4.5:
Middleware Support for Distributed, Decentralized Coordination / 5.1:
Middleware in Distributed Software Systems / 5.1.1:
Middleware in Multi-Agent Systems / 5.1.2:
Scope of the Middleware and Requirements / 5.2:
Objectplaces / 5.2.2:
Views / 5.2.3:
Coordination Roles / 5.2.4:
Middleware Architecture / 5.3:
High-Level Module Decomposition / 5.3.1:
Group Formation / 5.3.2:
View Management / 5.3.3:
Role Activation / 5.3.4:
Collision Avoidance in the AGV Transportation System / 5.4:
Collision Avoidance / 5.4.1:
Collision Avoidance Protocol / 5.4.2:
Software Architecture: Communicating Processes for Collision Avoidance / 5.4.3:
Task Assignment / 5.5:
Schedule-Based Task Assignment / 6.1:
FiTA: Field-Based Task Assignment / 6.2:
Coordination Fields / 6.2.1:
Adaptive Task Assignment / 6.2.2:
Dealing With Local Minima / 6.2.3:
DynCNET Protocol / 6.3:
Monitoring the Area of Interest / 6.3.1:
Convergence / 6.3.3:
Synchronization Issues / 6.3.4:
Evaluation / 6.4:
Test Setting / 6.4.1:
Test Results / 6.4.2:
Tradeoff Analysis / 6.4.3:
Evaluation of Multi-Agent System Architectures / 6.5:
Evaluating Multi-Agent System Architectures with ATAM / 7.1:
Architecture Evaluation in the Development Life Cycle / 7.1.1:
Objectives of a Multi-Agent System Architecture Evaluation / 7.1.2:
Overview of the ATAM Activities / 7.1.3:
AGV Transportation System for a Tea Processing Warehouse / 7.2:
Evaluation Process / 7.2.2:
Quality Attribute Workshop / 7.2.3:
Analysis of Architectural Approaches / 7.2.4:
Reflection on ATAM for Evaluating a Multi-Agent System Architecture / 7.3:
ATAM Follow-Up and Demonstrator / 7.4:
Related Approaches / 7.5:
Architectural Approaches and Multi-Agent Systems / 8.1:
Architectural Styles / 8.1.1:
Reference Models and Architectures for Multi-Agent Systems / 8.1.2:
Middleware for Mobile Systems / 8.2:
Work Related to Views / 8.2.1:
Work Related to Coordination Roles / 8.2.2:
Scheduling and Routing of AGV Transportation Systems / 8.3:
AI and Robotics Approaches / 8.3.1:
Multi-Agent System Approaches / 8.3.2:
Conclusions / 9:
Reflection on Architecture-Based Design of Multi-Agent Systems / 9.1:
It Works! / 9.1.1:
Reflection on the Project with Egemin / 9.1.2:
Lessons Learned and Challenges / 9.2:
Dealing with Quality Attributes / 9.2.1:
Designing a Multi-Agent System Architecture / 9.2.2:
Integrating a Multi-Agent System with Its Software Environment / 9.2.3:
Impact of Adopting a Multi-Agent System / 9.2.4:
?-ADL Specification of the Architectural Patterns / A:
Language Constructs / A.1:
Virtual Environment Pattern / A.2:
Situated Agent Pattern / A.3:
Synchronization in the DynCNET Protocol / B:
Synchronization of Abort and Bound Messages / B.1:
Synchronization of Scope Dynamics / B.2:
Overview / C:
Invariant / C.2:
Maintaining the Invariant / C.3:
Glossary
References
Index
Introduction / 1:
Software Architecture and Middleware / 1.1:
Software Architecture / 1.1.1:
3.

電子ブック

EB
Katinka Wolter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I:
Basic Concepts and Problems / 1:
The Timeout Problem / 1.1:
System and Fault Models / 1.2:
Preventive Maintenance / 1.3:
Note on Terminology / 1.4:
Outline / 1.5:
Task Completion Time / 2:
Bounded Downtime / 2.1:
System Lifetime / 2.1.1:
Cumulative Uptime / 2.1.2:
Probability of Task Completion / 2.1.3:
Bounded Accumulated Downtime / 2.2:
system Lifetime / 2.2.1:
Bounded Number of Failures / 2.2.2:
Restart / 2.3.1:
Applicability Analysis of Restart / 3:
Applications of Restart / 3.1:
Randomised Algorithms / 3.1.1:
Optimal Restart Time for a Randomised Algorithm / 3.1.2:
Failure Detectors / 3.1.3:
Congestion Control in TCP / 3.1.4:
Criteria for Successful Restarts / 3.2:
When Does Restart Improve the Expected Completion Time? / 3.2.1:
When Does Restart Improve the Probability of Meeting a Deadline? / 3.2.2:
Conclusions / 3.3:
Moments of Completion Time Under Restart / 4:
The Information Captured by the Moments of a Distribution / 4.1:
Models for Moments of Completion Time / 4.2:
Unbounded Number of Restarts / 4.2.1:
Finite Number of Restarts / 4.2.2:
Optimal Restart Times for the Moments of Completion Time / 4.3:
Expected Completion Time / 4.3.1:
Optimal Restart Times for Higher Moments / 4.3.2:
Case Study: Optimising Expected Completion Time in Web Services Reliable Messaging / 4.4:
Metrics for the Fairness-Timeliness tradeoff / 4.4.1:
Oracles for Restart / 4.4.2:
Results / 4.4.3:
HTTP Transport / 4.5:
60 s Disruption / 4.5.1:
Packet Loss / 4.5.2:
Mail Transport / 4.5.3:
Meeting Deadlines Through Restart / 5:
A Model for the Probability of Meeting a Deadline Under Restart / 5.1:
Algorithms for Optimal Restart Times / 5.2:
An Engineering Rule to Approximate the Optimal Restart Time / 5.3:
Towards Online Restart for Self-Management of Systems / 5.4:
Estimating the Hazard Rate / 5.4.1:
Experiments / 5.4.2:
Software Rejuvenation / Part III:
Practical Aspects of Preventive Maintenance and Software Rejuvenation / 6:
Stochastic Models for Preventive Maintenance and Software Rejuvenation / 6.1:
A Markovian Software Rejuvenation Model / 7.1:
Aging in the Modelling of Software Rejuvenation / 7.2:
Behaviour in State A under Policy I / 7.2.1:
Behaviour in State A under Policy II / 7.2.2:
A Petri Net Model / 7.3:
A Non-Markovian Preventive Maintenance Model / 7.4:
Stochastic Processes for Shock and Inspection-Based Modelling / 7.5:
The Inspection Model with Alert Threshold Policy / 7.5.1:
The Shock Model with a Risk Policy / 7.5.2:
Inspection-Based Modelling using the Möbius Modelling Tool / 7.6:
Comparative Summary of the Stochastic Models / 7.7:
Further Reading / 7.8:
Checkpointing / Part IV:
Checkpointing Systems / 8:
Checkpointing Single-Unit Systems / 8.1:
Checkpointing in Distributed Systems / 8.2:
Stochastic Models for Checkpointing / 9:
Checkpointing at Program Level / 9.1:
Equidistant Checkpointing / 9.1.1:
Checkpointing Real-Time Tasks / 9.1.2:
Random Checkpointing Intervals / 9.1.3:
Algorithms for Optimum Checkpoint Selection / 9.1.4:
Checkpointing at System Level / 9.2:
Analytic Models for Checkpointing Transaction-Based Systems / 9.2.1:
Checkpointing Policies for Transaction-Based Systems / 9.2.2:
A Queueing Model for Checkpointing Transaction-Based Systems / 9.2.3:
A Trade-Off Metric for Optimal Checkpoint Selection / 9.3:
Summary / 9.4:
Summary, Conclusion and Outlook / 10:
Properties in Discrete Systems / A:
Cumulative First Moment / A.1:
The Gamma Function / A.2:
Important Probability Distributions / B:
Discrete Probability Distributions / B.1:
The Binomial Distribution / B.1.1:
The Multinomial Distribution / B.1.2:
The Geometric Distribution / B.1.3:
The Poisson Distribution / B.1.4:
Continuous Probability Distributions / B.2:
The Exponential Distribution / B.2.1:
The Erlang Distribution and the Hypo-exponential Distribution / B.2.2:
The Hyperexponential Distribution / B.2.3:
The Mixed Hyper/Hypo-exponential Distribution / B.2.4:
The Weibull Distribution / B.2.5:
The Lognormal Distribution / B.2.6:
Cumulative Hazard Rate / C:
Epanechnikov Kernel / C.2:
Bandwidth Estimation / C.3:
The Laplace and the Laplace-Stieltjes Transform / D:
References
Index
Glossary
Introduction / Part I:
Basic Concepts and Problems / 1:
The Timeout Problem / 1.1:
4.

電子ブック

EB
International Workshop on Parallel Tools for High Performance Computing, Matthias S. M?ller, Michael M. Resch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
5.

電子ブック

EB
Ulrich Gellert, Ana Daniela Cristea
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
What is Web Dynpro? / 1:
SAP Easy Access / 2:
Changing the SAP Easy Access / 2.1:
Favorites List / 2.2:
Setting a Transaction as Start Transaction / 2.3:
Creating a Shortcut / 2.4:
Designing a Web Dynpro Component / 3:
View / 3.1:
View Layout / 3.1.1:
Context View / 3.1.2:
Actions / 3.1.3:
Methods / 3.1.4:
Properties / 3.1.5:
Attributes / 3.1.6:
Componentcontroller / 3.2:
Window / 3.3:
Application / 3.4:
ABAP Debugger / 3.5:
Web Dynpro Logon Page Configuration / 3.6:
ABAP Dictionary / 4:
Data Element / 4.1:
Domain / 4.2:
Structure / 4.3:
Table / 4.4:
Search Help / 4.5:
Database View / 4.6:
Table Type / 4.7:
Lock Object / 4.8:
Context Nodes and Attributes at Design Time / 5:
Nodes / 5.1:
Creating a Node that Uses an ABAP Dictionary Repository Object / 5.2.1:
Working with Child Nodes / 5.2.2:
Data Binding, Context Mapping and Interface Methods / 6:
Data Binding / 6.1:
Context Mapping / 6.2:
Internal Context Mapping / 6.2.1:
External Context Mapping / 6.2.2:
Interface Methods / 6.3:
View Controller Methods / 7:
Hook Methods / 7.1:
wdDoInit / 7.1.1:
wdDoExit / 7.1.2:
wdDoModify View / 7.1.3:
wdDoBeforeAction / 7.1.4:
wdDoOnContextMenu / 7.1.5:
Supply Function Methods / 7.2:
User-Defined Instance Methods / 7.3:
Fire Methods / 7.4:
Event Handler Methods / 7.5:
Layout UI Elements / 8:
FlowLayout / 8.1:
GridLayout / 8.2:
MatrixLayout / 8.3:
RowLayout / 8.4:
User Interface Elements (UI elements), Static and Dynamic Programming / 9:
Action / 9.1:
Timed Trigger / 9.1.1:
ButtonChoice / 9.1.2:
Selection / 9.2:
DropDownByKey / 9.2.1:
DropDownByIndex / 9.2.2:
RadioButtonGroupByIndex / 9.2.3:
Layout / 9.3:
ViewContainerUIElement / 9.3.1:
TabStrip / 9.3.2:
PageHeader / 9.3.3:
ContextualPanel / 9.3.4:
Tray UI Element / 9.3.5:
MessageArea / 9.3.6:
Complex / 9.4:
RoadMap / 9.4.1:
PhaseIndicator / 9.4.3:
Tree-Sequential Implementation / 9.4.4:
DateNavigator / 9.4.5:
Graphic / 9.5:
Image / 9.5.1:
BusinessGraphics / 9.5.2:
Integration / 9.6:
The InteractiveForm / 9.6.1:
FileUpload / 9.6.2:
Messages, Exceptions and Web Dynpro ABAP / 10:
Message Handling / 10.1:
Dynamic Texts Stored in the Text Pool of the Assistance Class / 10.1.1:
Text from Database Table T100 / 10.1.2:
Exception Handling / 10.2:
Exception Class with OTR Text / 10.2.1:
Exception Class with Text from a Message Class / 10.2.2:
Writing Multilanguage Applications / 11:
Creating Multilanguage User Interfaces / 11.1:
Internationalization of Data Elements Defined in ABAP Dictionary / 11.1.1:
Internationalization of Domains Defined in ABAP Dictionary / 11.1.2:
Internationalization of Text from OTR / 11.1.3:
Internationalization of Text from Assistance Class / 11.1.4:
Internationalization of Messages / 11.1.5:
Multilanguage Records in the Database / 11.2:
Study an Example Created in the System / 11.2.1:
Creating Table Structures and Internationalization of the Records / 11.2.2:
Using the Internationalized Records in WebDynpro / 11.2.3:
Web Dynpro Model / 12:
Assistance Class as a Model for a Multicomponent Application / 12.1:
BAPI as a Model / 12.2:
Creating a BAPI / 12.2.1:
Using the Created BAPI as a Model / 12.2.2:
Web Service / 12.3:
Creating the Web Service / 12.3.1:
Web Service Configuration / 12.3.2:
Testing the Web Service / 12.3.3:
Consuming the Web Service in Web Dynpro / 12.3.4:
ALV and Select Options / 13:
SAP List Viewer / 13.1:
Simple ALV Example / 13.1.1:
ALV Configuration Model / 13.1.2:
Select Options / 13.2:
Integrating a Web Dynpro Application into the SAP NetWeaver Portal / 13.3:
Creating a Folder / 14.1:
Connecting to the Back-End ABAP System / 14.2:
Creating an iView / 14.3:
Creating a Role and Role Assignment / 14.4:
Running the Application into the Portal / 14.5:
Triggering a Portal Event / 14.6:
Reacting to a Portal Event / 14.7:
Creating a Page / 14.8:
Running the Application that Processes Portal Events / 14.9:
Web Dynpro and Authorization / 15:
Role Based Access Control Pattern - RBAC / 15.1:
Authorization Object Class / 15.2:
Authorization Object / 15.3:
Authorization Fields / 15.4:
Creating a Single Role and Changing its Authorization Data / 15.5:
Creating the Web Dynpro Component / 15.6:
Checking the Authorization of the Current User / 15.6.1:
Assigning the User-Role and Running the Application / 15.6.2:
Web Dynpro Mind Map / 16:
Creating a Mind Map / 16.1:
Web Dynpro ABAP Mind Map / 16.2:
Appendix
Index
What is Web Dynpro? / 1:
SAP Easy Access / 2:
Changing the SAP Easy Access / 2.1:
6.

電子ブック

EB
Darja ?mite, Darja #mite, Nils Brede Moe, Darja Smite
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
7.

電子ブック

EB
Torgeir Dings?yr, Torgeir Dings?yr, Tore Dyb?, Tore Dyb?, Nils Brede Moe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
8.

電子ブック

EB
Norbert Pohlmann, Helmut Reimer, Wolfgang Schneider
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2010
所蔵情報: loading…
9.

電子ブック

EB
David Salomon
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
10.

電子ブック

EB
Anne Voluntas dei Massah Kayem, Selim G. Akl, Anne V. D. M. Kayem, Patrick Martin
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
11.

電子ブック

EB
Javier Lacasta, Javier Nogueras-Iso, Francisco Javier Zarazaga Soria
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ontology basic concepts / 1:
Introduction / 1.1:
Ontology families / 1.2:
Ontology classification / 1.3:
Controlled vocabularies / 1.3.1:
Glossaries / 1.3.2:
Subject headings and taxonomies / 1.3.3:
Thesauri / 1.3.4:
Semantic Networks / 1.3.5:
Is-a Hierarchies and Formal Instances / 1.3.6:
Frame based ontologies / 1.3.7:
General Constraints and Disjointness / 1.3.8:
Alignment of ontologies and ontology mappings / 1.4:
Summary / 1.5:
A representation framework for terminological ontologies / 2:
Related work in the representation of terminological ontologies / 2.1:
Representation of knowledge models / 2.2.1:
Representation of mappings / 2.2.2:
Representation of terminological ontologies / 2.3:
Knowledge model representation / 2.3.1:
Metadata for ontology description / 2.3.2:
Representation of ontology mappings / 2.4:
Mapping representation / 2.4.1:
Metadata for mapping description / 2.4.2:
Case of study: Mapping of terminological ontologies to an upper level ontology / 2.5:
Ontology learning for terminological ontologies / 2.6:
Ontology learning from corpora / 3.1:
Ontology learning from dictionaries / 3.3:
Ontology learning from schemata / 3.4:
Ontology learning from thesauri / 3.5:
Cases of study / 3.6:
Transformation of heterogeneous thesaurus representations into terminological ontologies / 3.6.1:
Terminological ontologies as a result of thesaurus merging / 3.6.2:
Formalization of terminological ontologies / 3.7:
Current approaches towards formalization / 4.1:
Increase of formalism in terminological models / 4.3:
Application of the formalization process / 4.4:
Access to terminological ontologies / 4.5:
Terminological ontology management / 5.1:
Terminological ontology storage and access / 5.3:
Architecture / 5.3.1:
Terminological ontology repository / 5.3.2:
Terminological ontology manager / 5.3.3:
Edition of terminological ontologies / 5.4:
Accessing terminological ontologies through a web service / 5.5:
Performance analysis / 5.6:
Applicability of terminological ontologies to information retrieval / 5.7:
Resource classification / 6.1:
Improvement of information discovery through query expansion / 6.3:
State of the art in query expansion / 6.3.1:
A proposal for terminological based query expansion / 6.3.2:
Testing the retrieval model / 6.3.3:
Information browsing / 6.4:
State of the art in information browsing approaches / 6.4.1:
Topic map based browsing / 6.4.2:
Cluster based browsing / 6.4.3:
Browsing methods comparison / 6.4.4:
Concluding remarks and outlook / 6.5:
Reference
Index
Ontology basic concepts / 1:
Introduction / 1.1:
Ontology families / 1.2:
12.

電子ブック

EB
Christian W.; Bishop, Matthew; Gollmann, Dieter Probst, Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Aspects of Insider Threats / Christian W. Probst ; Jeffrey Hunker ; Dieter Gollmann ; Matt Bishop
Introduction / 1:
Insiders and Insider Threats / 2:
Insider Threats / 2.1:
Taxonomies / 2.2:
Detection and Mitigation / 3:
Policies / 4:
Human Factors and Compliance / 5:
Conclusion / 6:
References
Combatting Insider Threats / Peter G. Neumann
A Contextual View of Insiders and Insider Threats
Risks of Insider Misuse
Types of Insiders
Types of Insider Misuse
Threats, Vulnerabilities, and Risks
Relevant Knowledge and Experience / 3.1:
Exploitations of Vulnerabilities / 3.2:
Potential Risks Resulting from Exploitations / 3.3:
Countermeasures
Specification of Sound Policies for Data Gathering and Monitoring / 4.1:
Detection, Analysis, and Identification of Misuse / 4.2:
Desired Responses to Detected Anomalies and Misuses / 4.3:
Decomposition of Insider Misuse Problems
Stages of Development and Use / 5.1:
Extended Profiling Including Psychological and Other Factors / 5.2:
Requirements for Insider-Threat-Resistant High-Integrity Elections
Relevance of the Countermeasures to Elections / 7:
Research and Development Needs / 8:
Conclusions / 9:
Insider Threat and Information Security Management / Lizzie Coles-Kemp ; Marianthi Theoharidou
Definitions of Insider and the Relevance to Information Security Management
Risk and Insiderness
The Importance of Organisational Culture and the Significance of Cultural Risks
Fieldwork on Culture and the Insider Threat
The Structure of the ISMS and Traditional Information Security Management Responses to Insiderness
Analysis - Turning an ISMS Inwards
The Role of Operationalisation
Information Security Management Standards, Best Practice and the Insider Threat
General Security Management Standards
Guidelines Focused on the Management of the Insider Threat
Analysis of the Contribution of Best Practice and Guidelines / 5.3:
Crime theories and insider threat
Existing Connections between Crime Theories and Information Security Management / 6.1:
Implications of Crime Theories for ISMS Design
Application of SCP to the ISO Control Domains / 7.1:
Implications for ISMS Process Design / 7.2:
Summary of Crime Theory Contribution / 7.3:
A State of the Art Survey of Fraud Detection Technology / Ulrich Flegel ; Julien Vayssière ; Gunter Bitz
Data Analysis Methodology / 1.1:
Survey of Technology for Fraud Detection in Practice
General Approaches for Intrusion and Fraud Detection
State of the Art of Fraud Detection Tools and Techniques
Why Fraud Detection is not the Same as Intrusion Detection
Challenges for Fraud Detection in Information Systems
Summary
Combining Traditional Cyber Security Audit Data with Psychosocial Data: Towards Predictive Modeling for Insider Threat Mitigation / Frank L. Greitzer ; Deborah A. Frincke
Background
Issues of Security and Privacy
Predictive Modeling Approach
Training Needs
Conclusions and Research Challenges
Acknowledgments
A Risk Management Approach to the "Insider Threat" / Sophie Engle ; Carrie Gates ; Sean Peisert ; Sean Whalen
Insider Threat Assessment
Example
Access-Based Assessment
Psychological Indicator-Based Assessment
Application of Risk to System Countermeasures
Legally Sustainable Solutions for Privacy Issues in Collaborative Fraud Detection / Florian Kerschbaum ; Philip Miseldine ; Ganna Monakova ; Richard Wacker ; Frank Leymann
Monitoring Modern Distributed Systems
Evidence Model
Observing Fraudulent Service Behaviours
Architectural Support
Introduction to the Legal Perspective
Basic Principles of Data Privacy Law
A Set of Six Basic Rules
General Legal Requirements of Fraud Detection Systems
Privacy Relevance of Fraud Detection Systems
Necessary Data for Fraud Detection / 6.2:
Transparency in the Fraud Detection Context / 6.3:
Purpose Specification and Binding in Fraud Detection / 6.4:
Permissibility of Fraud Detection / 6.5:
Quality of Event Data / 6.6:
Security of Event Data / 6.7:
Technical Solutions for Privacy-respecting Fraud Detection
Technicla Requirements
Lossless Information Reduction with Covered Data
Lossy Information Reductions for Timestamps
Legal Improvements by Pseudonymizing Event Data
Technical Description / 8.1:
Privacy Relevance of Pseudonymized Event Data / 8.2:
Strengthening the Data Privacy Official / 8.3:
Disclosure With Legal Permission / 8.4:
Data and System Security / 8.5:
Towards an Access-Control Framework for Countering Insider Threats / Jason Crampton ; Michael Huth
Motivation and related work
Illustrative scenarios
Definitions of insiders
Access control / 2.3:
The insider problem and access control / 2.4:
Trust, trustworthiness, and the insider problem
Insiderness
Trust management and risk assessment
Pragmatics of identifying suspicious events
Toward a context-and insider-aware policy language
Context and request predicates
Requirements
Policy transformations via declarative programming
Discussion of requirements / 4.4:
Policy transformations / 4.5:
Risk-and trustworthiness-aware policy composition / 4.6:
Access-control architectures and the insider problem
Concluding remarks
Monitoring Technologies for Mitigating Insider Threats / Brian M. Bowen ; Malek Ben Salem ; Angelos D. Keromytis ; Slvatore J. Stolfo
Related Research
Threat Model - Level of Sophistication of the Attacker
Decoy Properties
Architecture
Decoy Document Distributor
SONAR
Decoys and Network Monitoring
Host-based Sensors / 5.4:
Concluding Remarks and Future Work
Insider Threat Specification as a Threat Mitigation Technique / George Magklaras ; Steven Furnell
The Insider Threat Problem
The Common Intrusion Specification Language
Panoptis
Insider Misuse Taxonomies and Threat Models
The Scope of the Insider Threat Prediction Specification Language
The Domain Specific Language Programming Paradigm
Aspects of Insider Threats / Christian W. Probst ; Jeffrey Hunker ; Dieter Gollmann ; Matt Bishop
Introduction / 1:
Insiders and Insider Threats / 2:
13.

電子ブック

EB
Dick Hamlet
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Griffin
Acknowledgements
Introduction / 1:
A 'Clear Drop' / 1.1:
Testing Components and Recording Approximations / 1.1.1:
Synthesizing a System / 1.1.2:
Discussion of the Example / 1.1.3:
Roadmap of this Monograph / 1.2:
Theory vs. Practice / 1.2.1:
Formal Theory of Software Testing / 1.2.2:
Exploratory Tools / 1.2.3:
Insights into Component Composition / 1.2.4:
Implications for Testing in General / 1.2.5:
Components and Component-based Development / Part I:
Engineering, Components, and Software / 2:
Standardized Components Make Engineering Possible / 2.1:
Mechanical Engineering of a Vacuum System / 2.2:
Electrical/Computer Engineering of a Laptop / 2.3:
Can It Be Done with Software? / 2.4:
Software Components and Component-based Development / 3:
The Parts: Components / 3.1:
Common Environment for Software / 3.1.1:
Reuse / 3.1.2:
Information Hiding / 3.1.3:
Object-oriented Design / 3.1.4:
Szyperski's Definition / 3.1.5:
The Systems: Component-based Software Development (CBSD) / 3.2:
Product Families / 3.2.1:
Component Development and Cataloging / 3.2.2:
System Design using Components / 3.2.3:
The Viewpoint: Testing Simple Components and Systems / 3.3:
Simple Components / 3.3.1:
Simple Systems / 3.3.2:
Critique of the Model / 3.3.3:
CBSD in Practice and Theory / 4:
Components and Connectors / 4.1:
System Architecture / 4.2:
Component Models / 4.3:
Middleware and Container Services / 4.3.1:
Immutable Components / 4.4:
Broader Theory of CBSD / 4.5:
General Component-based System Design Theory / 4.5.1:
Component-based Verification / 4.5.2:
Testing vs. Proving / 4.5.3:
Summary of CBSD Issues / 4.6:
Software Testing: Practice and Theory / Part II:
Software Testing's Place in Development / 5:
'Lifecycle' Models of Development / 5.1:
Development Phases / 5.1.1:
Waterfall Models / 5.1.2:
Agile Models / 5.1.3:
Which Model is Best? / 5.1.4:
Functional/Requirements Testing / 5.2:
Unit Testing vs. System Testing / 5.2.1:
Preventing Bugs / 5.3:
Software Inspection / 5.3.1:
Formal Methods / 5.3.2:
Creating Perfection vs. Finding Failure / 5.3.3:
Testing in CBSD / 5.4:
Software Testing Theory / 6:
Floyd-Hoare-Mills Semantics / 6.1:
Functional Testing Theory / 6.2:
Functional Testing Theory without State / 6.2.1:
Extending Functional Theory to Include State / 6.2.2:
Testing Concurrent Software / 6.2.3:
Summary of Testing Theory / 6.3:
Subdomain Testing / 7:
Divide and Conquer (or Multiply and Founder?) / 7.1:
History of 'Coverage' Testing / 7.2:
Functional Coverage / 7.2.1:
Structural Coverage / 7.2.2:
Combining Functional and Structural Coverage / 7.2.3:
Usage Profiles / 7.3:
Subdomain Testing in the Presence of State / 7.4:
Concurrency / 7.5:
Comparing Subdomain Techniques / 7.6:
The 'Subsumes' Partial Ordering / 7.6.1:
Random Testing / 7.6.2:
Comparing Random- and Subdomain-testing / 7.6.3:
Composition of Components / Part III:
Subdomain Theory of Stateless Component Composition / 8:
Software Testing is 'Non-compositional' / 8.1:
Approximating and Measuring Component Properties / 8.2:
Calculating Properties of Stateless Systems / 8.3:
Series System / 8.3.1:
Conditional System Control Structure / 8.3.2:
Iterative System Control Structure / 8.3.3:
Combining Different Component Approximations / 8.4:
Synthesizing a Component-based System / 8.5:
Combining Testing and Proving / 8.5.1:
Summary of the Subdomain Testing Theory / 8.6:
Tutorial Example-SYN Tools for Stateless Components / 9:
Getting Started / 9.1:
A Simple Complete Example / 9.2:
Approximation and Prediction Errors / 9.3:
Better Component Approximations / 9.4:
Splitting and Adjusting Subdomains / 9.4.1:
Piecewise-linear Component Approximation / 9.4.2:
How Well Can a Component Developer Do? / 9.4.3:
Internal Profiles / 9.5:
Incremental Processing / 9.6:
Tutorial Summary / 9.7:
Persistent State / 10:
Extended Subdomain Theory of Composition / 10.1:
Algorithms for Synthesizing Systems from Components with State / 10.1.1:
Verifying the Algorithms / 10.1.2:
Testing Measurements / 10.2:
3-D Graphs and Approximation Errors / 10.2.1:
Equi-spaced vs. Sequence Sampling / 10.2.2:
System Predictions / 10.3:
Synthesis of Systems with State / 10.3.1:
A Tutorial Example with State / 10.4:
Tutorial: Modes (Preferences) / 10.4.1:
Concurrent Execution / 11:
Adding Concurrency to Composition Theory / 11.1:
Algorithm for Synthesizing Components in Parallel / 11.1.1:
Testing Measurements, Behavior Graphs, and System Predictions / 11.2:
A Tutorial Example with Concurrency / 11.3:
Tutorial: Multiversion Software / 11.3.1:
The Other Non-functional Property: Reliability / 12:
Reliability in Other Engineering Disciplines / 12.1:
Software Reliability Theory / 12.2:
Software 'Time' Parameter / 12.2.1:
The Minefield Analogy / 12.2.2:
A Speculative Software Failure Rate / 12.2.3:
Measuring Software Failure Rate / 12.2.4:
Failure Rate in Subdomains / 12.2.5:
Component Independence / 12.3:
Reliability Synthesis / 12.4:
Difficulties in Component Measurements / 12.4.1:
Synthesis Rules / 12.4.2:
Supporting Tools / Part IV:
CBSD Support Tools / 13:
Component Developers and System Designers / 13.1:
Ideal Tools for I-CBSD / 13.2:
Ideal Component-level Testing/Measurement Tools / 13.2.1:
Ideal System-level Synthesis (CAD) Tools / 13.2.2:
SYN Tools: An Existence Proof / 13.2.3:
Tool Implementation / 14:
Component Conventions / 14.1:
Artificial Components / 14.1.1:
Underlying Algorithms / 14.2:
Execution by Table-lookup / 14.3:
Validating Tools / 14.3.1:
A Nasty Mistake / 14.3.2:
Tool Performance / 14.4:
Debugging Components, Component-based Systems, and Support Tools / 15:
Debugging Components / 15.1:
Checking Tests Against Requirements / 15.1.1:
Executing Code Outside the SYN Tools / 15.1.2:
Finding Good Subdomains / 15.1.3:
Graphical Aids / 15.1.4:
Debugging Component-based Systems / 15.2:
Component Mismatch / 15.2.1:
Interface Profiles / 15.2.2:
Debugging of Support Tools / 15.3:
Problem Decomposition / 15.3.1:
Iterative Enhancement / 15.3.2:
Components and Debugging of SYN Tools / 15.3.3:
Unfinished Business: Volunteer Tool Makers / 16:
Unstable Algorithms and Code / 16.1:
Improving the SYN Tools / 16.2:
Who's Next? / 16.3:
Case Studies / Part V:
Accuracy of Component Measurements and System Predictions / 17:
Better Component Approximation, Better System Prediction / 17.1:
Tuning Subdomains with Tool Support / 17.1.1:
Predicting Prediction Accuracy / 17.2:
Prediction Error is Linear in Measurement Error / 17.2.1:
Theory of Error Propagation / 17.2.2:
Prediction Error is an Emergent System Property / 17.2.3:
Approximating System Prediction Errors / 17.2.4:
Approximation Accuracy as a Component Test-quality Metric / 17.3:
The Right Subdomains for Component Testing / 17.4:
Case Studies of I-CBSD / 18:
Fundamental Questions about Subdomain Testing / 18.1:
How to Sample Subdomains? / 18.1.1:
Is Series Synthesis Associative? / 18.1.2:
Moving Control Structures between Components and Systems / 18.2:
Series Composition within a Component / 18.2.1:
Conditionals in Code and Conditional Components / 18.2.2:
Raising the Level of Programming / 18.2.3:
Infeasible States / 18.3:
Modes and Storage in State / 18.3.2:
A Controlled 'Editor' System / 18.3.3:
Iteration at System Level / 18.4:
Component and System Reliability / 18.5:
Substituting one Component for Another / 18.6:
Meeting a Non-functional System Requirement Bound / 18.6.1:
Implications for Software Testing / Part VI:
Unit vs. System Testing / 19:
Components Make Ideal Software 'Units' / 19.1:
Solving Unit-testing Problems / 19.1.1:
Choosing Unit-test Subdomains / 19.1.2:
Unit Testing Is More Than it Seems / 19.2:
Saving and Using Unit-test Results / 19.2.1:
Unit Tests the Only Tests / 19.2.2:
Trusting Unit Tests / 19.3:
Trustworthy Component Testing / 19.3.1:
Matching Interface Profiles / 19.3.2:
Comparing System Predictions to Requirements / 19.4:
Functional vs. Non-functional Properties / 20:
Non-functional Depends on Functional / 20.1:
Non-functional 'Compositional' Properties / 20.2:
Run Time / 20.2.1:
Reliability / 20.2.2:
Safety Factors and Prediction Accuracy / 20.2.3:
Predicting Emergent Properties / 20.3:
Memory Leaks / 20.3.1:
Security / 20.3.2:
'Emergent' Prediction Error / 20.3.3:
Conclusion: Lessons Learned from I-CBSD / 21:
Software Components are Unlike Mechanical Components / 21.1:
Software Functions Are Inherently Discontinuous / 21.2:
Simple Component Behaviors Lead to Complicated System Behaviors / 21.2.1:
Testing Theory is Unlike Other Formal Methods / 21.3:
Conservative Reductions / 21.3.1:
Special Role of Persistent State / 21.3.2:
The Several Meanings of 'Compositional' / 21.4:
Compositional Properties / 21.4.1:
Testing Can Be Made Compositional / 21.4.2:
Simple Tools are Remarkably Powerful / 21.5:
Open Problems / 22:
Subdomain Testing in Non-numeric Domains / 22.1:
Completing a Testing Theory including State / 22.2:
Reliability in the Presence of Stale / 22.2.1:
Better SYN Tools for State / 22.2.2:
Limited Input Domain / 22.3:
References
Appendix
Tool Specifications / A:
Documentation / A.l:
SYN Documentation Tricks / A.2:
Stand-alone Script Execution / A.2.1:
Error Messages / A.2.2:
'Message-discovery' Documentation / A.2.3:
'#debug' Statements / A.2.4:
The Script Header Comments / A.2.5:
Details of the Tool Scripts / A.3:
File Formats / A.3.1:
Testing and Approximating Components: COMP and friends / A.3.2:
Synthesizing and Predicting Systems: SYN and Calc / A.3.3:
Auxiliary Scripts / A.3.4:
Index
The Griffin
Acknowledgements
Introduction / 1:
14.

電子ブック

EB
Richard J. Lipton
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Prologue / Part I:
A Walk In the Snow / 1:
On the P=NP Question / Part II:
Algorithms: Tiny Yet Powerful / 2:
Is P=NP Well Posed? / 3:
What Would You Bet? / 4:
What Happens When P=NP Is Resolved? / 5:
NP Too Big or P Too Small? / 6:
How To Solve P=NP? / 7:
Why Believe P Not Equal To NP? / 8:
A Nightmare About SAT / 9:
Bait and Switch / 10:
Who's Afraid of Natural Proofs? / 11:
An Approach To P=NP / 12:
Is SAT Easy? / 13:
SAT is Not Too Easy / 14:
Ramsey's Theorem and NP / 15:
Can They Do That? / 16:
Rabin Flips a Coin / 17:
A Proof We All Missed / 18:
Barrington Gets Simple / 19:
Exponential Algorithms / 20:
An EXPSPACE Lower Bound / 21:
Randomness has Unbounded Power / 22:
Counting Cycles and Logspace / 23:
Ron Graham Gives a Talk / 24:
An Approximate Counting Method / 25:
Easy and Hard Sums / 26:
How To Avoid O-Abuse / 27:
How Good is The Worst Case Model? / 28:
Savitch's Theorem / 29:
Adaptive Sampling and Timed Adversaries / 30:
On The Intersection of Finite Automata / 31:
Where are the Movies? / 32:
On Integer Factoring / Part III:
Factoring and Factorials / 33:
BDD's / 34:
Factoring and Fermat / 35:
On Mathematics / Part IV:
A Curious Algorithm / 36:
Edit Distance / 37:
Protocols / 38:
Erdos and the Quantum Method / 39:
Amplifiers / 40:
Amplifying on the PCR Amplifier / 41:
Mathematical Embarrassments / 42:
Mathematical Diseases / 43:
Mathematical Surprises / 44:
Gödel Lost Letter / A:
Index
A Prologue / Part I:
A Walk In the Snow / 1:
On the P=NP Question / Part II:
15.

電子ブック

EB
Attahiru Sule Alfa
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
16.

電子ブック

EB
Philipp; Yahyapour, Ramin; Ziegler, Wolfgang Wieder, Philipp Wieder, Ramin Yahyapour, Wolfgang Ziegler
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Contributing Authors
Monitoring Service Level Agreements in Grids with support of a Grid Benchmarking Service / Ely de Oliveira ; Franz-Josef Pfreundt
Reactive Monitoring of Service Level Agreements / Dalia Khader ; Julian Padget ; Martijn Warnier
Lessons Learned from Implementing WS-Agreement / Dominic Battré ; Matthias Hovestadt ; Oliver Wäldrich
SLA-aware Resource Management / Yih Leong Sun ; Ron Perrott ; Terence J Harmer ; Christina Cunningham ; Peter Wright ; John Kennedy ; Andy Edmonds ; Victor Bayon ; Jacek Maza ; Gregor Berginc ; Primoz Hadalin
Distributed Trust Management for Validating SLA Choreographies / Irfan Ul Haq ; Rehab Alnemr ; Adrian Paschke ; Erich Schikuta ; Harold Boley ; Christoph Meinel
Evaluation of Service Level Agreement Approaches for Portfolio Management in the Financial Industry / Tobias Pontz ; Manfred Grauer ; Roland Kuebert ; Axel Tenschert ; Bastian Koller
Expressing Intervals in Automated Service Negotiation / Kassidy P. Clark ; Sander van Splunter ; Frances M.T. Brazier
GreenIT Service Level Agreements / Gregor von Laszewski ; Lizhe Wang
Extending WS-Agreement with Multi-round Negotiation Capability / Angela Rumpl ; Wolfgang Ziegler
Enabling Open Cloud Markets Through WS-Agreement Extensions / Marcel Risch ; Jörn Altmann
Service Mediation and Negotiation Bootstrapping as First Achievements Towards Self-adaptable Cloud Services / Ivona Brandic ; Dejan Music ; Schahram Dustdar
SLA Negotiation for VO Formation / Shamimabi Paurobally
From Service Markets to Service Economies - An infrastructure for protocolgeneric SLA negotiations / Sebastian Hudert
Service Level Agreements in BREIN / Henar Munoz Frutos ; Giuseppe Laria
Negotiation and Monitoring of Service Level Agreements / Thomas B. Quillinan ; Omer Rana
Author Index
Foreword
Preface
Contributing Authors
17.

電子ブック

EB
Weichang; Ensan, Faezeh Du, Weichang Du, Faezeh Ensan
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Incremental Query Rewriting with Resolution / Alexandre Riazanov ; Marcelo A. T. Aragão1:
Introduction / 1.1:
Settings and motivation / 1.1.1:
Outline of the proposed method / 1.1.2:
Informal method description / 1.2:
Soundness and completeness of schematic answer computation / 1.3:
Recording literals as search space pruning constraints / 1.4:
SQL generation / 1.5:
Implementation and experiments / 1.6:
A note on indexing Semantic Web documents with data abstractions / 1.7:
Related work / 1.8:
Summary and future work / 1.9:
References
Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics / Jidi Zhao ; Harold Boley2:
Preliminaries / 2.1:
Fuzzy Set Theory and Fuzzy Logic / 2.3:
Fuzzy Description Logic / 2.4:
Syntax of fALCN / 2.4.1:
Semantics of fALCN / 2.4.2:
Knowledge Bases in fALCN / 2.4.3:
Reasoning Tasks / 2.5:
GCI, NNF, and ABox Augmentation / 2.6:
Reasoning Procedure / 2.7:
Soundness, Completeness and Termination of the Reasoning Procedure for fALCN / 2.8:
Conclusion and Future Work / 2.9:
A Generic Evaluation Model for Semantic Web Services / Omair Shafiq3:
Performance Engineering for Component- and Service-oriented Systems / 3.1:
Requirements for a Generic Evaluation Model / 3.3:
Openness / 3.3.1:
Tool Independent / 3.3.2:
Conciseness / 3.3.3:
Preciseness / 3.3.4:
Completeness / 3.3.5:
Based on Classical Problems / 3.3.6:
Different Complexity Levels / 3.3.7:
Common Benchmarking / 3.3.8:
Flexibility to Perform Remote Evaluation / 3.3.9:
Semantic Web Services Execution Lifecycle / 3.4:
Critical Evaluation Factors / 3.4.2:
Using the Evaluation Model for Semantic Web Services based on TSC / 3.5:
Comparing Resource Availability / 3.5.1:
Analyzing Performance on Concurrent Execution of Goals / 3.5.2:
Comparing Communication Overhead / 3.5.3:
Communication Overhead vs. Time Saved in Multiple Goal Execution / 3.5.4:
Comparing Time Taken in Distributed Service Execution / 3.5.5:
Comparing Time Saved by Applications while Executing a Goal / 3.5.6:
Comparing Time Saved in Resource Retrieval by WSMX / 3.5.7:
Related Work / 3.6:
Semantic Web Challenge / 3.6.1:
Semantic Web Services Challenge / 3.6.2:
Semantic Service Selection (S3) / 3.6.3:
IEEE Web Services Challenge / 3.6.4:
SEALS Evaluation Campaigns / 3.6.5:
STI International Test Beds and Challenges Service / 3.6.6:
International Rules Challenge at RuleML / 3.6.7:
Conclusions and Future Work / 3.7:
A Modular Approach to Scalable Ontology Development / Faezeh Ensan ; Weichang Du4:
Interface-Based Modular Ontologies / 4.1:
The Formalism / 4.2.1:
IBF: Scalability and Reasoning Performance / 4.2.2:
OWL Extension and Tool Support for the Interface-Based Modular Ontology Formalism / 4.3:
Evaluating IBF Modular Ontologies / 4.4:
cohesion / 4.4.1:
coupling / 4.4.2:
Knowledge Encapsulation / 4.4.3:
Case Studies / 4.5:
IBF Modular Ontologies / 4.5.1:
IBF Ontologies Analysis / 4.5.2:
Conclusion / 4.6:
Appendix / 4.8:
Corporate Semantic Web: Towards the Deployment of Semantic Technologies in Enterprises / Adrian Paschke ; Gökhan Coskun ; Ralf Heese ; Markus Luczak-Rösch ; Radoslaw Oldakowski ; Ralph Schäfermeier ; Olga Streibel5:
Application Domains for a Corporate Semantic Web / 5.1:
Gaps / 5.3:
Corporate Semantic Web / 5.4:
Corporate Ontology Engineering / 5.5:
Modularization and Integration Dimensions of COLM / 5.5.1:
Versioning Dimensions of COLM / 5.5.2:
Corporate Semantic Collaboration / 5.6:
Editor Functionalities / 5.6.1:
User Groups / 5.6.2:
Design of the Light-weight Ontology Editor / 5.6.3:
Corporate Semantic Search / 5.7:
Search in Non-Semantic Data / 5.7.1:
Semantic Search Personalization / 5.7.2:
Conclusion and Outlook / 5.8:
Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints / Thomas Moser ; Richard Mordinyi ; Wikan Danar Sunindyo ; Stefan Biffl6:
Technical Integration / 6.1:
Semantic Integration with Semantic Web Services / 6.2.2:
Service Matchmaking Approaches / 6.2.3:
Research Issues / 6.3:
ATM Scenario Description / 6.4:
Semantic Service Matchmaking Approach / 6.5:
Identification of Possible Collaboration Candidate Sets / 6.5.1:
Validity-Check and Optimization of Collaborations / 6.5.2:
Case Study / 6.6:
Discussion / 6.6.1:
Developing Knowledge Representation in Emergency Medical Assistance by Using Semantic Web Techniques / Heloise Manica ; Cristiano C. Rocha ; José Leomar Todesco ; M.A.R. Dantas6.7:
Ontology and Mobile Devices Background / 7.1:
Proposed Approach / 7.3:
Ontology Development / 7.3.1:
Determining the Ontology Domain / 7.3.2:
Enumerating Important Terms, Classes and the Class Hierarchy / 7.3.3:
Defining Properties and Restrictions of Classes / 7.3.4:
Creating Instances and New Terms Extraction / 7.3.5:
Semantic Cache / 7.3.6:
Experimental Environment and Results / 7.4:
Semantically Enriching the Search System of a Music Digital Library / Paloma de Juan ; Carlos.Iglesias7.5:
Research Context / 8.1:
Previous Work / 8.2.1:
Cantiga Project / 8.2.2:
MagisterMusicae Search System / 8.3:
Improving Searchability / 8.4:
Applying Semantic Web Technologies / 8.4.1:
Linking the Ontology with External Data Sources / 8.4.2:
Alternative Search Paradigms / 8.4.3:
Cantiga Semantic Search System / 8.5:
Details on the implementation / 8.5.1:
Evaluation / 8.6:
Backgroundt / Chuansan Luo ; Qing Zhou ; Christine W. Chan8.7:
Application Problem Domain / 9.2.1:
Ontology and Semantic Web / 9.2.2:
Knowledge Modeling and Ontology Construction / 9.3:
Ontology Design / 9.3.1:
Ontology Management / 9.3.2:
Intelligent System Framework / 9.4:
Application of the Semantic Knowledge A Web-based Expert System / 9.5:
Information Pre-Processing using Domain Meta-Ontology and Rule Learning System / Girish R Ranganathan ; Yevgen Biletskiy9.6:
The domain mela-ontology / 10.1:
The system for semi-automatic population of domain mela-ontology / 10.3:
Details of the Rule Learning System flow / 10.4:
Incremental Query Rewriting with Resolution / Alexandre Riazanov ; Marcelo A. T. Aragão1:
Introduction / 1.1:
Settings and motivation / 1.1.1:
18.

電子ブック

EB
Cheok, Adrian David Cheok
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Introduction to Embodied Media / 1.1:
Introduction to Mixed Reality / 1.2:
Feeling Communication / 1.3:
Emotional Communication and Entertainment Using Multi-sensory Media / 1.3.1:
Social and Physical Entertainment / 1.4:
Conclusion / 1.5:
References
Human Pacman: A Mobile Augmented Reality Entertainment System Based on Physical, Social, and Ubiquitous Computing / 2:
Background / 2.1:
System Design and Game Play / 2.3:
Main Concepts: Team Collaboration, Ultimate Game Objectives and the Nature of Pac-world / 2.3.1:
Pacman and Ghost / 2.3.2:
Helper / 2.3.3:
Actual Game Play / 2.3.4:
User Study / 2.4:
Questions and Aims / 2.4.1:
Discussion / 2.4.2:
Analysis of Message Logs / 2.4.3:
Summary Findings / 2.4.4:
Mobile Service and Ubicomp Issues / 2.5:
Mobile Computing / 2.5.1:
Ubicomp / 2.5.2:
Addressing Sensor-Tracking Issues / 2.5.3:
Interactive Theater Experience with 3D Live Captured Actors and Spatial Sound / 2.6:
Previous Work on Interactive Theater / 3.1:
New Media Art and Interactive Theater / 3.3:
Embodied Mixed Reality Space / 3.4:
Live 3D Actors / 3.4.2:
Ambient Intelligence / 3.4.3:
Interactive Theater System / 3.5:
3D Live Capture Room / 3.5.1:
Interactive Theater Space / 3.5.2:
System Interaction Design / 3.5.3:
3D Sound in Interactive Theater Space / 3.5.4:
Metazoa Ludens: Mixed Reality Interaction and Play Between Humans and Animals / 3.6:
Objectives / 4.1:
Related Works / 4.3:
Human-Animal Interaction System / 4.3.1:
Remote Interaction System / 4.3.2:
Mixed Reality System / 4.3.3:
Metazoa Ludens: Fundamental Design / 4.4:
Remote Interaction / 4.4.1:
Pet's Choice / 4.4.2:
Pet Interface / 4.4.3:
System Description / 4.5:
System Overview / 4.5.1:
Camera and Tracking Subsystem / 4.5.2:
Hardware Subsystem / 4.5.3:
Moldable Latex Surface / 4.5.4:
Game Subsystem / 4.5.5:
User Game Play Experience / 4.5.6:
Evaluation, Results and Discussion / 4.6:
Study 1: Health Benefits to the Hamsters / 4.6.1:
Study 2: Pets' Choice / 4.6.2:
Study 3: Users' Enjoyment Based on Flow / 4.6.3:
Framework for Human-Animal Interaction System / 4.7:
Veracity of Telepresence / 4.8:
Poultry Internet / 4.9:
Motivation for Human-Pet Touch Interaction / 5.1:
Why Do We Keep Animals as Companions? / 5.2.1:
The Effect of Touching and Caressing on Poultry and Other Animals / 5.2.2:
Review of Related Works / 5.3:
Previous Tele-haptic Systems / 5.3.1:
Previous Human-Pet Interaction Systems / 5.3.2:
Why Not Just Interact with Virtual or Robotic Pet? / 5.3.3:
Poultry Internet as a Cybernetics System / 5.4:
Technical Details of the Multi-modal Interaction System / 5.5:
Overall System / 5.5.1:
Remote Physical Touch / 5.5.2:
Computer Vision Pet Tracking / 5.5.3:
Experiences and User Studies / 5.6:
Wider Applications / 5.7:
Multiplexing Existing Communication Channels / 5.7.1:
Intimacy Through Ubiquitous Computing / 5.7.2:
Spying/Rescuing Pet / 5.7.3:
Conclusion and Future Works / 5.8:
Age Invaders: Entertainment for Elderly and Young / 6:
Related Work / 6.1:
Design Methodology / 6.3:
Problem Identification / 6.3.1:
Problem Exploration / 6.3.2:
Design Goals / 6.3.3:
Design Requirements / 6.4:
Resources and Time Constraints / 6.4.1:
User Needs / 6.4.2:
Context of Use / 6.4.3:
Design Idea Generation / 6.5:
Prototype Iterations / 6.6:
Current System Description / 6.7:
System Architecture / 6.7.1:
Game Play / 6.7.2:
User Studies Results / 6.8:
Intergenerational Player Study / 6.8.1:
Focus Group Session with Older Players / 6.8.2:
Physical Interface Design Issues / 6.8.3:
Physicality Issues of the Virtual and Physical Player Roles / 6.8.4:
Software Libraries and Toolkit / 6.9:
Product Development / 6.10:
Huggy Pajama: A Remote Interactive Touch and Hugging System / 6.11:
Why Touch Communication? / 7.1:
Previous Work / 7.2.2:
Mediated Touch Module / 7.3:
Thermal Controlled Fabric Display / 7.3.2:
Design of Experiments / 7.3.3:
Results and Discussion / 7.4:
Input Touch Sensing Module / 7.4.1:
Output Touch Actuation Module / 7.4.2:
Thermal Control System / 7.4.3:
Evaluation of System / 7.4.4:
Culture Computing: Interactive Technology to Explore Culture / 7.5:
Prior Research / 8.1:
Features of Cultural Computing / 8.3:
Media Me / 8.4:
Motivation / 8.4.1:
Video Indexing / 8.4.3:
BlogWall / 8.5:
An Example of Poetry Mixing / 8.5.1:
Confucius Computer / 8.6:
Kawaii/Cute Interactive Media / 8.6.1:
The Cute Aesthetic / 9.1:
Kawaii: Cute Culture History and Development in Japan / 9.2.1:
History of Manga / 9.2.2:
Kawaii Culture Development in Modern Japan / 9.2.3:
Kawaii Globalization / 9.2.4:
Contemporary Perceptions of Kawaii/Cute / 9.3:
Cuteness in Interactive Systems / 9.4:
Child-Like Innocence and Play / 9.4.1:
Moments of Surprise / 9.4.2:
Relationship with Object's Personality / 9.4.3:
Studying Cuteness / 9.5:
Defining Cuteness / 9.5.1:
Color Selection / 9.5.2:
Texture / 9.5.3:
Motion / 9.5.4:
Sound / 9.5.5:
Size and Proportion / 9.5.6:
Shapes and Form / 9.5.7:
Smell and Taste / 9.5.8:
Related Works. Cute Interactive Systems / 9.6:
Cute Engineering / 9.7:
Cute Filter / 9.7.1:
Research-Oriented Design / 9.7.2:
Qoot Systems. Petimo and Virtual World for Social Networking / 9.8:
Sensing, Actuation and Feedback / 9.9:
Sensing / 9.9.1:
Actuation and Feedback / 9.9.2:
Designing for Entertaining Everyday Experiences / Masa Inakage ; Takahiro Arakawa ; Kenji Iguchi ; Yuichiro Katsumoto ; Makoto Katsura ; Takeshi Osawa ; Satoru Tokuhisa ; Atsuro Ueki9.10:
Everyday Media / 10.1:
Amagatana / 10.2.1:
Tabby / 10.2.2:
Embodied Media / 10.3:
Morel / 10.3.1:
MYSQ / 10.3.2:
livePic / 10.3.3:
Sensuous Media / 10.4:
Nozoki-Hana / 10.4.1:
Mamagoto / 10.4.2:
Collective Media / 10.5:
Mopie / 10.5.1:
Tabletop Games: Platforms, Experimental Games and Design Recommendations / Michael Haller ; Clifton Forlines ; Christina Koeffel ; Jakob Leitner ; Chia Shen10.6:
Tabletop Hardware & the Types of Interaction They Support / 11.1:
SmartBoard / 11.2.1:
DiamondTouch / 11.2.2:
SmartSkin / 11.2.3:
Microsoft Surface / 11.2.4:
Frustrated Total Internal Reflection (FTIR) / 11.2.5:
Entertaible / 11.2.6:
Stylus / 11.2.7:
Experimental Tabletop Games / 11.3:
Educational / 11.3.1:
Therapeutic / 11.3.2:
Entertainment / 11.3.3:
Case Studies / 11.4:
Jam-O-World: CircleMaze / 11.4.1:
CircleMaze / 11.4.2:
User Testing and Observations / 11.4.3:
Porting to a Direct-Touch Tabletop / 11.4.4:
Comino and NeonRacer / 11.4.5:
Interaction Design for a Walk-up-and-Use Tabletop Game / 11.4.6:
Heuristics for Tabletop Games / 11.5:
Evaluation Process / 11.5.1:
Ten Heuristics for Tabletop Games / 11.6:
Cognitive Workload / 11.6.1:
Challenge / 11.6.2:
Reach / 11.6.3:
Examinability / 11.6.4:
Adaptability / 11.6.5:
Interaction / 11.6.6:
Level of Automation / 11.6.7:
Collaboration and Communication / 11.6.8:
Feedback / 11.6.9:
Comfort of the Physical Setup / 11.6.10:
Conclusions / 11.7:
Index
Introduction / 1:
Introduction to Embodied Media / 1.1:
Introduction to Mixed Reality / 1.2:
19.

電子ブック

EB
Ina; Stuedahl, Dagny; Bratteteig, Tone Wagner, Tone Bratteteig, Dagny Stuedahl, Ina Wagner
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
A Common Ground / Part 1:
Researching Digital Design / Dagny Stuedahl ; Andrew Morrison ; Christina Mörtberg ; Tone Bratteteig1:
Research Practices in Digital Design / Ina Wagner2:
Analytical Perspectives / Gunnar Liestøl3:
Methods That Matter in Digital Design Research / 4:
Multiple Perspectives on Design Research / Part 2:
A Matter of Digital Materiality / 5:
On Mobility, Localization and the Possibility of Digital Genre Design / 6:
Unreal Estate: Digital Design and Mediation in Marketing Urban Residency / Synne Skjulstad7:
Whisperings in the Undergrowth: Communication Design, Online Social Networking and Discursive Performativity / Even Westvang ; Simen Svale Skogsrud8:
Designing for Sustainable Ways of Living with Technologies / Pirjo Elovaara9:
Epilogue: A Multidisciplinary Take on Digital Design
About the Authors
Index
Preface
A Common Ground / Part 1:
Researching Digital Design / Dagny Stuedahl ; Andrew Morrison ; Christina Mörtberg ; Tone Bratteteig1:
20.

電子ブック

EB
Sergei V. Chekanov
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
21.

電子ブック

EB
David J. Barnes, Dominique Chu
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Modeling / 1:
Simulation vs. Analytic Results / 1.1:
Stochastic vs. Deterministic Models / 1.2:
Fundamentals of Modeling / 1.3:
Validity and Purpose of Models / 1.4:
Agent-Based Modeling / 2:
Mathematical and Computational Modeling / 2.1:
Limits to Modeling / 2.1.1:
Agent-Based Models / 2.2:
The Structure of ABMs / 2.2.1:
Algorithms / 2.2.2:
Time-Driven Algorithms / 2.2.3:
Event-Driven Models / 2.2.4:
Game of Life / 2.3:
Malaria / 2.4:
A Digression / 2.4.1:
Stochastic Systems / 2.4.2:
Immobile Agents / 2.4.3:
General Consideration when Analyzing a Model / 2.5:
How to Test ABMs? / 2.5.1:
Case Study: The Evolution of Fimbriation / 2.6:
Group Selection / 2.6.1:
The Model / 2.6.2:
ABMs Using Repast and Java / 3:
The Basics of Agent-Based Modeling / 3.1:
An Outline of Repast Concepts / 3.2:
Contexts and Projections / 3.2.1:
Model Parameterization / 3.2.2:
The Game of Life in Repast S / 3.3:
The model.score File / 3.3.1:
The Agent Class / 3.3.2:
The Model Initializer / 3.3.3:
Summary of Model Creation / 3.3.4:
Running the Model / 3.3.5:
Creating a Display / 3.3.6:
Creating an Agent Style Class / 3.3.7:
Inspecting Agents at Runtime / 3.3.8:
Review / 3.3.9:
Malaria Model in Repast Using Java / 3.4:
The Malaria Model / 3.4.1:
Commonalities in the Agent Types / 3.4.2:
Building the Root Context / 3.4.4:
Accessing Runtime Parameter Values / 3.4.5:
Creating a Projection / 3.4.6:
Implementing the Common Elements of the Agents / 3.4.7:
Completing the Mosquito Agent / 3.4.8:
Scheduling the Actions / 3.4.9:
Visualizing the Model / 3.4.10:
Charts / 3.4.11:
Outputting Data / 3.4.12:
A Statistics-Gathering Agent / 3.4.13:
Summary of Concepts Relating to the Malaria Model / 3.4.14:
Running Repast Models Outside Eclipse / 3.4.15:
Going Further with Repast S / 3.4.16:
Differential Equations / 4:
Differentiation / 4.1:
A Mathematical Example / 4.1.1:
Digression / 4.1.2:
Integration / 4.2:
Limits to Growth / 4.3:
Steady State / 4.3.2:
Bacterial Growth Revisited / 4.3.3:
Case Study: Malaria / 4.4:
A Brief Note on Stability / 4.4.1:
Chemical Reactions / 4.5:
Michaelis-Menten and Hill Kinetics / 4.5.1:
Modeling Gene Expression / 4.5.2:
Case Study: Cherry and Adler's Bistable Switch / 4.6:
Summary / 4.7:
Mathematical Tools / 5:
A Word of Warning: Pitfalls of CAS / 5.1:
Existing Tools and Types of Systems / 5.2:
Maxima: Preliminaries / 5.3:
Maxima: Simple Sample Sessions / 5.4:
The Basics / 5.4.1:
Saving and Recalling Sessions / 5.4.2:
Maxima: Beyond Preliminaries / 5.5:
Solving Equations / 5.5.1:
Matrices and Eigenvalues / 5.5.2:
Graphics and Plotting / 5.5.3:
Integrating and Differentiating / 5.5.4:
Maxima: Case Studies / 5.6:
Gene Expression / 5.6.1:
Cherry and Adler's Bistable Switch / 5.6.2:
Other Stochastic Methods and Prism / 5.7:
The Master Equation / 6.1:
Partition Functions / 6.2:
Preferences / 6.2.1:
Binding to DNA / 6.2.2:
Codon Bias in Proteins / 6.2.3:
Markov Chains / 6.3:
Absorbing Markov Chains / 6.3.1:
Continuous Time Markov Chains / 6.3.2:
An Example from Gene Activation / 6.3.3:
Analyzing Markov Chains: Sample Paths / 6.4:
Analyzing Markov Chains: Using PRISM / 6.5:
The PRISM Modeling Language / 6.5.1:
Running PRISM / 6.5.2:
Rewards / 6.5.3:
Simulation in PRISM / 6.5.4:
The PRISM GUI / 6.5.5:
Examples / 6.6:
Fim Switching / 6.6.1:
Stochastic Versions of a Differential Equation / 6.6.2:
Tricks for PRISM Models / 6.6.3:
Simulating Biochemical Systems / 7:
The Gillespie Algorithms / 7.1:
Gillespie's Direct Method / 7.1.1:
Gillespie's First Reaction Method / 7.1.2:
Java Implementation of the Direct Method / 7.1.3:
A Single Reaction / 7.1.4:
Multiple Reactions / 7.1.5:
The Lotka-Volterra Equation / 7.1.6:
The Gibson-Bruck Algorithm / 7.2:
The Dependency Graph / 7.2.1:
The Indexed Priority Queue / 7.2.2:
Updating the ? Values / 7.2.3:
Analysis / 7.2.4:
A Constant Time Method / 7.3:
Selection Procedure / 7.3.1:
Reaction Selection / 7.3.2:
Practical Implementation Considerations / 7.4:
Data Structures-The Dependency Tree / 7.4.1:
Programming Techniques-Tree Updating / 7.4.2:
Runtime Environment / 7.4.3:
The Tau-Leap Method / 7.5:
Dizzy / 7.6:
Delayed Stochastic Models / 7.7:
The Stochastic Genetic Networks Simulator / 7.8:
Reference Material / 7.9:
Repast Batch Running / A.1:
Some Common Rules of Differentiation and Integration / A.2:
Common Differentials / A.2.1:
Common Integrals / A.2.2:
Maxima Notation / A.3:
PRISM Notation Summary / A.4:
Some Mathematical Concepts / A.5:
Vectors and Matrices / A.5.1:
Probability / A.5.2:
Probability Distributions / A.5.3:
Taylor Expansion / A.5.4:
References
Index
Foundations of Modeling / 1:
Simulation vs. Analytic Results / 1.1:
Stochastic vs. Deterministic Models / 1.2:
22.

電子ブック

EB
Honghai Liu, Dongbing Gu, Honghai Liu
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Programming-by-Demonstration of Robot Motions / Alexander Skoglund ; Boyko Iliev ; Rainer Palm1:
Grasp Recognition by Fuzzy Modeling and Hidden Markov Models / Bourhane Kadmiry2:
Distributed Adaptive Coordinated Control of Multi-Manipulator Systems Using Neural Networks / Zeng-Guang Hou ; Long Cheng ; Min Tan ; Xu Wang3:
A New Framework for View-Invariant Human Action Recognition / Xiaofei Ji ; Honghai Liu ; Yibo Li4:
Using Fuzzy Gaussian Inference and Genetic Programming to Classify 3D Human Motions / Mehdi Khoury5:
Obstacle Detection Using Cross-Ratio and Disparity Velocity / Huiyu Zhou ; Andrew M. Wallace ; Patrick R. Green6:
Learning and Vision-Based Obstacle Avoidance and Navigation / Jiandong Tian ; Yandong Tang7:
A Fraction Distortion Model for Accurate Camera Calibration and Correction / Yonghuai Liu ; Ala Al-Obaidi ; Anthony Jakas ; Junjie Liu8:
A Leader-Follower Flocking System Based on Estimated Flocking Center / Zongyao Wang ; Dongbing Gu9:
A Behavior Based Control System for Surveillance UAVs / John Oyekan ; Bowen Lu ; Bo Li ; Huosheng Hu10:
Hierarchical Composite Anti-Disturbance Control for Robotic Systems Using Robust Disturbance Observer / Lei Guo ; Xin-Yu Wen ; Xin Xin11:
Autonomous Navigation for Mobile Robots with Human-Robot Interaction / James Ballantyne ; Edward Johns ; Salman Valibeik ; Charence Wong ; Guang-Zhong Yang12:
Prediction-Based Perceptual System of a Partner Robot for Natural Communication / Naoyuki Kubota ; Kenichiro Nishida13:
Index
Programming-by-Demonstration of Robot Motions / Alexander Skoglund ; Boyko Iliev ; Rainer Palm1:
Grasp Recognition by Fuzzy Modeling and Hidden Markov Models / Bourhane Kadmiry2:
Distributed Adaptive Coordinated Control of Multi-Manipulator Systems Using Neural Networks / Zeng-Guang Hou ; Long Cheng ; Min Tan ; Xu Wang3:
23.

電子ブック

EB
Ernesto; Fox, Maria; Higham, Desmond J.; Oppo, Gian-Luca Estrada, Ernesto Estrada, Maria Fox, Gian-Luca Oppo
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Complex Networks: An Invitation / Ernesto Estrada ; Maria Fox ; Desmond J. Higham ; Gian-Luca Oppo1:
Resistance Distance, Information Centrality, Node Vulnerability and Vibrations in Complex Networks / Naomichi Hatano2:
From Topology to Phenotype in Protein-Protein Interaction Networks / Nataša Przulj3:
Networks and Models with Heterogeneous Population Structure in Epidemiology / R.R. Kao4:
NESSIE: Network Example Source Supporting Innovative Experimentation / Alan Taylor5:
Networks in Urban Design. Six Years of Research in Multiple Centrality Assessment / Sergio Porta ; Vito Latora ; Emanuele Strano6:
The Structure of Financial Networks / Stefano Battiston ; James B. Glattfelder ; Diego Garlaschelli ; Fabrizio Lillo ; Guido Caldarelli7:
A Hierarchy of Networks Spanning from Individual Organisms to Ecological Landscapes / Ferenc Jordán ; Gabriella Baranyi ; Federica Ciocchetta8:
Revealing Structure of Complex Biological Systems Using Bayesian Networks / V. Anne Smith9:
Dynamics and Statistics of Extreme Events / Holger Kantz10:
Dynamics of Networks of Leaky-Integrate-and-Fire Neurons / Antonio Politi ; Stefano Luccioli11:
Index
Complex Networks: An Invitation / Ernesto Estrada ; Maria Fox ; Desmond J. Higham ; Gian-Luca Oppo1:
Resistance Distance, Information Centrality, Node Vulnerability and Vibrations in Complex Networks / Naomichi Hatano2:
From Topology to Phenotype in Protein-Protein Interaction Networks / Nataša Przulj3:
24.

電子ブック

EB
Dirk Draheim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
25.

電子ブック

EB
Nadia Martaj, Mohand Mokhtari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
26.

電子ブック

EB
International Conference on Agents and Artificial Intelligence, Joaquim Filipe, Ana Fred, Bernadette Sharp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
Past, Present and Future of Ambient Intelligence and Smart Environments / Juan Carlos Augusto
Artificial Intelligence / Part I:
Modelling Social Learning of Adolescence-Limited Criminal Behaviour / Tibor Bosse ; Charlotte Gerritsen ; Michel C.A. Klein
How Do Emotions Induce Dominant Learners' Mental States Predicted from Their Brainwaves? / Alicia Heraz ; Claude Frasson
A Multiagent Semantics for the Game Description Language / Stephan Schiffel ; Michael Thielscher
Verifying Context-Dependent Reduction Relations for Knowledge Specifications / Alexei Sharpanskykh ; Jan Treur
Combining Artificial Intelligence Techniques for the Training of Power System Control Centre Operators / Luiz Faria ; António Silva ; Zita Vale ; Carlos Ramos
Adaptive State Space Abstraction Using Neuroevolution / Robert Wright ; Nathaniel Gemelli
Goal-Based Game Tree Search for Complex Domains / Viliam Lisý ; Branislav Bosanský ; Michal Jakob ; Michal Pechoucek
Generating Incomplete Data with DataZapper / Yingying Wen ; Kevin B. Korb ; Ann E. Nicholson
Extending Learning Vector Quantization for Classifying Data with Categorical Values / Ning Chen ; Nuno C. Marques
Action Knowledge Acquisition with Opmaker2 / T.L. McCluskey ; S.N. Cresswell ; N.E. Richardson ; M.M. West
Application of Hidden Topic Markov Models on Spoken Dialogue Systems / Hamid R. Chinaei ; Brahim Chaib-draa ; Luc Lamontagne
Gossip Galore: An Embodied Conversational Agent for Collecting and Sharing Pop Trivia from the Web / Feiyu Xu ; Peter Adolphs ; Hans Uszkoreit ; Xiwen Cheng ; Hong Li
Biosignal Based Discrimination between Slight and Strong Driver Hypovigilance by Support-Vector Machines / David Sommer ; Martin Golz ; Udo Trutschel ; Dave Edwards
Agents / Part II:
Tiered Logic for Agents in Contexts / Rosalito Perez Cruz ; John Newsome Crossley
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence / Ambra Molesini ; Enrico Denti ; Andrea Omicini
Developing Multi-Agent Systems through Integrating Prometheus, INGENIAS and ICARO-T / Antonio Fernández-Caballero ; José M. Gascueña
An Efficient Winner Approximation for a Series of Combinatorial Auctions / Naoki Fukuta ; Takayuki Ito
How to Integrate Personalization and Trust in an Agent Network / Laurent Lacomme ; Yues Demazeau ; Valérie Camps
Modeling Two Stage Preventive Medical Checkup Systems with Social Science Approaches / Andreas Martischnig ; Siegfried Voessner ; Gerhard Stark
Translating Discrete Multi-Agents Systems into Cellular Automata: Application to Diffusion-Limited Aggregation / Antoine Spicher ; Nazim Fatès ; Olivier Simonin
Using Values to Turn Agents into Characters / Rossana Damiano ; Vincenzo Lombardo
Author Index
Invited Speakers
Past, Present and Future of Ambient Intelligence and Smart Environments / Juan Carlos Augusto
Artificial Intelligence / Part I:
27.

電子ブック

EB
VISIGRAPP (Conference), Jo?o Madeiras Pereira, Alpesh Kumar Ranchordas, AlpeshKumar Ranchordas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Human Habitat Data in 3D for the Internet / Franz Leberl
Computer Graphics Theory and Applications (GRAPP) / Part I:
Fast Spatially Controllable Multi-dimensional Exemplar-Based Texture Synthesis and Morphing / Felix Manke ; Burkhard Wünsche
Extending Marching Cubes with Adaptative Methods to Obtain More Accurate Iso-surfaces / John Congote ; Aitor Moreno ; Iñigo Barandiaran ; Javier Barandiaran ; Oscar Ruiz
High-Quality Non-planar Projections Using Real-Time Piecewise Perspective Projections / Haik Lorenz ; Jürgen Döllner
An Interactive Fluid Model of Jellyfish for Animation / Dave Rudolf ; David Mould
Unbiased Closed-Form Solutions for Center of Rotation / Jonathan Kipling Knight ; Sudhanshu Kumar Semwal
A Visualization Paradigm for 3D Map-Based Mobile Services / Mário Freitas ; A. Augusto Sousa ; António Coelho
New Augmented Reality Techniques for Product Design: The Flip-Flop Menu / Mickael Naud ; Paul Richard ; Jean-Louis Ferrier
Imaging Theory and Applications (IMAGAPP) / Part II:
Analytical Imaging of Traditional Japanese Paintings Using Multispectral Images / Jay Arre Toque ; Masateru Komori ; Yusuke Murayama ; Ari Ide-Ektessabi
Stereo Analysis of Archaelogical Scenes Using Monogenic Signal Representation / Manthos Alifragis ; Costas S. Tzafestas
Imaging of the Vocal Tract Based on Magnetic Resonance Techniques / Sandra Ventura ; Diamantino Freitas ; João Manuel R.S. Tavares
SRAD, Optical Flow and Primitive Prior Based Active Contours for Echocardiography / Ali K. Hamou ; Mahmoud R. El-Sakka
Computer Vision Theory and Applications (VISAPP) / Part III:
Scene Segmentation from 3D Motion and Category-Specific Information / Alexander Bachmann ; Irina Lulcheva
Hierarchical S(3)-Coding of RGB Histograms / Reiner Lenz ; Pedro Latorre Carmona
Monocular SLAM Reconstructions and 3D City Models: Towards a Deep Consistency / Pierre Lothe ; Steve Bourgeois ; Fabien Dekeyser ; Eric Royer ; Michel Dhome
GPU-Based Euclidean Distance Transforms and Their Application to Volume Rendering / Jens Schneider ; Martin Kraus ; Rüdiger Westermann
Efficient Robust Active Appearance Model Fitting / Markus Storer ; Peter M. Roth ; Martin Urschler ; Horst Bischof ; Josef A. Birchbauer
Semi-supervised Distance Metric Learning in High-Dimensional Spaces by Using Equivalence Constraints / Hakan Cevikalp
Orthogonal Distance Least Squares Fitting: A Novel Approach / Sudanthi Wijewickrema ; Charles Esson ; Andrew Paplinski
Optical Inspection of Welding Seams / Fabian Timm ; Thomas Martinetz ; Erhardt Barth
A Multiscale Morphological Binarization Algorithm / Leyza Baldo Dorini ; Neucimar Jerônimo Leite
On the Suitability of Different Features for Anomaly Detection in Wire Ropes / Esther-Sabrina Platzer ; Herbert Sü?e ; Josef Nägele ; Karl-Heinz Wehking ; Joachim Denzler
Importance Sampling as One Solution to the Data Association Problem in Multi-target Tracking / Nicolai v. Hoyningen-Huene ; Michael Beetz
Photo Repair and 3D Structure from Flatbed Scanners Using 4- and 2-Source Photometric Stereo / Ruggero Pintus ; Thomas Malzbender ; Oliver Wang ; Ruth Bergman ; Hila Nachlieli ; Gitit Ruckenstein
Markerless Human Motion Capture Using Hierarchical Particle Swarm Optimisation / Vijay John ; Spela Ivekovic ; Emanuele Trucco
Textured Image Segmentation Using Active Contours / Xianghua Xie
Author Index
Invited Papers
Human Habitat Data in 3D for the Internet / Franz Leberl
Computer Graphics Theory and Applications (GRAPP) / Part I:
28.

電子ブック

EB
Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
29.

電子ブック

EB
Rainer B?hme
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Steganography and Steganalysis as Empirical Sciences / 1.1:
Objective and Approach / 1.2:
Outline / 1.3:
Background and Advances in Theory / Part I:
Principles of Modern Steganography and Steganalysis / 2:
Digital Steganography and Steganalysis / 2.1:
Steganographic System / 2.1.1:
Steganalysis / 2.1.2:
Relevance in Social and Academic Contexts / 2.1.3:
Conventions / 2.2:
Design Goals and Metrics / 2.3:
Capacity / 2.3.1:
Steganographic Security / 2.3.2:
Robustness / 2.3.3:
Further Metrics / 2.3.4:
Paradigms for the Design of Steganographic Systems / 2.4:
Paradigm I: Modify with Caution / 2.4.1:
Paradigm II: Cover Generation / 2.4.2:
Dominant Paradigm / 2.4.3:
Adversary Models / 2.5:
Passive Warden / 2.5.1:
Active Warden / 2.5.2:
Embedding Domains / 2.6:
Artificial Channels / 2.6.1:
Spatial and Time Domains / 2.6.2:
Transformed Domain / 2.6.3:
Selected Cover Formats: JPEG and MP3 / 2.6.4:
Exotic Covers / 2.6.5:
Embedding Operations / 2.7:
LSB Replacement / 2.7.1:
LSB Matching (±1) / 2.7.2:
Mod-? Replacement, Mod-? Matching, and Generalisations / 2.7.3:
Multi-Sample Rules / 2.7.4:
Adaptive Embedding / 2.7.5:
Protocols and Message Coding / 2.8:
Public-Key Steganography / 2.8.1:
Maximising Embedding Efficiency / 2.8.2:
Specific Detection Techniques / 2.9:
Calibration of JPEG Histograms / 2.9.1:
Universal Detectors / 2.9.2:
Quantitative Steganalysis / 2.9.3:
Selected Estimators for LSB Replacement in Spatial Domain Images / 2.10:
RS Analysis / 2.10.1:
Sample Pair Analysis / 2.10.2:
Higher-Order Structural Steganalysis / 2.10.3:
Weighted Stego Image Steganalysis / 2.10.4:
Summary and Further Steps / 2.11:
Towards a Theory of Cover Models / 3:
Steganalyst's Problem Formalised / 3.1:
The Plausibility Heuristic / 3.1.1:
Application to Digital Steganography / 3.1.2:
Incognisability of the Cover Distribution / 3.1.3:
Cover Models / 3.2:
Defining Cover Models / 3.2.1:
Options for Formulating Cover Models / 3.2.2:
Cover Models and Detection Performance / 3.2.3:
Summary and Motivations for Studying Cover Models / 3.2.4:
Dealing with Heterogeneous Cover Sources / 3.3:
Mixture Distributions / 3.3.1:
The Mixture Cover Model / 3.3.2:
Relation to Prior Information-Theoretic Work / 3.4:
Theoretical Limits / 3.4.1:
Observability Bounds / 3.4.2:
Computational Bounds / 3.4.3:
Applicability of the Theory of Cover Models / 3.4.4:
Indeterminacy in the Cover / 3.4.5:
Instances of Cover Models for Heterogeneous Sources / 3.5:
Summary / 3.6:
Specific Advances in Steganalysis / Part II:
Detection of Model-Based Steganography with First-Order Statistics / 4:
Fundamentals of Model-Based Steganography / 4.1:
MB1: An Embedding Function for JPEG Covers / 4.2:
Detection Method / 4.3:
Experimental Validation / 4.4:
Summary and Outlook / 4.5:
Limitations and Future Directions / 4.5.1:
Possible (Short-Term) Countermeasures / 4.5.2:
Implications for More Secure Steganography / 4.5.3:
Models of Heterogeneous Covers for Quantitative Steganalysis / 5:
Metrics for Quantitative Steganalysis / 5.1:
Conventional Metrics / 5.1.1:
Improved Metrics Based on a Distribution Model / 5.1.2:
Decomposition of Estimation Errors / 5.1.3:
Measurement of Sensitivity to Cover Properties / 5.2:
Method / 5.2.1:
Modelling the Shape of the Between-Image Distribution / 5.2.2:
Modelling the Shape of the Within-Image Distribution / 5.2.3:
Summary and Conclusion / 5.3:
Improved Weighted Stego Image Steganalysis / 6:
Enhanced WS for Never-Compressed Covers / 6.1:
Enhanced Predictor / 6.1.1:
Enhanced Calculation of Weights / 6.1.2:
Enhanced Bias Correction / 6.1.3:
Experimental Results / 6.1.4:
Adaptation of WS to JPEG Pre-Compressed Covers / 6.2:
Improved Predictor / 6.2.1:
Estimation of the Cover's JPEG Compression Quality / 6.2.2:
Using Encoder Artefacts for Steganalysis of Compressed Audio Streams / 6.2.3:
MP3 Steganography and Steganalysis / 7.1:
Problem Statement in the Mixture Cover Model Framework / 7.1.1:
Level of Analysis and Related Work / 7.1.2:
Description of Features / 7.1.3:
Features Based on the Compression Size Control Mechanism / 7.2.1:
Features Based on Model Decisions / 7.2.2:
Features Based on Capability Usage / 7.2.3:
Feature Based on Stream Formatting / 7.2.4:
Experimental Results for Encoder Detection / 7.3:
Single-Compressed Audio Files / 7.3.1:
Importance of Individual Features / 7.3.2:
Influence of Double-Compression / 7.3.3:
Experimental Results for Improved Steganalysis / 7.4:
Explorative Analysis of Encoder Similarities / 7.5:
Summary and Discussion / 7.6:
Transferability to Other Formats / 7.6.1:
Related Applications / 7.6.3:
Synthesis / Part III:
General Discussion / 8:
Summary of Results / 8.1:
Results Based on Informal Arguments / 8.1.1:
Results Based on Mathematical Proofs / 8.1.2:
Results Based on Empirical Evidence / 8.1.3:
Limitations / 8.2:
Directions for Future Research / 8.3:
Theoretical Challenges / 8.3.1:
Empirical Challenges / 8.3.2:
Practical Challenges / 8.3.3:
Conclusion and Outlook / 8.4:
Description of Covers Used in the Experiments / A:
Spurious Steganalysis Results Using the 'van Hateren' Image Database / B:
Proof of Weighted Stego Image (WS) Estimator / C:
Derivation of Linear Predictor for Enhanced WS / D:
Game for Formal Security Analysis / E:
Derivation of ROC Curves and AUC Metric for Example Cover Models / F:
Supplementary Figures and Tables / G:
References
List of Tables
List of Figures
List of Acronyms
List of Symbols
List of Functions
Index
Introduction / 1:
Steganography and Steganalysis as Empirical Sciences / 1.1:
Objective and Approach / 1.2:
30.

電子ブック

EB
Natarajan; Boumerdassi, Selma; Chaki, Nabendu Meghanathan, Selma Boumerdassi, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
31.

電子ブック

EB
Natarajan; Boumerdassi, Selma; Chaki, Nabendu Meghanathan, Selma Boumerdassi, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Second International Conference on Networks and Communications (NeCoM 2010)
Improving TCP Performance over Wireless Networks Using Cross Layer / S. Sathya Priya ; K. Murugan
Improving Tracking Performance of FxLMS Algorithm Based Active Noise Control Systems / P. Babu ; A. Krishnan
Source and System Features for Text Independent Speaker Recognition Using GMM Speaker Models / A. Revathi ; Y. Venkataramani
Optimization of ASIC Design Cycle Time / Vrushank Shah ; Nirav Parmar ; Rahul Shah
Optimal Solution for RFID Load Balancing / Vijayakumar G. Dhas ; Ramanathan Muthukaruppan ; Konguvel Balakrishnan ; Rajarajan Ganesan
Network Fault Management in Grid Using Multi-agents / S. Thamarai Selvi ; C. Valliyammai ; G. Subbiah ; S. Parthi Kumar ; S. Siva Samraj
Minimizing Response Time in an Autonomic Computing System Using Proportional Control / Harish S. Venkatarama ; Kandasamy Chandra Sekaran
Elucidation of Upcoming Traffic Problems in Cloud Computing / Mohit Mathur
Scenario Based Analysis of Localization of Sensor Nodes Using HMM / R. Arthi
Network Security and Networking Protocols / Arvind Kumar Sharma ; Chattar Singh Lamba
A Dynamic Grid Based Route-Driven ECDH Scheme for Heterogeneous Sensor Networks / S. Pradheepkumar ; R. Fareedha ; M. Jenieferkavetha ; A. Geanremona ; R. Juliajoyce
Novel Resource Allocation Strategy Using Network Metrics in GRID / R. Satheesh Kumar ; E. Pradeep ; K. Naveen
Energy Efficient Routing Protocol for Wireless Sensor and Actor Networks / Srinivasara Rao Dh ; Ramesh Babu Battula ; Srikanth Vemuru ; Rajasekhara rao Kurra ; Pavan Kumar Tummala ; S. V. Rao
A Novel Visual Cryptographic Technique through Grey Level Inversion(VCTGLI) / Jayanta Kumar Pal ; J.K. Mandal ; Kousik Dasgupta
A Frequency Spectral Feature Modeling for Hidden Markov Model Based Automated Speech Recognition / Ibrahim Patel ; Y. Srinivas Rao
A Novel Trust Management Scheme Using Fuzzy Logic for a Pervasive Environment / V. Rhymend Uthariaraj ; J. Valarmathi ; G. Arjun Kumar ; Praveen Subramanian ; R. Karthick
Reducing the Size of the Test Suite by Genetic Algorithm and Concept Analysis / S. Selvakumar ; M.R.C. Dinesh ; G. Dhineshkumar ; N. Ramaraj
AODV-DS with Dominant Pruning in Mobile Ad Hoc Networks / Sonali Mote ; Somnath Wategaonkar ; Surekha Khot ; Sangita R. Wategaonkar
DoS Attack Inference Using Traffic Wave Analysis / P. Jayashree ; T. Aravinth ; S. Ashok Kumar ; S.K.R. Manikandan
Designing 3rd Generation Long-Haul Optical Backbone Networks through a Cost-Conscious Regeneration-Aware RWA Scheme / Ariyam Das ; Aveek Chakrabarti
An Automated and Full-Proof Attendance Marking Scheme (TATTEND) Using Three Integrated Technologies / Divyans Mahansaria ; G.S. Kartik ; Gautam Singh ; Himanshu Mishra ; Kartikey Singh ; Sandeep Sharma ; B. Amutha
Agent Based Adaptive Multi-constrained Multicast Routing with QoS Guarantees in MANETs / G. Santhi ; Alamelu Nachiappan
FPGA Implementation of High Speed Pulse Shaping Filter for SDR Applications / Rajesh Mehra ; Swapna Devi
Feature Selection and Classification of Intrusions Using Genetic Algorithm and Neural Networks / T. Subbulakshmi ; A. Ramamoorthi ; S. Mercy Shalinie
An Algorithm for Designing Controllers / Sankalp Bagaria
Decision Support with RFID for Health Care / Yannick Meiller ; Sylvain Bureau ; Wei Zhou ; Selwyn Piramuthu
Second International Conference on Wireless and Mobile Networks (WiMoN 2010)
An Algorithm to Determine Multicast Meshes with Maximum Lifetime for Mobile Ad Hoc Networks / Natarajan Meghanathan ; Srilakshmi R. Vavilala
Distributed Weight Based Clustering with Efficient Channel Access to Improve Quality of Service in Mobile Ad-Hoc Networks (DWCA) / Mohd. Amjad ; M.N. Doja
WACA: A New Weighted Adaptive Clustering Algorithm for MANET / Ira Nath ; Rituparna Chaki ; Nabendu Chaki
A Topology and Context Aware Query Distribution System in Middleware for Wireless Sensor Networks / Dhrubajyoti Saha ; Dibyendu Mallik
On-Demand Table-Driven Topo-Aware Routing Protocol for Wireless Mesh Networks / Pavan Kumar Tummal ; Jatindra Kumar Deka
An Efficient Quality of Service Scheduling Strategy for IEEE 802.16 Broadband Wireless Access Systems / Prasun Chowdhury ; Iti Saha Misra
Comparison of VoIP Performance over WiMAX, WLAN and WiMAX-WLAN Integrated Network Using OPNET / Anindita Kundu ; Suman Bhunia ; Salil K. Sanyal
A Generalized Trust Framework for Mobile Ad Hoc Networks / Revathi Venkataraman ; M. Pushpalatha ; T. Rama Rao
Adaptive Routing Techniques in Disruption Tolerant Networks / Mohammad Arif ; Abu Daud
Adaptive Valid Period Based Concurrency Control without Locking in Mobile Environments / Mohammed Khaja Nizamuddin ; Syed Abdul Sattar
An Associativity Based Energy Aware Clustering Technique for Mobile Ad Hoc Networks / Tahrima Rahman ; A.M.A. Elman Bashar
Frequency Domain Equalisation for OFDMA System in Multipath Fading Channels / R.J. Susan ; Sakuntala S. Pillai
Energy Aware Data Sharing in Mobile Ad Hoc Networks / T. Ramarao
Security Enhancement in WEP Mobility / S.M.K.M. Abbas Ahmad ; E.G. Rajan ; A. Govardhan ; Juluru Peraiah
TCP - AP and LRED over Single and Multiple TCP Flows in Multihop Wireless Channel / G. Sankara Malliga ; Dharmishtan K. Varughese
A Secure Prioritized Trust Based Multi-path Routing Protocol for Ad Hoc Networks / Poonam ; K. Garg ; M. Misra
Reducing Handoff Latency in IEEE 802.11b with the Help of Neighbor Graph Using Carrier to Interference Ratio / Debabrata Sarddar ; Joydeep Banerjee ; Souvik Kumar Saha ; Utpal Biswas ; M.K. Naskar
To Alleviate Congestion Using Hybrid Sink for Delay Sensitive Applications in Wireless Sensor Networks / K. Thanigaivelu
Comparison of Cooperative Caching Strategies in Mobile Ad-Hoc Network (MANET) / G. Radhamani ; S. Umamaheswari
Framework for Probabilistic Routing in Dense MANETs / Sharmila Sankar ; V. Sankaranarayanan
Lightweight Management Framework (LMF) for a Heterogeneous Wireless Network for Landslide Detection / Sangeeth Kumar ; Maneesha Vinodini Ramesh
Dasarathy Model Based Fusion Framework for Fire Detection Application in WSN / P.T.V. Bhuvaneswari ; V. Vaidehi ; M. Karthik
Localization Based on Signal Strength Using Kalman Approach / M. AgnesSaranya
Second International Conference on Web and Semantic Technology (WeST 2010)
Reliable Data Replication Middleware for Next Generation Web Services / G.M. Siddesh ; K.G. Srinivasa
An Algorithmic Framework for Collaborative Interest Group Construction / Akshi Kumar ; Abha Jain
Survey on Federated Identity Management Systems
Automating Reuse of Semantic Repositories in the Context of Semantic Web / Nadia Imdadi ; S.A.M. Rizvi
Discovering Models from Event-Based Data Basis on a Survey of Issues and Approaches / Mohammed Shahidul Karim ; Md. Ashiqur Rahman ; Abul Kalam Azad
Prediction of Learning Disabilities in School Age Children Using Decision Tree / M. David Julie ; Balakrishnan Kannan
Co-occurrence Based Place Name Disambiguation and Its Application to Retrieval of Geological Text / N. V. Sobhana ; Alimpan Barua ; Monotosh Das ; Pabitra Mitra ; S.K. Ghosh
A Formal Method for Detecting Semantic Conflicts in Protocols between Services with Different Ontologies / Priyankar Ghosh ; Pallab Dasgupta
Test Suite Diminuition Using GRE Heuristic with Selective Redundancy Approach / C. Dhineshkumar
First International Workshop on Ad Hoc, Sensor and Ubiquitous Computing (ASUC 2010)
Mobility Monitoring by Using RSSI in Wireless Sensor Networks / Senol Zafer Erdogan
Analyzing Web 2.0 Integration with Next Generation Networks for Services Rendering / Kamaljit I. Lakhtaria ; Dhinaharan Nagamalai
An Adaptive Framework for Wireless Sensor Network Application Development / Mahesh U. Patil ; P. Poonguzhali
A Comparison of the Efficiencies of Different Wireless Sensor Network Algorithms with Respect to Time / Subrata Dutta ; Nandini Mukherjee ; Sarmistha Neogy ; Sarbani Roy
Internal Map of the Nanostack 6LoWPAN Stack / Sergio Lembo ; Jari Kuusisto ; Jukka Manner
Prolonging Network Lifetime Using Ant Colony Optimization Algorithm on LEACH Protocol for Wireless Sensor Networks / Tanushree Agarwal ; Dilip Kumar ; Neelam R. Prakash
Energy Efficient Mobile Wireless Sensor Network Routing Protocol / Getsy S. Sara ; R. Kalaiarasi ; S. Neelavathy Pari ; D. Sridharan
Dynamic Service Discovery as an Optimization Problem in Wireless Sensor Networks / Kaushik Lahiri ; Amitava Mukherjee ; Ayon Chakraborty ; Subhajit Mandal ; Dipankar Patra ; Mrinal K. Nashkar
A New Approach for Workflow Tasks Scheduling in Distributed Heterogeneous environment / K. Prabavathi ; P. Varalakshmi
A Range Based Localization Algorithm Using Autonomous Speed Mobile Sink (MOBISPEED) in Distributed Wireless Sensor Networks / M. Ponnavaikko ; N. Karthick
First International Workshop on VLSI (VLSI 2010)
Development of Controllability Observability Aided Combinational ATPG with Fault Reduction / Vaishali Dhare ; Usha Mehta
Implementation of ADPLL with 0.6µm CMOS Process for SOC Applications / V. Leela Rani ; V. Suma Latha ; G.T. Rao ; D.S. Murty
Fault Diagnosis of Analog Circuits Utilizing Reconfigurable Computing System / N. Sarat Chandra Babu
A Low Voltage High Performance OTA in 0.18 Micron with High Linearity / Nikhil Raj ; Ranitesh Gupta ; Vikram Chopra
Author Index
The Second International Conference on Networks and Communications (NeCoM 2010)
Improving TCP Performance over Wireless Networks Using Cross Layer / S. Sathya Priya ; K. Murugan
Improving Tracking Performance of FxLMS Algorithm Based Active Noise Control Systems / P. Babu ; A. Krishnan
32.

電子ブック

EB
Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Sanjay Ranka, Cho-Li Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Technical Session-12: System-1 (S-1)
Automatic Test Data Generation for Data Flow Testing Using Particle Swarm Optimization / Narmada Nayak ; Durga Prasad Mohapatra
Efficient Storage of Massive Biological Sequences in Compact Form / Ashutosh Gupta ; Vinay Rishiwal ; Suneeta Agarwal
Maximum Utility Meta-Scheduling Algorithm for Economy Based Scheduling under Grid Computing / Hemant Kumar Mehta ; Priyesh Kanungo ; Manohar Chandwani
An Accelerated MJPEG 2000 Encoder Using Compute Unified Device Architecture / Datla Sanketh ; Rajdeep Niyogi
Event-Based Metric for Computing System Complexity / Sandeep Kumar Singh ; Sangeeta Sabharwal ; J.P. Gupta
Technical Session-13: System-2 (S-2)
Load Balancing in Xen Virtual Machine Monitor / Gaurav Somani ; Sanjay Chaudhary
Aerial Vehicle Based Sensing Framework for Structural Health Monitoring / Ashish Tanwer ; Muzahid Hussain ; Parminder Singh Reel
A Cross Layer Seamless Handover Scheme in IEEE 802.11p Based Vehicular Networks / Arun Prakash ; Sarsij Tripathi ; Rajesh Verma ; Neeraj Tyagi ; Rajeev Tripathi ; Kshirasagar Naik
Modeling and Simulation of Efficient March Algorithm for Memory Testing / Balwinder Singh ; Sukhleen Bindra Narang ; Arun Khosla
A New Approach for Detecting Design Patterns by Graph Decomposition and Graph Isomorphism / Akshara Pande ; Manjari Gupta ; A.K. Tripathi
Technical Session-14: System-3 (S-3)
Detection of Polymorphic Viruses in Windows Executables / Abhiram Kasina ; Amit Suthar ; Rajeev Kumar
Sensitivity Measurement of Neural Hardware: A Simulation Based Study / Amit Prakash Singh ; Pravin Chandra ; Chandra Shekhar Rai
An Approach to Identify and Manage Interoperability of Class Diagrams in Visual Paradigm and MagicDraw Tools / Gaurav Bansal ; Deepak Vijayvargiya ; Siddhant Garg
A Novel Approach to Generate Test Cases Using Class and Sequence Diagrams / Shireesh Asthana ; Saurabh Tripathi
Technical Session-15: System-4 (S-4)
Arrogyam: Arrhythmia Detection for Ambulatory Patient Monitoring / Dheerendra Singh Gangwar ; Davinder Singh Saini
Test Process Model with Enhanced Approach of State Variable / Praveen Ranjan Srivastava
Re-engineering Machine Translation Systems through Symbiotic Approach / Pawan Kumar ; Rashid Ahmad ; A.K. Rathaur ; Mukul K. Sinha ; R. Sangal
Analysis for Power Control and Security Architecture for Wireless Ad-Hoc Network / Bharat Singh ; Akash Bansal ; Sunil Kumar ; Anshu Garg
Extension of Superblock Technique to Hyperblock Using Predicate Hierarchy Graph / Sweta Verma ; Ranjit Biswas ; J.B. Singh
Technical Session-16: System-6 (S-6)
Vehicular Ad Hoc Network Mobility Models Applied for Reinforcement Learning Routing Algorithm / Shrirang Ambaji Kulkarni ; G. Raghavendra Rao
Hardware and Software Co-Design for Robot Arm / Urmila Meshram ; R.R. Harkare ; Devendra Meshram
Security Vulnerabilities of a Novel Remote User Authentication Scheme Using Smart Card based on ECDLP / Manoj Kumar ; Aayushi Balyan
Multiple Polymorphic Arguments in Single Dispatch Object Oriented Languages / Sanchit Bansal
Author Index
Technical Session-12: System-1 (S-1)
Automatic Test Data Generation for Data Flow Testing Using Particle Swarm Optimization / Narmada Nayak ; Durga Prasad Mohapatra
Efficient Storage of Massive Biological Sequences in Compact Form / Ashutosh Gupta ; Vinay Rishiwal ; Suneeta Agarwal
33.

電子ブック

EB
De-Shuang; McGinnity, Martin; Heutte, Laurent Huang, Laurent Heutte, De-Shuang Huang, Martin McGinnity, Xiao-Ping Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
34.

電子ブック

EB
Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Sanjay Ranka, Cho-Li Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Technical Session-1: Algorithm-1 (A-1)
A PDE-Based Nonlinear Filter Adapted to Rayleigh's Speckle Noise for De-Speckling 2D Ultrasound Images / Rajeev Srivastava ; J.R.P. Gupta
Face Recognition Using Kernel Fisher Linear Discriminant Analysis and RBF Neural Network / S. Thakur ; J.K. Sing ; D.K. Basu ; M. Nasipuri
Parallel Enumeration Sort on OTIS-Hypercube / Keny T. Lucas
A Robust Trust Mechanism Algorithm for Secure power Aware AODV Routing in Mobile Ad Hoc Networks / Naga Sathish Gidijala ; Sanketh Datla ; Ramesh C. Joshi
A Heuristic Algorithm for Constrained Redundancy Optimization in Complex Systems / Sudhanshu Aggarwal
Technical Session-2: Algorithm-2 (A-2)
A Hybrid Genetic Algorithm Based Test Case Generation Using Sequence Diagrams / Mahesh Shirole ; Rajeev Kumar
LACAIS: Learning Automata based Cooperative Artificial Immune System for Function Optimization / Alireza Rezuanian ; Mohammad Reza Meybodi
Image Reconstruction from Projection under Periodicity Constrainst Using Genetic Algorithm / Narender Kumar ; Tanuja Srivastava
A Robust Watermarking Algorithm for Audio Signals Using SVD / Malay Kishore Dutta ; Vinay K. Pathak ; Phalguni Gupta
Differential Evolution Using Interpolated Local Search / Musrrat Ali ; Millie Pant ; V.P. Singh
Technical Session-3: Algorithm-3 (A-3)
A New SVD Based Watermarking Framework in Fractional Fourier Domain / Gaurav Bhatnagar ; Balasubramanian Raman
Mining Frequent and Associated Gene Expression Patterns from Spatial Gene Expression Data: A Proposed Approach / M. Anandhavalli ; M.K. Ghose ; K. Gauthaman
Minimization of Lennard-Jones Potential Using Parallel Particle Swarm Optimization Algorithm / Kusum Deep ; Madhuri Arya
An Artificial Bee Colony Algorithm for the 0-1 Multidimensional Knapsack Problem / Shyam Sundar ; Alok Singh ; André Rossi
Automatic Summary Generation from Single Document Using Information Gain / Chandra Prakash ; Anupam Shukla
Technical Session-4: Algorithm-4 (A-4)
An Alternate Approach to Compute the Reliability of a Computer Communication Network Using Binary Decision Diagrams / Manoj Singhal ; R.K. Chauhan ; Girish Sharma
A Multi-Level Blocks Scrambling Based Chaotic Image Cipher / Musheer Ahmad ; Omar Farooq
Maxillofacial Surgery Using X-Ray Based Face Recognition by Elastic Bunch Graph Matching / Manish Madhav Tripathi ; Mohd Haroon ; Minsa Jafar ; Mansi Jain
A Phenomic Approach to Genetic Algorithms for Reconstruction of Gene Networks / Rio G.L. D'Souza ; K. Chandra Sekaran ; A. Kandasamy
An Algorithm to Determine Minimum Velocity-Based Stable Connected Dominating Sets for Ad Hoc Networks / Natarajan Meghanathan
Technical Session-5: Algorithm-5 (A-5)
An Efficient Intrusion Detection System Using Clustering Combined with Fuzzy Logic / Ajanta Konar ; R.C. Joshi
Assessing the Performance of Bi-objective MST for Euclidean and Non-Euclidean Instances / Soma Saha ; Mohammad Aslam
PSO-SVM Based Classifiers: A Comparative Approach / Yamuna Prasad ; K.K. Biswas
Efficient Job Division for Grids Running SIMD Algorithms / Ashish Kurmi ; Srinivasan Iyer
A Novel Algorithm for Achieving a Light-Weight Tracking System / Abhinav Agarwal ; Rajdeep Niyogi
Technical Session-6: Application-1 (P-1)
Computer Simulation Studies of Drug-DNA Interactions: Neothramycin B / Rajeshwer Shukla ; Sugriva Nath Tiwari
Effect of Speech Coding on Recognition of Consonant-Vowel (CV) Units / Anil Kumar Vuppala ; Saswat Chakrabarti ; K. Sreenivasa Rao
Cloudbank: A Secure Anonymous Banking Cloud / Ridhi Sood ; Meenakshi Kalia
Alignment Model and Training Technique in SMT from English to Malayalam / Sebastian Mary Priya ; K. Sheena Kurian ; G. Santhosh Kumar
Emotion Classification Based on Speaking Rate / Shashidhar G. Koolagudi ; Sudhin Ray
Technical Session-7: Application-2 (P-2)
A Vulnerability Metric for the Design Phase of Object Oriented Software / A. Agrawal ; R.A. Khan
A Framework for Synthesis of Human Gait Oscillation Using Intelligent Gait Oscillation Detector (IGOD) / Soumik Mondal ; Anup Nandy ; Anirban Chakrabarti ; Pavan Chakraborty ; G.C. Nandi
Detection of Significant Opinionated Sentence for Mining Web Users' Opinion / K.M. Anil Kumar ; Suresha
Hyperspectral Data Compression Model Using SPCA (Segmented Principal Component Analysis) and Classification of Rice Crop Varieties / Shwetank ; Kamal Jain ; Karamjit Bhatia
Impulse Noise Removal from Color Images Using Adaptive Neuro-fuzzy Impulse Detector / Umesh Ghanekar ; Awadhesh Kumar Singh ; Rajoo Pandey
Technical Session-8: Application-3 (P-3)
Measuring of Time-Frequency Representation (TFR) Content - Using the Kapurs Entropies / Priti Gupta ; Vijay Kumar
An Ontology Based Framework for Domain Analysis of Interactive System / Shrutilipi Bhattacharjee ; Imon Banerjee ; Animesh Datta
Entropy Based Clustering to Determine Discriminatory Genes for Microarray Dataset / Rajni Bala ; R.K. Agrawal
A Framework for Incremental Domain-Specific Hidden Web Crawler / Rosy Madaan ; Ashutosh Dixit ; A.K. Sharma ; Komal Kumar Bhatia
Impact of K-Means on the Performance of Classifiers for Labeled Data / B.M. Patil ; Durga Toshniwal
Technical Session-9: Application-4 (P-4)
Digital Watermarking Based Stereo Image Coding / Sanjay Rawat ; Gaurav Gupta ; R. Balasubramanian ; M.S. Rawat
Content Based Multimodal Retrieval for Databases of Indian Monuments / Aman Agarwal ; Vikas Saxena
Evolutionary Based Automated Coverage Analysis for GUI Testing / Abdul Rauf ; Sajid Anwar ; Naveed Kazim ; Arshad Ali Shahid
Online Signature Classification Using Modified Fuzzy Min-Max Neural Network with Compensatory Neuron Topology / B.M. Chaudhari ; Rupal S. Patil ; K.P. Rane ; Ulhas B. Shinde
Multifaceted Classification of Websites for Goal Oriented Requirement Engineering / Sangeeta Srivastava ; Shailey Chawla
Technical Session-10: Application-5 (P-5)
A Simplified and Corroborative Approach towards Formalization of Requirements / Ram Chatterjee ; Kalpana Johari
Robust Multiple Watermarking Using Entropy Based Spread Spectrum / Sushila Kamble ; Vikas Maheshkar ; Suneeta Agarwal ; Vinay Shrivastava
Application of Adaptive Learning in Generalized Neuron Model for Short Term Load Forecasting under Error Gradient Functions / Chandragiri Radha Charan ; Manmohan
Intelligent Schemes for Indexing Digital Movies / R.S. Jadon ; Sanjay Jain
Fuzzy Reasoning Boolean Petri Nets Based Method for Modeling and Analysing Genetic Regulatory Networks / Raed J. Hamed ; S.I. Ahson ; R. Parveen
Technical Session-11: Application-6 (P-6)
Mining the Blogosphere for Sociological Inferences / Vivek Kumar Singh
Modeling for Evaluation of Significant Features in siRNA Design / Chakresh Kumar Jain
A Fast Progressive Image Transmission Algorithm Using Linear Bivariate Splines / Rohit Verma ; Ravikant Verma ; P. Syamala Jaya Sree ; Pradeep Kumar ; Rajesh Siddavatam ; S.P. Ghrera
Building Optimization / Rekha Bhowmik ; Pradeep Sharma
Adaptive Bacterial Foraging Optimization Based Tuning of Optimal PI Speed Controller for PMSM Drive / Ravi Kumar Jatoth ; A. Rajasekhar
Missing Value Imputation Based on K-mean Clustering with Weighted Distance / Bankat M. Patil
Author Index
Technical Session-1: Algorithm-1 (A-1)
A PDE-Based Nonlinear Filter Adapted to Rayleigh's Speckle Noise for De-Speckling 2D Ultrasound Images / Rajeev Srivastava ; J.R.P. Gupta
Face Recognition Using Kernel Fisher Linear Discriminant Analysis and RBF Neural Network / S. Thakur ; J.K. Sing ; D.K. Basu ; M. Nasipuri
35.

電子ブック

EB
Laura Kallmeyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Formal Grammars and Natural Languages / 1.1:
Parsing Beyond CFGs / 1.2:
What This Book Is Not About / 1.3:
Overview of the Book / 1.4:
Grammar Formalisms for Natural Languages / 1.4.1:
Parsing: Preliminaries / 1.4.2:
Tree Adjoining Grammars / 1.4.3:
MCFG and LCFRS / 1.4.4:
Range Concatenation Grammars / 1.4.5:
Automata / 1.4.6:
Some Basic Definitions / 1.5:
Languages / 1.5.1:
Context-Free Grammars / 1.5.2:
Trees / 1.5.3:
Context-Free Grammars and Natural Languages / 2:
The Generative Capacity of CFGs / 2.1.1:
CFGs and Lexicalization / 2.1.2:
Mild Context-Sensitivity / 2.1.3:
Grammar Formalisms Beyond CFG / 2.2:
Linear Indexed Grammars / 2.2.1:
Linear Context-Free Rewriting Systems / 2.2.3:
Multicomponent Tree Adjoining Grammars / 2.2.4:
Multiple Context-Free Grammars / 2.2.5:
Summary / 2.2.6:
Parsing as Deduction / 3:
Motivation / 3.1.1:
Items / 3.1.2:
Deduction Rules / 3.1.3:
Implementation Issues / 3.2:
Dynamic Programming / 3.2.1:
Chart Parsing and Tabulation / 3.2.2:
Hypergraphs / 3.2.3:
Properties of Parsing Algorithms / 3.3:
Soundness and Completeness / 3.3.1:
Complexity / 3.3.2:
Valid Prefix Property / 3.3.3:
Introduction to Tree Adjoining Grammars / 3.4:
Definition of TAG / 4.1.1:
Formal Properties / 4.1.2:
Linguistic Principles for TAG / 4.1.3:
Extended Domain of Locality and Factoring of Recursion / 4.1.4:
Constituency and Dependencies / 4.1.5:
Equivalent Formalisms / 4.2:
Tree-Local MCTAG / 4.2.1:
Combinatory Categorial Grammars / 4.2.2:
Parsing Tree Adjoining Grammars / 4.3:
A CYK Parser for TAG / 5.1:
The Recognizer / 5.1.1:
An Earley Parser for TAG / 5.1.2:
Inference Rules / 5.2.1:
Extending the Algorithm to Substitution / 5.2.4:
The Parser / 5.2.5:
Properties of the Algorithm / 5.2.6:
Prefix Valid Earley Parsing / 5.2.7:
An LR Parser for TAG / 5.3:
Construction of the Automation / 5.3.1:
Multiple Context-Free Grammars and Linear Context-Free Rewriting Systems / 5.3.3:
Introduction to MCFG, LCFRS and Simple RCG / 6.1:
Applications / 6.1.1:
Set-Local Multicomponent TAG / 6.2:
Minimalist Grammars / 6.2.2:
Finite-Copying LFG / 6.2.3:
Parsing MCFG, LCFRS and Simple RCG / 6.3:
CYK Parsing of MCFG / 7.1:
The Basic Algorithm / 7.1.1:
The Naïve Algorithm / 7.1.2:
The Active Algorithm / 7.1.3:
The Incremental Algorithm / 7.1.4:
Prediction Strategies / 7.1.5:
Simplifying Simple RCGs / 7.2:
Eliminating Useless Rules / 7.2.1:
Eliminating ?-Rules / 7.2.2:
Ordered Simple RCG / 7.2.3:
Binarization of the Rules / 7.2.4:
An Incremental Earley Parser for Simple RCG / 7.3:
The Algorithm / 7.3.1:
Filters / 7.3.2:
Introduction to Range Concatenation Grammars / 7.4:
Definition of RCG / 8.1.1:
Relations to Other Formalisms / 8.1.2:
Literal Movement Grammars / 8.2.1:
CFG, TAG and MCFG / 8.2.2:
Parsing Range Concatenation Grammars / 8.3:
Basic RCG Parsing / 9.1:
CYK Parsing with Passive Items / 9.1.1:
Non-directional Top-Down Parsing / 9.1.2:
Directional Top-Down Parsing / 9.1.3:
Optimizations / 9.1.4:
Parsing with Constraint Propagation / 9.2:
Range Constraints / 9.2.1:
CYK Parsing with Active Items / 9.2.2:
Earley Parsing / 9.2.3:
Embedded Push-Down Automata / 9.3:
Definition of EPDA / 10.1.1:
EPDA and TAG / 10.1.2:
Bottom-Up Embedded Push-Down Automata / 10.1.3:
?-Order EPDA / 10.1.4:
Two-Stack Automata / 10.2:
General Definition / 10.2.1:
Strongly-Driven Two-Stack Automata / 10.2.2:
Thread Automata / 10.3:
Idea / 10.3.1:
General Definition of TA / 10.3.2:
Constructing a TA for a TAG / 10.3.3:
Constructing a TA for an Ordered SRCG / 10.3.4:
Hierarchy of Grammar Formalisms / 10.4:
List of Acronyms / Appendix B:
Solutions
References
Index
Introduction / 1:
Formal Grammars and Natural Languages / 1.1:
Parsing Beyond CFGs / 1.2:
36.

電子ブック

EB
Will van der Aalst, Karlheinz Kautz, John Mylopoulos, Peter Axel Nielsen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Relationship Management at the Operational Level in Outsourcing / Sabine Madsen ; Keld Bødker
User Experience: Consumer Understandings of Virtual Product Prototypes / Taina Kaapu ; Tarja Tiainen
The Living Requirements Space: Towards the Collaborative Development of Requirements for Future ERP Systems / Femi Adisa ; Petra Schubert ; Frantisek Sudzina
IT Governance through Regulatory Modalities. Health Care Information Infrastructure and the "Blue Fox" Project / Bendik Bygstad ; Ole Hanseth
Boundaries between Participants in Outsourced Requirements Construction / Sari T. Salmela ; Anna-Liisa Syrjänen
Is Standard Software Wiping Out Socio-Technical Design? - Engaging in the Practice of Implementing Standard ERP Systems / Lene Pries-Heje
Facing the Lernaean Hydra: The Nature of Large-Scale Integration Projects in Healthcare / Eli Larsen ; Gunnar Ellingsen
Bootstrapping Revisited: Opening the Black Box of Organizational Implementation / Espen Skorve ; Margunn Aanestad
Configuration Analysis of Inter-Organizational Information Systems Adoption / Kalle Lyytinen ; Jan Damsgaard
An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness / Guido Schryen
Author Index
Relationship Management at the Operational Level in Outsourcing / Sabine Madsen ; Keld Bødker
User Experience: Consumer Understandings of Virtual Product Prototypes / Taina Kaapu ; Tarja Tiainen
The Living Requirements Space: Towards the Collaborative Development of Requirements for Future ERP Systems / Femi Adisa ; Petra Schubert ; Frantisek Sudzina
37.

電子ブック

EB
Will van der Aalst, John Mylopoulos, Matthew L. Nelson, Michael J. Shaw, Troy J. Strader
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
e-Business Models and IS in Financial Markets
Dynamic Revenue Model Design in the Online Services Business: Two Cases in Japan / Masao Kakihara
Pricing of Content Services - An Empirical Investigation of Music as a Service / Jonathan Doerr ; Alexander Benlian ; Johannes Vetter ; Thomas Hess
Informational Determinants of Customer Acquisition and eTailer Revenue / Amitava Dutta ; Nirup M. Menon
Adoption of a Centralised Post-Trade Processing Market Infrastructure after the Credit Crisis / Olga Lewandowska
The Impact of Information Technology on European Post-Trading / Torsten Schaper ; Michael Chlistalla
e-Commerce Use and Design
Privately Waiting - A Usability Analysis of the Tor Anonymity Network / Benjamin Fabian ; Florian Goertz ; Steffen Kunz ; Sebastian Müller ; Mathias Nitzsche
E-Commerce Readiness in Ethiopia: A Macro-Level Assessment / Elizabeth Ayalew ; Lemma Lessa ; Mariye Yigzaw
Corporate Blogging Today - Usage and Characteristics / Franziska Brecht ; Anastacia Cudreasova ; Jing Zhou
Agent-Based Simulation for Evaluation of a Mobile Emergency Management System / Heiko Ro?nagel ; Jan Zibuschka ; Olaf Junker
Using Ontologies in an E-Commerce Environment: Help or Hype? / Kerstin Schäfer
e-Business Research Issues and Methods
B2B Electronic Marketplaces in Supply Chain Management: Analyzing Recent Research Activities / Christoph Pflügler ; Klaus Turowski
Proximal Business Intelligence on the Semantic Web / David Bell ; Thinh Nguyen
Disintermediation in the Tourism Industry: Theory vs. Practice / Laddawan Kaewkitipong
Author Index
e-Business Models and IS in Financial Markets
Dynamic Revenue Model Design in the Online Services Business: Two Cases in Japan / Masao Kakihara
Pricing of Content Services - An Empirical Investigation of Music as a Service / Jonathan Doerr ; Alexander Benlian ; Johannes Vetter ; Thomas Hess
38.

電子ブック

EB
Henning M?ller, Barbara Caputo, Paul Clough, Thomas Deselaers, Henning Muller
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
39.

電子ブック

EB
Arthur Tatnall
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Connections in the History of Australian Computing / John Deane
Why the Real Thing Is Essential for Telling Our Stories / David Demant
Wonder, Sorcery, and Technology: Contribute to the History of Medieval Robotics / Nadia Ambrosetti
Andrew D. Booth - Britain's Other "Fourth Man" / Roger G. Johnson
The Many Dimensions of Kristen Nygaard, Creator of Object-Oriented Programming and the Scandinavian School of System Development / Drude Berntsen ; Knut Elgsaas ; HÃ¥vard Hegna
Projects and Activities of the IPSJ Computer History Committee / Eiiti Wada
Contested Histories: De-mythologising the Early History of Modern British Computing / David Anderson
50 Years Ago We Constructed the First Hungarian Tube Computer, the M-3: Short Stories from the History of the First Hungarian Computer (1957-1960) / Gyozo Kovács
Anatoly Kitov - Pioneer of Russian Informatics / Vladimir A. Kitov ; Valery V. Shilov
Materiel Command and the Materiality of Commands: An Historical Examination of the US Air Force, Control Data Corporation, and the Advanced Logistics System / Jeffrey R. Yost
Purpose-Built Educational Computers in the 1980s: The Australian Experience / Arthur Tatnall ; Ralph Leonard
And They Were Thinking? Basic, Logo, Personality and Pedagogy / John S. Murnane
The Life and Growth of Year 12 Computing in Victoria: An Ecological Model / Bill Davey
History of the European Computer Driving Licence / Denise Leahy ; Dudley Dolan
A Brief History of the Pick Environment in Australia / Stasys Lukaitis
Turning Points in Computer Education / Kevin R. Parker
Existence Precedes Essence-Meaning of the Stored-Program Concept / Allan Olley
Recession, S-Curves and Digital Equipment Corporation / David T. Goodwin
ETHICS: The Past, Present and Future of Socio-Technical Systems Design / Shona Leitch ; Matthew J. Warren
Lessons from Discarded Computer Architectures / Andrew E. Fluck
The Birth of Information Systems / Audra Lukaitis
The Monash University Museum of Computing History: Ten Years On / A. Barbara Ainsworth ; Chris Avram ; Judithe Sheard
Author Index
Connections in the History of Australian Computing / John Deane
Why the Real Thing Is Essential for Telling Our Stories / David Demant
Wonder, Sorcery, and Technology: Contribute to the History of Medieval Robotics / Nadia Ambrosetti
40.

電子ブック

EB
Will van der Aalst, Francesco Buccafurri, John Mylopoulos, Giovanni Semeraro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Recommender Systems 1
Resource Recommendation in Collaborative Tagging Applications / Jonathan Gemmell ; Thomas Schimoler ; Bamshad Mobasher ; Robin Burke
Combining Collaborative and Content-Based Techniques for Tag Recommendation / Cataldo Musto ; Fedelucio Narducci ; Pasquale Lops ; Marco de Gemmis
Category Recommendation in User Specified Structure / Ying Zhou ; Xiaochen Huang ; Shirley Priyanka Lee
Recommender Systems 2
Semantic Tag Cloud Generation via DBpedia / Roberto Mirizzi ; Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio
Social Networks as Data Source for Recommendation Systems / Mathias Bank ; Juergen Franke
Content-Based News Recommendation / Michal Kompan ; Mária Bieliková
E-Payment, Security and Trust
Towards a Lawfully Secure and Privacy Preserving Video Surveillance System / Aniello Castiglione ; Marco Cepparulo ; Alfredo De Santis ; Francesco Palmieri
Reputation as Aggregated Opinions / John Debenham ; Carles Sierra
The Open Metaverse Currency (OMC) - A Micropayment Framework for Open 3D Virtual Worlds / Frank Kappe ; Michael Steurer
T-REX: A Hybrid Agent Trust Model Based on Witness Reputation and Personal Experience / Kalliopi Kravari ; Christos Malliarakis ; Nick Bassiliades
Service Oriented E-Commerce and Business Processes
QoS Contract Formation and Evolution / Vasilios Andrikopoulos ; Mariagrazia Fugini ; Mike P. Papazoglou ; Michael Parkin ; Barbara Pernici ; S. Hossein Siadat
Process Views to Support Compliance Management in Business Processes / David Schumm ; Frank Leymann ; Alexander Streule
Invitetd Talk
Web Advertising / Ricardo Baeza-Yates
Agent-Based Electronic Commerce 1
Electronic Trading Environments for Web 3.0 / Simeon Simoff
Agent-Based Electronic Commerce 2
On the Benefits of Keyword Spreading in Sponsored Search Auctions: An Experimental Analysis / Michele Budinich ; Bruno Codenotti ; Filippo Geraci ; Marco Pellegrini
An Optimization Method for Agent's Bidding Strategy in TAC-SCM Game / Xiaoqin Zhang ; Soheil Sibdari ; Saban Singh
Concession Behaviour in Automated Negotiation / Fernando Lopes ; Helder Coelho
Bilateral Negotiation in a Multi-agent Supply Chain System
Recommender Systems 3
Receiving Recommendations and Providing Feedback: The User-Experience of a Recommender System / Bart P. Knijnenburg ; Martijn C. Willemsen ; Stefan Hirtbach
Comparing Techniques for Preference Relaxation: A Decision Theory Perspective / Maciej Dabrowski ; Thomas Acton
Detecting Leaders to Alleviate Latency in Recommender Systems / Ilham Esslimani ; Armelle Brun ; Anne Boyer
Invited Talk
Electronic Markets, a Look Behind the Curtains: How Can Semantic Matchmaking and Negotiation Boost E-Commerce?
Recommender Systems 4
Quantile Matrix Factorization for Collaborative Filtering / Alexandros Karatzoglou ; Markus Weimer
Partial Ranking of Products for Recommendation Systems / Sébastien Hémon ; Thomas Largillier ; Sylvain Peyronnet
Author Index
Recommender Systems 1
Resource Recommendation in Collaborative Tagging Applications / Jonathan Gemmell ; Thomas Schimoler ; Bamshad Mobasher ; Robin Burke
Combining Collaborative and Content-Based Techniques for Tag Recommendation / Cataldo Musto ; Fedelucio Narducci ; Pasquale Lops ; Marco de Gemmis
41.

電子ブック

EB
Ryohei Nakatsu, Philippe Codognet, Fazel Naghdy, Naoko Tosa, Kok Wai Wong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Multiple Format Search and Rescue Robot as a Competitive Arena(Invited Paper) / Andrew Chiou
An On-Line Classification Approach of Visitors' Movements in 3D Virtual Museums / Kingkarn Sookhanaphibarn ; Ruck Thawonmas
A Machine That Daydreams / Graham A. Mann
Cluster Analysis for Personalised Mobile Entertainment Content / Worapat Paireekreng ; Kok Wai Wong ; Chun Che Fung
Auto-explanation System: Player Satisfaction in Strategy-Based Board Games
Comparing Binarisation Techniques for the Processing of Ancient Manuscripts / Rapeeporn Chamchong
Complex Game Design Modeling / Viknashvaran Narayanasamy ; Shri Rai
Haptic Carillon: A Computationally Enhanced Mechanical Performing Instrument / Mark Havryliv ; Fazel Naghdy ; Greg Schiemer ; Timothy Hurd
3D Geometric and Haptic Modeling of Hand-Woven Textile Artifacts / Hooman Shidanshidi ; Golshah Naghdy ; Diana Wood Conroy
Pocket Gamelan: Realizations of a Microtonal Composition on a LinuxPhone Using Open Source Music Synthesis Software / Etienne Deleflie ; Eva Cheng
Creating Memory: Reading a Patching Language / Michael Barkl
The Promise of Fuzzy Logic in Generalised Music Composition / Wendy Suiter
Structuralism, Attitude and the Computer: Questioning the Notion of "Cultural Computing" / Warren Burt
Looking for Culture in Video Games: Three Conceptual Approaches / James K. Scarborough
Supporting Multiple Perspectives on 3D Museum Artefacts through Interoperable Annotations / Jane Hunter ; Chih-hao Yu
Interactivity in Games : The Player's Engagement / Stétphane Natkin
Co-production and Co-creation: Creative Practice in Social Inclusion / Atau Tanaka ; Lalya Gaye ; Ranald Richardson
Opening the Can: Public Interaction with Ready-Made Contents / Shlomo Dubnov ; Philippe Codognet
Cultural Computing - How to Investigate a Form of Unconscious User Experiences in Mixed Realities / Matthias Rauterberg ; Jun Hu ; Geert Langereis
Emotions as a Communication Medium between the Unconscious and the Conscious
Emotional Expression of Korean Dance Assisted by a Virtual Environment System / Taeyoung Uhm ; Hanhoon Park ; Mi-Hee Lee ; Un-Mi Kim ; Jong-Il Park
Machine-Made Puzzles and Hand-Made Puzzles / Hiroshi Higashida
Cultural Computing - Creative Power Integrating Culture, Unconsciousness and Software / Naoko Tosa
Entertainment and Its Future / Ryohei Nakatsu
Author Index
Multiple Format Search and Rescue Robot as a Competitive Arena(Invited Paper) / Andrew Chiou
An On-Line Classification Approach of Visitors' Movements in 3D Virtual Museums / Kingkarn Sookhanaphibarn ; Ruck Thawonmas
A Machine That Daydreams / Graham A. Mann
42.

電子ブック

EB
Peter Forbrig, Annelise Mark Pejtersen, Fabio Patern?, Fabio Patern?
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
The Power and the Puzzles of Auditory Interfaces / Penelope M. Sanderson
Specification and Modeling
Improving the Search for User Interface Design Patterns through Typed Relationships / Jordan Janeiro ; Simone D.J. Barbosa ; Thomas Springer ; Alexander Schill
Contributions of Psychology to the Design of Diagnostic Decision Support Systems / Gitte Lindgaard ; Janette Folkens ; Catherine Pyper ; Monique Frize ; Robin Walker
A Compostite Task Meta-model as a Reference Model / Steve Goschnick ; Liz Sonenberg ; Sandrine Balbo
Future Dining Table: Dish Recommendation Based on Dining Activity Recognition / Tomoo Inoue
User-Centered Development
Developing a User-Centered Mobile Service Interface Based on a Cognitive Model of Attention Allocation / Julia Niemann ; Volker Presse ; Jessika Reissland ; Anja Naumann
Structured Digital Storytelling for Eliciting Software Requirements in the ICT4D Domain (Short Presentation) / Daniel Sinnig ; Kristina Pitula ; Richard Becker ; T. Radhakrishnan ; Peter Forbrig
Experiencing User-Centered Design (UCD) Practice (Case Study: Interactive Route Navigation Map of Bangkok Underground and Sky Train) (Short Presentation) / Waralak Vongdoiwang Siricharoen
Development of Wearable Device by Kid's Friendly Design for Kid's Safety (Short Presentation) / SeungHee Lee ; Jahee Sohn ; Atsushi Usami ; Masatoshi Hamanaka
Usable Systems
Towards a Usability Coaching Method for Institutionalizing Usability in Organisations / Ã…sa Cajander ; Elina Eriksson ; Jan Gulliksen
The Focus on Usability in Testing Practices in Industry / Marta Kristin Larusdottir ; Emma Run Bjarnadottir
Added Value of Eye Tracking in Usability Studies: Expert and Non-expert Participants / Marco C. Pretorius ; Judy van Biljon ; Estelle de Kock
Supporting the Spreadsheet Idea for Interactive Database Applications / Mario Gleichmann ; Thomas Hasart ; Ilvio Bruder
Social and Cultural Problems
What Is Culture? Toward Common Understandings of Culture in HCI / Anette Löfstrom
Personalized Support, Guidance, and Feedback by Embedded Assessment and Reasoning: What We Can Learn from Educational Computer Games / Michael D. Kickmeier-Rust ; Dietrich Albert
Investigating Sociability and Affective Responses of Elderly Users through Digitally-Mediated Exercises: A Case of the Nintendo Wii / Yin-Leng Theng ; Pei Foon Teo ; Phuong Huynh Truc
Acquaintances Clustering for Social Relationship-Based Indexing of Digital Photos / Jonghak Kim ; Taekwon Jang ; Joonhyuk Yang ; Jung-hee Ryu
Mobile and Web Applications
Generating Exploratory Search Interfaces for the Semantic Web / Michal Tvarozek ; Mária Bieliková
Can Adaptive Interfaces Improve the Usability of Mobile Applications? / Janet L. Wesson ; Akash Singh ; Bradley van Tonder
Video Game Design for Mobile Phones / Jaime Sánchez ; Matías Espinoza
Epistemology, Emotions and Personalization
EPISOSE: An Epistemology-Based Social Search Framework for Exploratory Information Seeking / Yuqing Mao ; Haifeng Shen ; Chengzheng Sun
Artificial Emotion Generation Based on Personality, Mood, and Emotion for Life-Like Facial Expressions of Robots / Jeong Woo Park ; Woo Hyun Kim ; Won Hyong Lee ; Myung Jin Chung
Human Error Categorization: An Extension to Classical Proposals Applied to Electrical Systems Operations (Short Presentation) / Daniel Scherer ; Maria de Fátima Q. Vieira ; Josá Alves do N. Neto
Exploring the Influence of Cultural Diversity in Collaborative Design Teams: Preliminary Findings (Short Presentation) / Vivian Hsueh-Hua Chen ; Henry Been-Lirn Duh
Theoretical Model of User Acceptance: In the View of Measuring Success in Web Personalization (Short Presentation) / Mohd Afandi Md Amin ; Richi Nayak
Posters
An Approach to Information Presentation Employing Game Principles and Physics Based Interaction / Michal Lohnický ; Daniel Švonava
Exploration in 3D Multimodal Virtual Environment for Nonvisual Spatial Recognition / Ying Ying Huang
Experiments with Adaptable Interfaces for Elderly People / Norbert Kuhn ; Stefan Richter ; Michael Schmidt ; Andreas Truar ; Markus Schwinn ; Stefan Naumann ; Markus Dick
The Practice of Interaction Design / Ann Lantz
Artefacts as a Cultural and Collaborative Probe in Interaction Design / Arminda Lopes
An Easy to Use Augmented Reality Authoring Tool for Use in Examination Purpose / Ming-Jen Wang ; Chien-Hao Tseng ; Cherng-Yeu Shen
From Microsoft Word 2003 to Microsoft Word 2007: Design Heuristics, Design Flaws and Lessons Learnt / Eng Kiat Ting ; Xuehong Tao
The Effect of Age, Gender and Previous Gaming Experience on Game Play Performance / Mona Erfani ; Magy Seif El-Nasr ; David Milam ; Bardia Aghabeigi ; Beth Aileen Lameman ; Bernhard E. Riecke ; Hamid Maygoli ; Sang Mah
New Attitude to Learning in Virtual Environments - Mining Physiological Data for Automated Feedback / Zdena Lustigova ; Aude Dufresne ; François Courtemanche
Personalized Sightseeing Tours Support Using Mobile Devices / Ricardo Anacleto ; Nuno Luz ; Lino Figueiredo
Reaction on a Change of User Context in Complex Mobile User Adaptive System / Ondrej Krejcar
Augmented Reality for Deaf Students: Can Mobile Devices Make it Possible? / Becky Sue Parton ; Robert Hancock ; John Dawson
Author Index
Keynote
The Power and the Puzzles of Auditory Interfaces / Penelope M. Sanderson
Specification and Modeling
43.

電子ブック

EB
Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Opening and Keynote
Safety, Efficiency and Autonomy-Mastering Conflicting Trends in Embedded Systems Design / Rolf Ernst
Specification and Modeling
Rialto 2.0: A Language for Heterogeneous Computations / Johan Lilius ; Andreas Dahlin ; Lionel Morel
Scenario-Based Modeling in Industrial Information Systems / Ricardo J. Machado ; João M. Fernandes ; João P. Barros ; Luís Gomes
An Entirely Model-Based Framework for Hardware Design and Simulation / Safouan Taha ; Ansgar Radermacher ; Sébastien Gérard
Extending the Standard Execution Model of UML for Real-Time Systems / Abderraouf Benyahia ; Arnaud Cuccuru ; François Terrier ; Frédéric Boulanger
Fault Tolerance
Task Migration for Fault-Tolerant FlexRay Networks / Kay Klobedanz ; Gilles B. Defo ; Henning Zabel ; Wolfgang Mueller ; Yuan Zhi
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems / Luís Nogueira ; Luís Miguel Pinho ; Jorge Coelho
Verification and Validation
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems / Alexander Bol ; Alexander Krupp ; Ola Lundkvist
Model Checking of Concurrent Algorithms: From Java to C / Cyrille Artho ; Masami Hagiya ; Watcharin Leungwattanakit ; Yoshinori Tanabe ; Mitsuharu Yamamoto
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services / Sufyan Samara ; Yuhong Zhao ; Franz J. Rammig
Efficient Mutation-Analysis Coverage for Constrained Random Verification / Tao Xie ; Florian Letombe
Code-Generation, Simulation and Timing Analysis
Generating VHDL Source Code from UML Models of Embedded Systems / Tomás G. Moreira ; Marco A. Wehrmeister ; Carlos E. Pereira ; Jean-François Pétin ; Eric Levrat
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors / Roshan Ragel ; Angelo Ambrose ; Jorgen Peddersen ; Sri Parameswaran
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement / Markus Becker
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems / Steffen Kollmann ; Victor Pollex ; Frank Slomka
Distributed Architectures and Design Support
Dependency-Driven Distribution of Synchronous Programs / Daniel Baudisch ; Jens Brandt ; Klaus Schneider
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC / Philipp A. Hartmann ; Kim Grüttner ; Achim Rettberg ; Ina Podolski
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems / Frédéric Fauberteau ; Serge Midonnet ; Laurent George
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems / Claudius Stern ; Philipp Adelt ; Matthias Schmitz
Biologically-Inspired Collaborative Computing (BICC 2010)
Ants and Adaptive Systems / Peter Lindsay ; Mike Hinchey ; Jon Timmis
Model Checking the Ant Colony Optimisation / Lucio Mauro Duarte ; Luciano Foss ; Flávio Rech Wagner ; Tales Heimfarth
Feature Selection for Classification Using an Ant System Approach / Nadia Abd-Alsabour
Novelty-Aware Attack Recognition-Intrusion Detection with Organic Computing Techniques / Dominik Fisch ; Ferdinand Kastl ; Bernhard Sick
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms / Wenjing Zhao ; Jiangjun Tang ; Sameer Alam ; Axel Bender ; Hussein A. Abbass
Learning Classifier Systems and Collaborative Systems
A Collaborative Decision Support Model for Marine Safety and Security Operations / Uwe Glässer ; Piper Jackson ; Ali Khalili Araghi ; Hans Wehn ; Hamed Yaghoubi Shahir
Combining Software and Hardware LCS for Lightweight On-Chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel
Collaborating and Learning Predators on a Pursuit Scenario / Nugroho Fredivianus ; Urban Richter ; Hartmut Schmeck
SelSta-A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking / Bojan Jakimovski ; Michael Kotke ; Martin Hörenz ; Erik Maehle
Author Index
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Opening and Keynote
44.

電子ブック

EB
Cristian S. Calude, Vladimiro Sassone
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Convexity, Duality and Effects (Invited Talk) / Bart Jacobs
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks (Invited Talk) / Lucia Gallina ; Sabina Rossi
The Coarsest Precongruences Respecting Safety and Liveness Properties (Invited Talk) / Robert Jan van Glabbeek
Entropy and Attack Models in Information Flow (Invited Talk) / Mário S. Alvim ; Miguel E. Andrés ; Catuscia Palamidessi
Safe Equivalences for Security Properties / Peter van Rossum
On Probabilistic Alternating Simulations / Chenyi Zhang ; Jun Pang
Probabilistic Mobility Models for Mobile and Wireless Networks / Lei Song ; Jens Chr. Godskesen
On Packing Splittable Items with Cardinality Constraints / Fouad B. Chedid
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility / Arnaud Casteigts ; Paola Flocchini ; Bernard Mans ; Nicola Santoro
Slicing Behavior Tree Models for Verification / Nisansala Yatapanage ; Kirsten Winter ; Saad Zafar
Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction / Darko Brodic
Online Dictionary Matching for Streams of XML Documents / Panu Silvasti ; Seppo Sippu ; Eljas Soisalon-Soininen
The Duality of Computation under Focus / Pierre-Louis Curien ; Guillaume Munch-Maccagnoni
Polarized Resolution Modulo / Gilles Dowek
A Logic on Subobjects and Recognizability / H.J. Sander Bruggink ; Barbara Krönig
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles / Mark Kaminski ; Gert Smolka
Proof System for Applied Pi Calculus / Jia Liu ; Huimin Lin
Concurrent Pattern Calculus / Thomas Given-Wilson ; Daniele Gorla ; Barry Jay
Initial Segment Complexities of Randomness Notions / Rupert Hölzl ; Thorsten Kräling ; Frank Stephan ; Guohua Wu
On Symbolic Representations of Maximum Matchings and (Un) directed Graphs / Sibylle Schwarz ; Ludwig Staiger ; Beate Bollig
Traceable Sets / Wolfgang Merkle
Approximating the Non-contiguous Multiple Organization Packing Problem / Marin Bougeret ; Pierre Francois Dutot ; Klaus Jansen ; Christina Otte ; Denis Trystram
Improving the Competitive Ratios of the Seat Reservation Problem / Shuichi Miyazaki ; Kazuya Okamoto
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis / Michele Boreale ; David Clark
A Game-Theoretic Approach to Routing under Adversarial Conditions / James Gross ; Frank G. Radmacher ; Wolfgang Thomas
An Operational Model for Multiprocessors with Caches / Salil Joshi ; Sanjiva Prasad
Author Index
Convexity, Duality and Effects (Invited Talk) / Bart Jacobs
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks (Invited Talk) / Lucia Gallina ; Sabina Rossi
The Coarsest Precongruences Respecting Safety and Liveness Properties (Invited Talk) / Robert Jan van Glabbeek
45.

電子ブック

EB
Kai Rannenberg, Vijay Varadharajan, Christian Weber
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Kristian Beckman Award Awardee Keynote
The 5 Waves of Information Security - From Kristian Beckman to the Present / S.H. (Basie) von Solms
Security Management
A Business Continuity Management Simulator / William J. Caelli ; Lam-For Kwok ; Dennis Longley
Mining Business-Relevant RBAC States through Decomposition / Alessandro Colantonio ; Roberto Di Pietro ; Alberto Ocello ; Nino Vincenzo Verde
Group Dynamics in a Security Risk Management Team Context: A Teaching Case Study / Rostyslav Barabanov ; Stewart Kowalski
Security Management & Governance
Using Actor Network Theory to Understand Information Security Management / Karin Hedström ; Gurpreet Dhillon ; Fredrik Karlsson
Information Security Governance: When Compliance Becomes More Important than Security / Terence C.C. Tan ; Anthonie B. Ruighaver ; Atif Ahmad
Network Security & Authentication
Understanding Domain Registration Abuses / Scott E. Coull ; Andrew M. White ; Ting-Fang Yen ; Fabian Monrose ; Michael K. Reiter
Who on Earth Is "Mr. Cypher": Automated Friend Injection Attacks on Social Networking Sites / Markus Huber ; Martin Mulazzani ; Edgar Weippl
Authentic Refinement of Semantically Enhanced Policies in Pervasive Systems / Julian Schütte ; Nicolai Kuntze ; Andreas Fuchs ; Atta Badii
Qualified Mobile Server Signature / Clemens Orthacker ; Martin Centner ; Christian Kittl
Intrusion Detection, Trust Management, and Models
Fraud Detection in ERP Systems Using Scenario Matching / Asadul Khandoker Islam ; Malcom Corney ; George Mohay ; Andrew Clark ; Shane Bracher ; Tobias Raub ; Ulrich Flegel
Use of IP Addresses for High Rate Flooding Attack Detection / Ejaz Ahmed ; Alan Tickle ; Sajal Bhatia
Augmenting Reputation-Based Trust Metrics with Rumor-Like Dissemination of Reputation Information / Sascha Hauke ; Martin Pyka ; Markus Borschbach ; Dominik Heider
Ex-SDF; An Extended Service Dependency Framework for Intrusion Impact Assessment / Nizar Kheir ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Hervé Debar
Software Security and Assurance
A Dynamic and Ubiquitous Smart Card Security Assurance and Validation Mechanism / Raja Naeem Akram ; Konstantinos Markantonakis ; Keith Mayes
On-the-fly Inlining of Dynamic Security Monitors / Jonas Magazinius ; Alejandro Russo ; Andrei Sabelfeld
A Metric-Based Scheme for Evaluating Tamper Resistant Software Systems / Gideon Mylesc ; Hongxia Jin
Evaluation of the Offensive Approach in Information Security Education / Martin Mink ; Rainer Greifeneder
Panel
Research Methodologies in Information Security Research: The Road Ahead / Johan F. van Niekerk ; Rossouw von Solms
Access Control and Privacy
Purpose-Based Access Control Policies and Conflicting Analysis / Hua Wang ; Lili Sun ; Vijay Varadharajan
Delegation in Predicate Encryption Supporting Disjunctive Queries / Dongdong Sun ; Colin Boyd ; Juan Manuel González Nieto
Tagging Disclosures of Personal Data to Third Parties to Preserve Privacy / Sven Wohlgemuth ; Isao Echizen ; Noboru Sonehara ; Günter Müller
k-Shares: A Privacy Preserving Reputation Protocol for Decentralized Environments / Omar Hasan ; Lionel Brunie ; Elisa Bertino
Privacy
Towards Fair Indictment for Data Collection with Self-Enforcing Privacy / Mark Stegelmann
How to Enhance Privacy and Identity Management for Mobile Communities: Approach and User Driven Concepts of the PICOS Project / Christian Kahl ; Katja Böttcher ; Markus Tschersich ; Stephan Heim ; Kai Rannenberg
Performance Analysis of Accumulator-Based Revocation Mechanisms / Jorn Lapon ; Markulf Kohlweiss ; Bart De Decker ; Vincent Naessens
Appendix
IFIP Technical Committee 11 Security and Privacy Protection in Information Processing Systems / Leon Strous
Author Index
Kristian Beckman Award Awardee Keynote
The 5 Waves of Information Security - From Kristian Beckman to the Present / S.H. (Basie) von Solms
Security Management
46.

電子ブック

EB
Max Bramer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Agents / Part I:
Ecologically Rational Agency / John Debenham ; Carles Sierra
Involving the Human User in the Control Architecture of an Autonomous Agent / Roberto Micalizio ; Giancarlo Nuzzolo ; Enrico Scala ; Pietro Torasso
Knowledge Acquisition / Part II:
Exer-Learning Games: Transferring Hopscotch from the Schoolyard to the Classroom / Martina Lucht ; Steffi Domagk ; Martin Mohring
Social Relationships as a Means for Identifying an Individual in Large Information Spaces / Katarína Kostková ; Michal Barla ; Mária Bieliková
Data Mining and Machine Learning / Part III:
J-PMCRI: A Methodology for Inducing Pre-pruned Modular Classification Rules / Frederic Stahl ; Max Bramer ; Mo Adda
Enhancement of Infrequent Purchased Product Recommendation Using Data Mining Techniques / Noraswaliza Abdullah ; Yue Xu ; Shlomo Geva ; Mark Looi
A Machine Learning Approach to Predicting Winning Patterns in Track Cycling Omnium / Bahadorreza Ofoghi ; John Zeleznikow ; Clare MacMahon ; Dan Dwyer
Neural Nets and Fuzzy Logic / Part IV:
Learning Motor Control by Dancing YMCA / Rikke Amilde Løvlid
Analysis and Comparison of Probability Transformations for Fusing Sensors with Uncertain Detection Performance / Edwin El-Mahassni ; Samuel Davey ; Jonathan Legg
Case-Based Reasoning/Planning and Scheduling / Part V:
A Case-Based Approach to Business Process Monitoring / Stefania Montani ; Giorgio Leonardi
A Survey on the Dynamic Scheduling Problem in Astronomical Observations / Matias Mora ; Mauricio Solar
Intelligent Systems Engineering / Part VI:
Combining Determinism and Intuition through Univariate Decision Strategies for Target Detection from Multi-sensors
A UML Profile Oriented to the Requirements Modeling in Intelligent Tutoring Systems Projects / Gilleanes Thorwald Araujo Guedes ; Rosa Maria Vicari
Learning by Collaboration in Intelligent Autonomous Systems / Jorge Ierache ; Ramón García-Martínez ; Armando De Giusti
AI Techniques / Part VII:
Context-Based Probabilistic Scene Interpretation / Bernd Neumann ; Kasim Terzic
Full Text Search Engine as Scalable K-Nearest Neighbor Recommendation System / Ján Suchal ; Pavol Návrat
Developing Intelligent Environments with OSGi and JADE / Davide Carneiro ; Paulo Novais ; Ricardo Costa ; José Neves
AI Applications / Part VIII:
Bee Hive at Work: Following a Developing Story on the Web / Pavol Navrat ; Anna Bou Ezzeddine
Computer-Aided Estimation for the Risk of Development of Gastric Cancer by Image Processing / Yoshihiro Sasaki ; Ryukichi Hada ; Tetsuro Yoshimura ; Norihiro Hanabata ; Tatsuya Mikami ; Shinsaku Fukuda
Intelligent Hybrid Architecture for Tourism Services / Ana Almeida ; Bruno Coelho ; Constantino Martins
Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System / T. Vicovac ; A. Reiterer ; U. Egly ; T. Eiter ; D. Rieke-Zapp
Short Papers / Part IX:
Workflows Recognition through Multi Agents in Surveillance Systems / Manolis Sardis ; Vasilis Anagnostopoulos ; Theodora Varvarigou
Speaker Verification System Using a Hierarchical Adaptive Network-Based Fuzzy Inference Systems (HANFIS) / Zohreh Soozanchi-K. ; Mohammad-R. Akbarzadeh-T ; Mahdi Yaghoobi ; Saeed Rahati
Case-Based Decision Support in Time Dependent Medical Domains
Solving the Capacitated Vehicle Routing Problem and the Split Delivery Using GRASP Metaheuristic / Joseph Gallart Suárez ; Manuel Tupia Anticona
Author Index
Agents / Part I:
Ecologically Rational Agency / John Debenham ; Carles Sierra
Involving the Human User in the Control Architecture of an Autonomous Agent / Roberto Micalizio ; Giancarlo Nuzzolo ; Enrico Scala ; Pietro Torasso
47.

電子ブック

EB
Marijn Janssen, Winfried Lamersdorf, Jan Pries-Heje, Michael Rosemann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
E-Government and E-Services (EGES) / Part 1:
Preface / Marijn Janssen ; Winfried Lamersdorf ; Lalit Sawhney ; Leon Strous
Interoperability / EGES Session 1:
Narrowing the Gap between Open Standards Policy and Practice: The Dutch E-Government Experience / Rutger Lammers ; Erwin Folmer ; Michel Ehrenhard
Providing Adaptive and Evolving Government E-Services through Citizen-Centric Process Views / Balázs Simon ; Zoltán László ; Balázs Goldschmidt ; Károly Kondorosi ; Péter Risztics ; László Bacsa ; Gustav Aagesen ; John Krogstie
Participation / EGES Session 2:
Hands-On Guideline for E-Participation Initiatives / Sabrina Scherer ; Maria A. Wimmer ; Stefan Ventzke
Virtual Communities as a Mechanism for Sustainable Coordination within the South African Public Sector / Godwin Thomas ; Reinhardt A. Botha
Adoption and Diffusion / EGES Session 3:
Examining the Role of the Culture of Local Government on Adoption and Use of E-Government Services / Nurdin Nurdin ; Rosemary Stockdale ; Helana Scheepers
Diffusing the Ubuntu Philosophy into E-Government: A South African Perspective / Hossana Twinomurinzi ; Jackie Phahlamohlaka ; Elaine Byrne
Back-End Transformation / EGES Session 4:
Transformative and Innovative E-Gov for the Next Generation: Linkages of Back Offices for One-Stop Portal / Osamu Sudoh ; Yumiko Kinoshita
The Influence of Resource Dependency Tolerance on Inter-organisational Alliance Governance / Mark Borman
Content Management Implemented as Shared Service: A Public Sector Case Study / Anton Joha
New Applications / EGES Session 5:
Process Modeling Semantics for Complex Business Environments / Igor T. Hawryszkiewycz
A Role-Involved Conditional Purpose-Based Access Control Model / Md. Enamul Kabir ; Hua Wang ; Elisa Bertino
Global Information Systems Processes (GISP) / Part 2:
Global Case Studies on Process Design Issues / Jan Pries-Heje ; Michael RosemannGISP Session 1:
Process Model of Customer-Centric E-Government Enabled Service Transformation: Insights from MINDEF'S Portal Implementation Experience / Satish Krishnan ; Barney C.C. Tan ; Shan L. Pan
User's Satisfaction of Kuwait E-Government Portal: Organization of Information in Particular / Huda R. Farhan ; Mark Sanderson
ICT-Based Improvement of Construction Procurement Process / Olli Martikainen ; Raija Halonen ; Valeriy Naumov
The Case for Improvisation in Information Security Risk Management / Kennedy Njenga ; Irwin Brown
Globalized Process Design / GISP Session 2:
BPM-in-the-Large-Towards a Higher Level of Abstraction in Business Process Management / Constantin Houy ; Peter Fettke ; Peter Loos ; Wil M.P. van der Aalst
When Global Process Fails: A Grounded Theory Study of a Case from Agile Engagement to Compulsive Outsourcing / Magnus Hansen ; Sofia Bergbäck Knudsen
Author Index
E-Government and E-Services (EGES) / Part 1:
Preface / Marijn Janssen ; Winfried Lamersdorf ; Lalit Sawhney ; Leon Strous
Interoperability / EGES Session 1:
48.

電子ブック

EB
Nicholas Reynolds, M?rta Turcs?nyi-Szab?, M?rta Turcs?nyi-Szab?
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Use of ICT to Assist Students with Learning Difficulties: An Actor-Network Analysis / Tas Adam ; Arthur Tatnall
Use of Graph2Go in M-Learning: A View from the Pedagogical Model / Silvia Batista ; Patricia Behar ; Liliana Passerino
ICT in Teacher Education: Developing Key Competencies in Face-to-Face and Distance Learning / Ana A. Carvalho
Recommendation of Learning Objects Applying Collaborative Filtering and Competencies / Sílvio César Cazella ; Eliseo Berni Reategui ; Patrícia Behar
Teaching Practice from the Perspective of ICT Student Teachers at the Faculty of Education, Charles University in Prague / Miroslava Cernochová
Intentions to Pursue a Career in Information Systems and Technology: An Empirical Study of South African Students / Jason F. Cohen ; Poonam Parsotam
From Context to Competencies / Ira Diethelm ; Christina Dörge
Competencies and Skills: Filling Old Skins with New Wine
Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration / Gitta Domik ; Gerhard Fischer
Getting Granular on Twitter: Tweets from a Conference and their Limited Usefulness for Non-participants / Martin Ebner ; Herbert Mühlburger ; Sandra Schaffert ; Mandy Schiefner ; Wolfgang Reinhardt ; Steve Wheeler
Beyond Pedagogical Content Knowledge: The Importance of TPACK for Informing Preservice Teacher Education in Australia / Glenn Finger ; Romina Jamieson-Proctor ; Peter Albion
eExaminations Development and Acceptance / Andrew E. Fluck
Grundtvig Partnership Case Study 2009-2011 LifeLong Learning for Active Citizenship and Capacity Building LLLab / Anna Grabowska
A Theoretical Framework to Foster Digital Literacy: The Case of Digital Learning Resources / Said Hadjerrouit
Conditions for Successful Learning of Programming Skills / Jaana Holvikivi
Assessment of Knowledge and Competencies in 3D Virtual Worlds: A Proposal / María Blanca Ibáñez ; Raquel M. Crespo ; Carlos Delgado Kloos
IP3-Progress towards a Global ICT Profession / Roger G. Johnson
A Teacher's Perspective of Interacting with Long-Term Absent Students through Digital Communications Technologies / Anthony Jones ; Karina Wilkie
University as an Environment for Shaping Key Teachers' Competence for Knowledge Society / Barbara Kedzierska
Are Wikis and Weblogs an Appropriate Approach to Foster Collaboration, Reflection and Students' Motivation? / Mathias Krebs ; Christian Schmidt ; Michael Henninger ; Mathias Ludwig ; Wolfgang Müller
Digital Literacy: A Vital Competence for 2010? / Denise Leahy ; Dudley Dolan
Informatics Systems and Modelling - Case Studies of Expert Interviews / Leopold Lehner ; Johannes Magenheim ; Wolfgang Nelles ; Thomas Rhode ; Niclas Schaper ; Sigrid Schubert ; Peer Stechert
In Search of the Affective Subject Interacting in the ROODA Virtual Learning Environment / Magalí Teresinha Longhi ; Patricia Alejandra Behar ; Magda Bercht
Learning under Uncertainty: A Grounded Theory Study / Eurico Lopes
Integration of a Video Annotation Tool into a Coactive Learning and Working Environment / Alexander Roth ; Mathias Moi ; Dieter Engbring
Application of the Multiple Perspectives Model in an Undergraduate Course / Célio Gonçalo Marques ; Ana Amélia A. Carvalho
Mobile Learning: Using SMS in Educational Contexts / Adelina Moura
Making Computer Learning Easier for Older Adults: A Community Study of Tuition Practices / Michael Nycyk ; Margaret Redsell
The Paradox of More Flexibility in Education: Better Control of Educational Activities as a Prerequisite for More Flexibility / Henk Plessius ; Pascal Ravesteyn
Design and Implementation of Business Process Management Curriculum: A Case in Dutch Higher Education / Johan Versendaal
All I Need to Know about Twitter in Education I Learned in Kindergarten
Technology and Computers in Music and Music Education / Nicholas Reynolds
Collaborative Research Training Based on Virtual Spaces / Darío Rodríguez ; Rodolfo Bertone ; Ramón García-Martínez
The Human Development Process and Informatics Education in the 21st Century / Toshinori Saito
More for Less - Live Systems Learning / Andy Schaer
ALEF: A Framework for Adaptive Web-Based Learning 2.0 / Marián Šimko ; Michal Barla ; Mária Bieliková
Design and Development of Virtual Learning Environment Using Open Source Virtual World Technology / Steven Suman ; Ardavan Amini ; Bruce Elson ; Patricia Reynolds
Educational Management Challenges for the 21st Century / Ferran Ruiz Tarragó ; Ann Elizabeth Wilson
Supporting Productive Integration of Web 2.0-Mediated Collaboration / Mun Fie Tsoi
Evaluating the Cisco Networking Academy Program's Instructional Model against Bloom's Taxonomy for the Purpose of Information Security Education for Organizational End-Users / Johan F. van Niekerk ; Kerry-Lynn Thomson
T'aint What You Do (It's the Way That You Do It): ICT and Creativity in the Primary School Classroom / Mary Welsh ; Rae Condie
Need for the Intercultural Awareness in Erasmus Mobility - Administrative Point of View / Tatjana Welzer ; Marjan Druzovec ; Marko Hölbl ; Mirjam Bonacic
Home Access: Providing Computers to Families via a National Strategy / Nicola Yelland ; Greg Neal ; Eva Dakich
Working with Wikis: Collaborative Writing in the 21st Century / Katina Zammit
Author Index
Use of ICT to Assist Students with Learning Difficulties: An Actor-Network Analysis / Tas Adam ; Arthur Tatnall
Use of Graph2Go in M-Learning: A View from the Pedagogical Model / Silvia Batista ; Patricia Behar ; Liliana Passerino
ICT in Teacher Education: Developing Key Competencies in Face-to-Face and Distance Learning / Ana A. Carvalho
49.

電子ブック

EB
Will van der Aalst, Julia Kotlarsky, John Mylopoulos, Ilan Oshri
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Strategic Orientation in the Globalization of Software Firms / Jason Dedrick ; Kenneth L. Kraemer ; Erran Carmel ; Debora Dunkle
Strategic Sourcing of R&D: The Determinants of Success / Jacques W. Brook ; Albert Plugge
Exploring the Media Mix during IT-Offshore Project / Erik Wende ; Gerhard Schwabe ; Tom Philip
Parallel Transitions in IT Outsourcing: Making it Happen / Erik Beulen ; Vinay Tiwari
Management of Globally Distributed Software Development Projects in Multiple-Vendor Constellations / Katharina Schott ; Roman Beck ; Robert Wayne Gregory
Knowledge Integration in Global R&D Networks / Rose Erkelens ; Bart van den Hooff ; Paul Vlaar ; Marleen Huysman
Portfolios of Control: Researching Discourses in IT Outsourcing / Eleni Lioliou ; Leslie Willcocks
Governance of Offshore IT Outsourcing at Shell Global Functions IT-BAM Development and Application of a Governance Framework to Improve Outsourcing Relationships / Floor de Jong ; Jos van Hillegersberg ; Pascal van Eck ; Feiko van der Kolk ; Rene Jorissen
Software-as-a-Service Vendors: Are They Ready to Successfully Deliver? / Tsipi Heart ; Noa Shamir Tsur ; Nava Pliskin
Evolving Relationship Structures in Multi-sourcing Arrangements: The Case of Mission Critical Outsourcing / Ilja Heitlager ; Remko Helms ; Sjaak Brinkkemper
Adaptability in IT Sourcing: The Impact of Switching Costs / Dwayne Whitten
The Role of Contracts and Informal Relations in the Governance of IT Outsourcing Processes / Giovanni Vaia ; Aurelio Tommasetti
Living Labs: Arbiters of Mid- and Ground-Level Innovation / Esteve Almirall ; Jonathan Wareham
Realising the Real Benefits of Outsourcing: Measurement Excellence and Its Importance in Achieving Long Term Value / Ilan Oshri ; Julia Kotlarsky
Author Index
Strategic Orientation in the Globalization of Software Firms / Jason Dedrick ; Kenneth L. Kraemer ; Erran Carmel ; Debora Dunkle
Strategic Sourcing of R&D: The Determinants of Success / Jacques W. Brook ; Albert Plugge
Exploring the Media Mix during IT-Offshore Project / Erik Wende ; Gerhard Schwabe ; Tom Philip
50.

電子ブック

EB
Ana Pont, Guy Pujolle, S. V. Raghavan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
WCITD 2010
Preface / Ana Pont
Semantic Clustering in Wireless Sensor Networks / Atslands Rego da Rocha ; Igor Leão dos Santos ; Luci Pirmez ; Flávia C. Delicato ; Danielo G. Gomes ; José Neuman de Souza
Wireless Mesh Networks for Infrastructure Deficient Areas / Laurie Butgereit ; Reinhardt A. Botha ; Roman Seibel ; Nils-Hendrik Klann ; Tim Waage ; Dieter Hogrefe
Establishing Low Cost Aquatic Monitoring Networks for Developing Countries / Jarrod Trevathan ; Ian Atkinson ; Wayne Read ; Ron Johnstone ; Nigel Bajema ; James McGeachin
Infrastructure and Business Model for Universal Broadband Access in Developing Regions: The Ceara State Digital Belt / Cid F. Gomes ; Fernando C. Gomes ; Marcial P. Fernandez
ICT Driven Knowledge Management in Developing Countries: A Case Study in a Chinese Organisation / Jin Tong ; Siraj A. Shaikh
Technical ICTD-A User Centered Lifecycle / Joerg Doerflinger ; Tom Gross
NF 2010
An Introduction to the Network of the Future / Guy Pujolle ; S. V. Raghavan
Future Internet Is by Ethernet / Marko Luoma ; Raimo Kantola ; Jukka Manner
On the Way to a Theory for Network Architectures / Thi-Mai-Trang Nguyen
Green Network Planning Model for Optical Backbones / Jose Gutierrez ; Tahir Riaz ; Michael Jensen ; Jens M. Pedersen ; Ole B. Madsen
Internet Sensor Grid: Experiences with Passive and Active Instruments / Peter Komisarczuk ; Ian Welch
Data-Driven MAC for Efficient Transmission of Spatially Correlated Data in WSNs / Nahdia Tabassum ; Guojun Lu
Leveraging Trusted Network Connect for Secure Connection of Mobile Devices to Corporate Networks / Kai-Oliver Detken ; Hervais Simo Fhom ; Richard Sethmann ; Günther Diederich
Open Flow and Xen-Based Virtual Network Migration / Pedro S. Pisa ; Natalia C. Fernandes ; Hugo E.T. Carvalho ; Marcelo D.D. Moreira ; Miguel Elias M. Campista ; Luís Henrique M.K. Costa ; Otto Carlos M.B. Duarte
Virtual Network Urbanization / Othmen Braham ; Ahmed Amamou
New Routing Paradigms for the Next Internet / Djame H. Sadok ; Luciana Pereira Oliveira ; Judith Kelner
End-to-End Performance Evaluation of Interconnected Optical Multi-ring Metropolitan Networks / Tülin Atmaca ; Tuan Dung Nguyen
A Relative Bandwidth Allocation Method Enabling Fast Convergence in XCP / Hanh Le Hieu ; Kenji Masui ; Katsuyoshi Iida
On the Interest of Introducing Randomness in Ad-Word Auctions / Patrick Maillé ; Bruno Tuffin
The Role and Future Challenges of Wireless Communication Networks for Cooperative Autonomous City Vehicles / Andrei Furda ; Laurent Bouraoui ; Michel Parent ; Ljubo Vlacic
Performance Analysis of User-Centric Network Selection and Network-Centric Resource Allocation Approaches in Wireless Networks / Sahin Albayrak ; Manzoor A. Khan ; Fikret Sivrikaya ; Ahmet C. Toker ; Cuong Troung
Author Index
WCITD 2010
Preface / Ana Pont
Semantic Clustering in Wireless Sensor Networks / Atslands Rego da Rocha ; Igor Leão dos Santos ; Luci Pirmez ; Flávia C. Delicato ; Danielo G. Gomes ; José Neuman de Souza
51.

電子ブック

EB
Jacques Berleur, Magda David Hercheui, Lorenz M. Hilty
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Human Choice and Computers International Conference (HCC9) / Part 1:
What Kind of Information Society? Introduction to the HCC9 Conference Proceedings / Jacques Berleur ; Magda David Hercheui ; Lorenz M. Hilty
Ethics and ICT Governance / Section 1:
The Demographic Factors Affecting University Students' Intention to Pirate Software / Diane Whitehouse ; Philippe Goujon ; Catherine Flick ; Linda Spark
ICT Governance versus Community Empowerment: Grassroots Evidence from Bangladesh / Mizanur Rahman
Exploring Digital Divide in the Maldives / Mohamed Shareef ; Adegboyega Ojo ; Tomasz Janowski
Balancing Public and Private Interests in ICT Standardisation: The Case of AVS in China / Junbin Su ; Vladislav V. Fomin
The European VCD System: Facilitating Public Procurement through Criteria-to-Evidence Mapping / Ansgar Mondorf ; Maria A. Wimmer
Money Laundering and FATF Compliance by the International Community / Ali Alkaabi ; George Mohay ; Adrian McCullagh ; Nicholas Chantler
Ethical Governance for Emerging ICT: Opening Cognitive Framing and Achieving Reflexivity
Virtual Technologies and Social Shaping / Section 2:
Making a Good (Virtual) First Impression: The Use of Visuals in Online Impression Management and Creating Identity Performances / David Kreps ; Erika Pearson
Virtuality Improves the Well Being of Seniors through Increasing Social Interaction / Oliver K. Burmeister
The Tragedy of the Virtual Commons as Manifested in the Death of Blogs / John Lenarcic ; Pradipta Sarkar
How to Measure Public Opinion in the Networked Age: Working in a Googleocracy or a Googlearchy? / Sean J. Westwood
A Multidiscipline Approach to Governing Virtual Property Theft in Virtual Worlds / Nicholas C. Patterson ; Michael Hobbs
Surveillance and Privacy / Section 3:
Trends of Privacy and Surveillance in the Information Society (Extended Abstract) / Yola Georgiadou ; Simone Fischer-Hübner ; Klaus Brunnstein
Civil Society Must Publish Standards Documents / Roger Clarke
Citizen Surveillance of the State: A Mirror for eGovernment? / Jeroen Verplanke ; Javier Martinez ; Gianluca Miscione ; David Coleman ; Abdishakur Awil Hassan
Privacy Enhanced Fraud Resistant Road Pricing (Extended Abstract) / Jaap-Henk Hoepman ; George Huitema
Privacy in Distributed Commercial Applications / Nicolai Kuntze ; Carsten Rudolph
ICT and Sustainable Development / Section 4:
ICT and the Environment in Developing Countries: A Review of Opportunities and Developments / John W. Houghton
A Model and Selected Instances of Green and Sustainable Software / Markus Dick ; Stefan Naumann ; Norbert Kuhn
Managing Energy Efficiency in Manufacturing Processes - Implementing Energy Performance in Production Information Technology Systems / Katharina Bunse ; Matthias Vodicka
A Reference Process to Design Information Systems for Sustainable Design Based on LCA, PSS, Social and Economic Aspects / Fabiana Soares Santana ; Claudio Barberato ; Antonio Mauro Saraiva
It Support for Sustainable Development in Organizations / Andreas Moeller ; Arno Rolf
Utilising the Internet to Improve Peasant Artisan Incomes: Evidence from Mexico / John Dobson ; Richard Duncombe ; Brian Nicholson
Critical Information Infrastructure Protection Conference (CIP 2010) / Part 2:
Society - Totally Dependent Upon ICT? Introduction to the CIP 2010 Conference Proceedings / William Caelli
C-SAW: Critical Information Infrastructure Protection through Simplification / Ian Ellefsen ; Sebastiaan von Solms
On Planning of FTTH Access Networks with and without Redundancy / M. Tahir Riaz ; Gustav H. Haraldsson ; Jose G. Lopaz ; Jens M. Pedersen ; Ole B. Madsen
A Distributed Denial of Service Testbed / Desmond Schmidt ; Suriadi Suriadi ; Alan Tickle ; Andrew Clark ; Ejaz Ahmed ; James Mackie
Discrete Event Simulation of Qos of a SCADA System Interconnecting a Power Grid and a Telco Network / Ester Ciancamerla ; Chiara Foglietta ; Davide Lefevre ; Michele Minichino ; Leonid Lev ; Yosi Shneck
Critical Infrastructure Protection Risk Modelling with Games Technology / Martin Masek ; Adrian Boeing ; William Bailey
Wireless Sensor Networks for the Protection of an Electrical Energy Distribution Infrastructure / António Grilo ; Augusto Casaca ; Mário Nunes ; Carlos Fortunato
Risk Modelling the Transition of SCADA System to IPv6 / Jason Smith ; Hasmukh Morarji
Author Index
Human Choice and Computers International Conference (HCC9) / Part 1:
What Kind of Information Society? Introduction to the HCC9 Conference Proceedings / Jacques Berleur ; Magda David Hercheui ; Lorenz M. Hilty
Ethics and ICT Governance / Section 1:
52.

電子ブック

EB
Peter Bernus, Guy Doumeingts, Mark Fox
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Architecting the Firm - Coherency and Consistency in Managing the Enterprise / Patrick Turner ; John Gøtze ; Peter Bernus
Defining Leadership as Process Reference Model: Translating Organizational Goals into Practice Using a Structured Leadership Approach / David Tuffley
Valuation of Procurement Flexibility in the Machinery and Equipment Industry Using the Real Option Approach / Alexander Kleinert ; Volker Stich
Business Capabilities Centric Enterprise Architecture / Thiago Barroero ; Gianmario Motta ; Giovanni Pignatelli
An Enterprise Architecture Approach towards Environmental Management / Ovidiu Noran
A Metamodel for Enterprise Architecture
Communication as a Crucial Element for Enterprise Architecture Management in Virtual Organization / Taivo Kangilaski
Semantic Harmonization for Seamless Networked Supply Chain Planning in the Future of Internet / Ricardo Jardim-Goncalves ; Joao Sarraipa ; Adolfo Steiger-Garcao
Learning Interoperability in Emerging Supply Networks / Georg Weichhart ; Matthias Neubauer ; Christian Stary
Research on Quality of Transaction Standards: The Maturity of a Research Topic / Erwin Folmer ; Wouter Berends ; Paul Oude Luttighuis ; Jos van Hillegersberg ; Rutger Lammers
Digital Business Ecosystem Tools as Interoperability Drivers / Miklós Herdon ; Mária Raffai ; Ádám Péntek ; Tünde Rózsa
XML in Enterprise Systems: Its Roles and Benefits / Jaroslav Pokorný
Software Interoperability Tools: Standardized Capability-Profiling Methodology ISO16100 / Michiko Matsuda ; Qian Wang
Value Added by Interoperable Information Systems in Spread Production Networks / Dirk Oedekoven ; Bojan Stah
Pragmatic Interoperability: A Systematic Review of Published Definitions / Camlon H. Asuncion ; Marten J. van Sinderen
Author Index
Architecting the Firm - Coherency and Consistency in Managing the Enterprise / Patrick Turner ; John Gøtze ; Peter Bernus
Defining Leadership as Process Reference Model: Translating Organizational Goals into Practice Using a Structured Leadership Approach / David Tuffley
Valuation of Procurement Flexibility in the Machinery and Equipment Industry Using the Real Option Approach / Alexander Kleinert ; Volker Stich
53.

電子ブック

EB
Hiroshi Takeda
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Updated Topics in Healthcare Informatics / Hiroshi Takeda
The HL7 RIM in the Design and Implementation of an Information System for Clinical Investigations on Medical Devices / Daniela Luzi ; Mariangela Contenti ; Fabrizio Pecoraro
Two Human-Centered Approaches to Health Informatics: Cognitive Systems Engineering and Usability / Tania Xiao ; Wendy Broxham ; Cara Stitzlein ; Jasmine Croll ; Penelope Sanderson
A Step towards Medical Ethics Modeling / Miguel Miranda ; José Machado ; António Abelha ; Gabriel Pontes ; José Neves
Overview of the Health Informatics Research Field: A Bibliometric Approach / Hai-Ning Liang
Testing for Usability Is Not Enough: Why Clinician Acceptance of Health Information Systems Is also Crucial for Successful Implementation
Towards Characteristics of Lifelong Health Records / Eldridge van der Westhuizen ; Dalenca Pottos
Physicians' Concept of Time Usage - A Key Concern in EPR Deployment / Rebecka Janols ; Bengt Göransson ; Erik Borälv ; Bengt Sandblad
Oshidori-Net: Connecting Regional EPR Systems to Achieve Secure Mutual Reference with Thin-Client Computing Technology / Shigeki Kuwata ; Koji Toda ; Kei Teramoto ; Hiroshi Kondoh ; Hiroshige Nakamura ; Hirohiko Murata ; Noriaki Tamura ; Masahide Ikeguchi
Information Security Sharing of Networked Medical Organizations: Case Study of Remote Diagnostic Imaging / Masayo Fujimoto ; Koji Takeda ; Tae Honma ; Toshiaki Kawazoe ; Noriko Aida ; Hiroaki Hagiwara ; Hideharu Sugimoto
A Secure Framework and Related Protocols for Ubiquitous Access to Electronic Health Records Using Java SIM Cards / Reza Hassanzadeh ; Tony Sahama ; Colin Fidge
Capturing and Analyzing Injection Processes with Point of Act System for Improving Quality and Productivity of Health Service Administration / Atsushi Koshio ; Masanori Akiyama
Analysis on Data Captured by the Barcode Medication Administration System with PDA for Reducing Medical Error at Point of Care in Japanese Red Cross Kochi Hospital / Nobuyuki Kaihotsu
Blended Clustering for Health Data Mining / Arshad Muhammad Mehar ; Anthony Maeder ; Kenan Matawie ; Athula Ginige
Flexible Genome Retrieval for Supporting In-Silico Studies of Endobacteria-AMFs / S. Montani ; G. Leonardi ; S. Ghignone ; L. Lanfranco
Medicare-Grid: New Trends on the Development of E-Health System Based on Grid Technology / Yeh-Ching Chung ; Po--Chi Shih ; Kuan-Ching Li ; Chao-Tung Yang ; Ching-Hsien Hsu ; Fang-Rong Hsu ; Don-Lin Yang ; Chia-Hsien Wen ; Chuang-Chien Chiu
A "Ubiquitous Environment" through Wireless Voice/Data Communication and a Fully Computerized Hospital Information System in a University Hospital / Eisuke Hanada ; Shusaku Tsumoto ; Shotai Kobayashi
Towards a Diagnostic Toolbox for Medical Communication / William Billingsley ; Cindy Gallois ; Andrew Smith ; Timothy Marks ; Fernando Bernal ; Marcus Watson
MILXView: A Medical Imaging, Analysis and Visualization Platform / Neil Burdett ; Jurgen Fripp ; Pierrick Bourgeat ; Olivier Salvado
Advanced Telemedicine System Using 3G Cellular Networks and Agent Technology / Golam Sorwar ; Ameer Ali
User Adaptivity of Biotelemetric System for ECG Measurement and Visualization / Dalibor Janckulik ; Leona Motalova ; Ondrej Krejcar
Help Me to Understand Your World: A Reflection on the Potential Impact of E-Health Systems on the Prognosis for Asperger Syndrome / Rudi G. Harmse ; Dalenca Pottas
Poster Presentations
How the Usability of a Pen-Tablet System Varies with Response Time Retardation
Stress Testing of Web Services Interface
Learning from Pathology Databases to Improve the Laboratory Diagnosis of Infectious Diseases / Alice Richardson ; Fariba Shadabi ; Brett A. Lidbury
System Design for Automated Time Study of Nursing / Shohei Nakamura ; Ichiroh Kanaya ; Yuko Ohno ; Kazuo Kawasaki
The Impact of Electronic Medical Records on the Work Process of Outpatient Care: Extracting Use-Cases of Paper-Based Medical Records Using a Time Process Study / Sachiko Shimizu ; Hiroko Noda ; Ichiro Kanaya ; Kenji Yamada ; Atsue Ishii ; Satoko Kasahara ; Katsumi Hirakawa ; Rie Nakagawa ; Yasushi Matsumura
The Working Process and Time Efficiency of Patient Transportation in Cardiovascular Hospital Using Time Process Modeling / Hiroko Ojima ; Shintaroh Oi ; Yasuko Inoue ; Atsuko Tanaka ; Fujie Motosugi ; Chizuru Okada
Analysis of Human and System Factors on Errors in ICD Coding with Electronic Discharge Summary System / Hitomi Yamada ; Keunsik Park ; Kenji Ohata
Semantic Interoperability and Health Records / Hugo Peixoto
Author Index
Updated Topics in Healthcare Informatics / Hiroshi Takeda
The HL7 RIM in the Design and Implementation of an Information System for Clinical Investigations on Medical Devices / Daniela Luzi ; Mariangela Contenti ; Fabrizio Pecoraro
Two Human-Centered Approaches to Health Informatics: Cognitive Systems Engineering and Usability / Tania Xiao ; Wendy Broxham ; Cara Stitzlein ; Jasmine Croll ; Penelope Sanderson
54.

電子ブック

EB
Nasrullah; Alhajj, Reda Memon, Reda Alhajj, Nasrullah Memon, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Vienna, 2010
所蔵情報: loading…
55.

電子ブック

EB
Andreas Luszczak
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2010
所蔵情報: loading…
56.

電子ブック

EB
Oded; Rokach, Lior (Eds) Maimon
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
57.

電子ブック

EB
John Daniel Aycock
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Definitions and History / 1.1:
Motivation / 1.2:
Getting There / 2:
Installation / 2.1:
Explicit, Voluntary Installation / 2.1.1:
Drive-by Downloads, User Involvement / 2.1.2:
Drive-by Downloads, No User Involvement / 2.1.3:
Installation via Malware / 2.1.4:
Startup / 2.2:
Application-Specific Startup / 2.2.1:
GUI Startup / 2.2.2:
System Startup / 2.2.3:
Kernel Startup / 2.2.4:
Defenses / 2.2.5:
Staying There / 3:
Avoiding Detection / 3.1:
Basic Detection Avoidance / 3.1.1:
Anti-Spyware / 3.1.2:
Advanced Detection Avoidance: Rootkits / 3.1.3:
Avoiding Uninstall / 3.2:
Passive Avoidance / 3.2.1:
Active Avoidance / 3.2.2:
Keylogging / 4:
User Space Keylogging / 4.1:
Polling / 4.1.1:
Event Copying / 4.1.2:
Event Monitoring / 4.1.3:
User Space Keylogging Defenses / 4.2:
Authentication / 4.3:
Phoning Home / 5:
Push vs. Pull / 5.1:
Finding Home / 5.2:
Steganography / 5.3:
Information Leaking Defenses / 5.4:
Advertising / 6:
Types of Advertisement / 6.1:
Banner Advertisement / 6.1.1:
Banner Advertisement with Pull-down Menu / 6.1.2:
Expandable Banner Advertisement / 6.1.3:
Pushdown Banner Advertisement / 6.1.4:
Pop-up Advertisement / 6.1.5:
Pop-under Advertisement / 6.1.6:
Floating Advertisement / 6.1.7:
Tear-back Advertisement / 6.1.8:
In-text Advertisement / 6.1.9:
Transition Advertisement / 6.1.10:
Video Advertisements / 6.1.11:
Intent and Content / 6.2:
Advertisement Implementation / 7:
Implementation Location / 7.1:
Implementation on the User Machine / 7.1.1:
Implementation in the Network / 7.1.2:
Implementation near the User Machine / 7.1.3:
Implementation on the Server / 7.1.4:
Choosing Keywords / 7.2:
Blocking Advertisements / 7.3:
Pop-up Blocking / 7.3.1:
General Advertisement Blocking / 7.3.2:
Blocker Evasion and Blocker Blocking / 7.3.3:
Tracking Users
Cookies / 8.1:
Other Browser-Related Tracking Methods / 8.1.1:
User Profiling / 8.2:
Cognitive Styles, Mood, and Personality / 8.2.1:
Future Actions / 8.2.2:
Demographic Information / 8.2.3:
Social Networks / 8.2.4:
Real World Activities / 8.2.5:
Physical of Location / 8.2.6:
Search Terms and keywords / 8.2.7:
Disinterests / 8.2.8:
Conclusion / 9:
References
Index
Introduction / 1:
Definitions and History / 1.1:
Motivation / 1.2:
58.

電子ブック

EB
Massimo Cafaro, Giovanni Aloisio, Massimo Cafaro
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
59.

電子ブック

EB
Alexander; Citrenbaum, Gary Kott, Gary Citrenbaum, Alexander W. Kott
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction: Judgment and Computation / Alexander Kott ; Gary Citrenbaum ; G. Jiyun Kim1:
Emerging Techniques and Tools / Ed Waltz2:
Politics and Power / Mark Abdollahian ; Jacek Kugler ; Brice Nicholson ; Hana Oh3:
Economics and Markets / Alan K. Graham4:
Media and Influence / William H. Bennett5:
Governance and Society / Corey Lofdahl6:
Groups and Violence / Ravi Bhavnani ; Dan Miodownik ; Rick Riolo7:
Insurgency and Security / Bruce Skarin8:
Crime and Corruption / Deborah Duong ; Robert Turner ; Karl Selke9:
Visualization and Comprehension / David Jonker ; William Wright10:
Verification and Validation / Dean Hartley ; Stuart Starr11:
Conclusions: Anticipation and Action / Stephen Morse12:
Abbreviations and Acronyms
Index
Introduction: Judgment and Computation / Alexander Kott ; Gary Citrenbaum ; G. Jiyun Kim1:
Emerging Techniques and Tools / Ed Waltz2:
Politics and Power / Mark Abdollahian ; Jacek Kugler ; Brice Nicholson ; Hana Oh3:
60.

電子ブック

EB
Borko Furht, Armando Escalante, Borivoje Furht, Borko Furht
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
61.

電子ブック

EB
Gianluca; Poce, Antonella Elia, Gianluca Elia, Antonella Poce
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Emergence of the Open Networked "i-Learning" Model / Gianluca Elia1:
i-Communities as Cooperative Learning Spaces: The Case of the "Knowledge Forum" / Antonella Poce2:
Problem-Based Learning in Web Environments: The Case of "Virtual eBMS" for Business Engineering Education / Giustina Secundo ; Cesare Taurino3:
Social Computing as Next-Gen Learning Paradigm: A Platform and Applications / Alessandro Margherita ; Pasquale Del Vecchio4:
A Learning Dashboard to Monitor an Open Networked Learning Community / Francesca Grippa ; Marco De Maggio5:
Future Trends for "i-Learning" Experiences / 6:
The Emergence of the Open Networked "i-Learning" Model / Gianluca Elia1:
i-Communities as Cooperative Learning Spaces: The Case of the "Knowledge Forum" / Antonella Poce2:
Problem-Based Learning in Web Environments: The Case of "Virtual eBMS" for Business Engineering Education / Giustina Secundo ; Cesare Taurino3:
62.

電子ブック

EB
Passiante, Giuseppina Passiante
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Towards an Internetworked Enterprise: some issues to be discussed / Chapter 1:
IE theoretical background / 1.1:
From vertical corporation to network organization / 1.1.1:
From industrial cluster to virtual networks / 1.1.2:
IE from theory to practice / 1.2:
From the strategy to the Business Model / 1.2.1:
The "Business Model" enabling Architecture: a strategic tool to design effective socio-technical systems / 1.2.2:
Linking the Business Model with the Enterprise Architecture / 1.2.3:
Conclusion / 1.3:
References
A methodology aimed at fostering and sustaining the development processes of an IE-based industry / Chapter 2:
The TEKNE project Methodology of change / 2.1:
Overview on the adopted approach / 2.2:
The Methodology of change step by step / 2.3:
Environment analysis / 2.3.1:
Business Network Analysis / 2.3.2:
Business Model analysis / 2.3.3:
The Business Model Ontology / 2.3.3.1:
The value flow / 2.3.3.2:
Requirements analysis and architecture design / 2.3.4:
Collaborative Storytelling / 2.3.4.1:
Definition of a value-driven architecture / 2.3.4.2:
Deployment Strategy / 2.3.5:
Measurement of the change impact / 2.3.6:
A network-oriented business modeling environment / 2.4:
Introduction / 3.1:
Business Modeling / 3.2:
SBVR Modeling Tool / 3.3:
Overview of SBVR / 3.3.1:
The conceptual architecture of the SBVR modeling tool / 3.3.2:
Distributed model repository / 3.4:
MOF foundation of the repository / 3.4.1:
The conceptual architecture of the model repository / 3.4.2:
Query/View/Transformation / 3.4.3:
Search and retrieval system / 3.5:
Conclusions / 3.6:
Model-based service-oriented architectures for Internetworked Enterprises / Chapter 4:
Modeling service-based business processes / 4.1:
Processes and services definition / 4.2.1:
Semantic service description / 4.2.2:
Quality model / 4.2.3:
Quality offering / 4.2.3.1:
Quality request / 4.2.3.2:
Service identification methodology / 4.3:
Service Discovery / 4.4:
Semantic-driven service discovery / 4.4.1:
Semantic service matchmaking / 4.4.1.1:
P2P service discovery / 4.4.1.2:
Quality-aware matchmaking / 4.4.2:
Low-level evaluation / 4.4.2.1:
High-level evaluation / 4.4.2.2:
Service Interaction Design / 4.5:
Modeling processes IMPLICITLY with hypertext design primitives / 4.5.1:
A technological infrastructure to sustain Internetworked Enterprises / 4.6:
Overall Architecture / 5.1:
Peer Registry and Knowledge Base / 5.3:
Semantic Layer / 5.4:
Semantic Match / 5.4.1:
Peer Clustering / 5.4.2:
Service MatchMaker / 5.4.3:
Semantic Neighbor Manager / 5.4.4:
Semantic Routing & Discovery / 5.4.5:
Distributed Authentication and Authorization System / 5.5:
Monitoring Business Processes / 5.6:
Monitoring to Change / 6.1:
Performance Measurement / 6.2.1:
The TEKNE approach / 6.2.3:
The Metrics Framework / 6.3:
Discovery / 6.3.1:
Conformance / 6.3.2:
An Approach based on Logics / 6.3.3:
Implementing Performance Indicators / 6.3.4:
The TEKNE Architecture / 6.3.5:
SuperJet International case study: a business network start-up in the aeronautics industry / 6.4:
Enterprise Networks: characteristics / 7.1:
Case study plan and interviews / 7.3:
SuperJet International: the start-up of a network in the aerospace industry / 7.4:
Techno-organizational deployment in the SJI case study / 7.5:
Avio case study: the MRO process / 7.6:
As-is: assessment of the unit of analysis / 8.1:
To-be: business model re-design / 8.3:
Product / 8.3.1:
Customer interface / 8.3.2:
Infrastructure management / 8.3.3:
Financial aspects / 8.3.4:
Value flows / 8.3.5:
Conclusions and future work / 8.4:
Inter-organizational design: exploring the relationship between formal architecture and ICT investments / Chapter 9:
Theoretical Background / 9.1:
The empirical context: Engineering S.p.A / 9.3:
Method / 9.4:
Results / 9.5:
Descriptive Results / 9.5.1:
Analytical results / 9.5.2:
Discussion and Conclusions / 9.6:
Communication flows in an SME network: the C.I.S.I consortium case / Chapter 10:
Literature review and model development / 10.1:
Networks and the diffusion of innovation / 10.2.1:
Personal relationships and networks / 10.2.2:
The empirical context: CISI consortium / 10.3:
Discussion of Results / 10.4:
Strategic activities are mostly enabled by consortium-related associations / 10.5.1:
Strong link between geographic relationships and innovative activities / 10.5.2:
Role of key individuals in strategic activities / 10.5.3:
Role of key clients in the diffusion of organizational innovations / 10.5.4:
Personal relationships enable the diffusion and adoption of innovation / 10.5.5:
Tisettanta case study: the interoperation of furniture production companies / 10.6:
Company overview / 11.1:
Supply chain / 11.3:
Stock management - outline / 11.4:
Production process - outline / 11.5:
Distribution chain / 11.6:
ICT infrastructure and applications / 11.7:
Possible improvements enabled by ICT technologies / 11.8:
Collaboration process models / 11.9:
An analysis of models and practices in Human Resource Management processes and the relationship between firms and outsourcers: a case study / 11.10:
HR Outsourcing / 12.1:
The reasons a company outsources its HR processes / 12.1.1:
Cost Reduction / 12.1.1.1:
Improvement of service levels / 12.1.1.2:
Rendering the cost structure of the HR function flexible / 12.1.1.3:
Selecting HR processes to outsource / 12.1.2:
Core Competence View / 12.1.2.1:
Resource Based View / 12.1.2.2:
Transaction Cost Economics / 12.1.2.3:
HRO Relationships / 12.2:
Types of relationships / 12.2.1:
The level of supplier delegation / 12.2.2:
Relationship governance / 12.2.3:
The organizational interface between customer and supplier / 12.2.4:
The Complexity of HRO Projects: a case study / 12.3:
The case / 12.3.1:
Objectives of HRO and outsourced activities / 12.3.2:
Phases in the process towards HR Outsourcing / 12.3.3:
Mapping the flow of outsourced HR processes / 12.3.4:
Recruitment / 12.3.4.1:
Training / 12.3.4.2:
Payroll / 12.3.4.3:
Competencies required by the HR Outsourcing process / 12.3.5:
Role of the HR Department following HR Outsourcing / 12.3.6:
Towards an Internetworked Enterprise: some issues to be discussed / Chapter 1:
IE theoretical background / 1.1:
From vertical corporation to network organization / 1.1.1:
63.

電子ブック

EB
Cliff; Roscoe, A.W; Wood, Kenneth R. Jones, Cliff B. Jones, A. W. Roscoe, Kenneth B. Wood
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
64.

電子ブック

EB
Oskar Juhlin
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
An Empirical Program of Road Use / Part I:
Social Life in Traffic / 1:
Road Use and Traffic Encounters / 1.1:
The Interactive Road / 1.2:
References
Juxtaposing Traffic Research and Social Computing / 2:
A Design Theory on Traffic and City Life / 2.1:
Traffic Design for Vitality and Sense / 2.2:
Intelligent Transportation Systems and Telematics / 2.3:
The Foundation of ITS in Traditional Traffic Planning / 2.4:
Social Interaction in Computer Science / 2.5:
Towards a New Research Agenda / 2.6:
Investigating and Designing for Social Interaction / 3:
Analyzing Social Interaction / 3.1:
Designing for Social Interaction / 3.2:
Evaluating New Applications / 3.3:
Selecting Case Studies / 3.4:
Vitality and Social Interaction on the Roads / Part II:
Traffic as Situated Interaction / 4:
Mutual Understanding Through Plans or Situated Actions / 4.1:
Analysis / 4.2:
Rules as Resources to Interpret Behavior / 4.2.1:
Coordination as a Local Situated Activity / 4.2.2:
Constructing the "Background" through Social Interaction / 4.2.3:
Social Interaction for Safety and Access / 4.3:
Designing for Movement Coordination / 4.4:
International Adaptation for Achieving Safe Mobile Phone Handling in Traffic / 5:
Background / 5.1:
Method and Data Collection / 5.2:
Making the Traffic Situation Visible in the Phone Conversation / 5.3:
Adapting Phone Handling to Collaboration in Traffic / 5.3.2:
Discussion / 5.4:
Safety as an Achievement in Mobile Work / 5.4.1:
Technologies to Support Interactional Adaptation / 5.4.2:
Achieving Safe Driving in Mobile Phone Use / 5.5:
Driving and Articulating the Road Context with the PlaceMemo Application / 6:
Articulating Collaboration in Infrastructure Management / 6.1:
Infrastructure Management in Vast Areas / 6.1.1:
Road Inspection / 6.1.2:
Road Inspection as an Ongoing Practice / 6.2:
Identification as Ongoing Interpretative Work / 6.2.1:
Insufficient Reminders / 6.2.2:
Resources for Delegation / 6.2.3:
Barriers to Collaboration / 6.2.4:
Fitting Driving to Organizational Tasks / 6.2.5:
The PlaceMemo Application / 6.3:
Implementation / 6.3.1:
Location-Based Information Systems / 6.4:
The Users' Initial Experiences / 6.5:
Conclusion / 6.6:
Road Talk: A Public Roadside Location-Dependent Audio Message System / 7:
The Use of Speed Trap Message Systems / 7.1:
Message Systems in Research / 7.2:
The Road Talk Concept / 7.3:
Design that Accommodates Driving / 7.3.1:
Design Requirements for Road Talk / 7.3.2:
Initial Prototype Performance Evaluations / 7.4:
Sense and Social Interaction / 7.5:
The Automobile Flâneur-Joint Music Listening in Traffic Encounters / 8:
Music and Social Interaction / 8.1:
The Sound Pryer Concept / 8.2:
The Sound Pryer Prototype / 8.2.1:
The Field Trial / 8.3:
Video Analysis / 8.4:
Analysis of Interviews / 8.5:
Driving as Flâneuring / 8.6:
Motorcycling and Social Interaction-Design for the Enjoyment of Traffic Encounters / 9:
Social Interaction Among Motorcyclists / 9.1:
Arrangements to Increase Social Interaction / 9.1.1:
Planning a Joint Ride / 9.1.2:
The Hocman Prototype / 9.2:
Hocman in Use / 9.3:
Legibility and Public Road Signs / 9.4:
Communities and Communication Technology / 10.1:
Studies of Road Signs / 10.2:
Communities and the Public Road Signs / 10.3:
Posting Signs as Practical Achievements / 10.3.2:
Adapting to Road Authorities / 10.3.3:
The Road as a Stage in Journey Games / 10.4:
A Game for the Backseat Experience / 12:
Selecting Roadside Objects / 12.1:
Children's Appreciation / 12.2:
The Enjoyment of the Game / 12.3:
Locative Interactive Storytelling Along Vast Road Networks / 13:
Design Concept and Implementation / 13.1:
How Did It Work? / 13.2:
The Geographical Origin of Sounds / 13.2.1:
Imaginary Visual Experiences / 13.2.2:
Sequential Experiences / 13.2.3:
Multiplayer Gaming in Traffic Encounters / 13.3:
The Road Rager / 14.1:
Balancing Focus of Attention through Design / 14.2:
User Feedback / 14.3:
Post Script: A New Balancing Act for Research on Traffic and Mobile Technology / 14.4:
Index
An Empirical Program of Road Use / Part I:
Social Life in Traffic / 1:
Road Use and Traffic Encounters / 1.1:
65.

電子ブック

EB
Erik Champion
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introducing Virtual Travel / 1:
Virtual Environments / 1.1:
Moving Past the Picture Frame / 1.2:
Being Not-There May Be More Achievable / 1.3:
Being Not-There May Safeguard the Place / 1.4:
Share by Being Not-There / 1.5:
The Implications for Virtual Travel / 1.6:
Learning via Virtual Travel / 1.7:
The Thorny Issue of Engagement / 1.8:
Four Major Problems / 1.9:
Virtual Reality and Cultural Significance / 1.10:
References
Technological Limitations / 2:
Lack of Widely Distributed Technology / 2.2:
Size, Speed and Rendering Issues / 2.3:
Lack of Meaningful Content / 2.4:
We Experience More than Tangible Objects / 2.5:
The World Is More than Visual Stimuli / 2.6:
Different People See Different Things / 2.7:
Personalization Is Missing / 2.8:
Lack of Contextual Evaluation / 2.9:
Summary of Implications for Virtual Environments / 2.10:
Virtual Places / 3:
Place in a Virtual Space / 3.1:
Experiential Types of Place / 3.2:
Place as Unique Experience / 3.2.1:
Sublime Places of Terror and Awe / 3.2.2:
Evocative and Atmospheric Place / 3.2.3:
Place as Stage and Playground / 3.2.4:
Place as Trace and Palimpsest / 3.2.5:
Requirements for Creating a Sense of Place / 3.3:
Place Requires Embodiment / 3.3.1:
Place Requires Paths and Centers / 3.3.2:
Response to Place Requires Ongoing Feedback / 3.3.3:
Place Requires Social 'Embeddedness' / 3.3.4:
Place Is Mark-Able / 3.3.5:
Evoking Place via Arts and Sciences / 3.4:
Architecture / 3.4.1:
Art and Artifacts / 3.4.2:
Literature / 3.4.3:
Film / 3.4.4:
Cultural Geography in Place and Culture / 3.4.5:
Cyberspace Critics and Criteria / 3.5:
Cyberspaces Lack Limits / 3.5.1:
Cyberspaces Lack 'Play' Through Objects / 3.5.2:
Cyberspaces Lack Life History / 3.5.3:
Cyberspace Concepts and Terminology / 3.6:
Suggestions for Creating Cyberplace / 3.6.1:
Three Types of Virtual Environments / 3.7:
Inert 'Explorative' Environments / 3.7.1:
Activity-Based Environments / 3.7.2:
Cultural or 'Hermeneutic' Environments / 3.7.3:
Matching Virtual Environments and Technologies / 3.8:
Terms / 3.9:
Summary of Place Theory / 3.10:
Cultural and Social Presence / 4:
Why Photorealism Does Not Convey Cultural Significance / 4.1:
Virtual Heritage Is Not Realism / 4.1.1:
Phobic Triggers and Experiential Realism / 4.1.2:
Archaeology and History Is Not Set in Concrete / 4.1.3:
Confusion over Cultural Presence / 4.2:
What Is Culture? / 4.3:
What Is a Culturally Significant Place? / 4.3.1:
How Culture Is Learnt / 4.3.2:
Social and Cultural Presence / 4.3.3:
Hermeneutic Richness, Cultural Agency / 4.4:
Culture in Virtual Worlds / 4.5:
Useful Cultural Presence / 4.6:
Summary of Cultural Presence Theory / 4.7:
Game-Style Interaction / 5:
Defining Games / 5.1:
Defining Game-Style Interaction / 5.2:
Useful Features of Games / 5.2.1:
Engaging Features of Games / 5.2.2:
Case Study: Heretic II / 5.3:
Dynamic Places / 5.4:
Dynamic Place Design: Unreal Palenque and Xibalba / 5.4.1:
Racing in a Tent: Spatial and Haptic Immersion / 5.4.2:
Constrained Tasks and Goals / 5.5:
Interaction Modes in Palenque Using Adobe Atmosphere / 5.5.1:
Constrained Tasks in Journey to the West / 5.5.2:
Social Agency: Avatars Agents and Actors / 5.6:
Agency in a Marco Polo Game / 5.6.1:
Artifacts / 5.7:
Mapping to Aid Navigation for Egyptian Mythology / 5.7.1:
Mapping Through Drawing / 5.7.2:
Game-Based Learning / 5.8:
Procedural Versus Prescriptive Learning / 5.8.1:
Game Genres and Cultural Learning / 5.9:
Snakes and Ladders / 5.9.1:
Different Perspectives per Player / 5.9.2:
Role Playing / 5.9.3:
The Spy Game / 5.9.4:
Issues of Time: Interaction Versus Historical Authenticity / 5.10:
Ancillary Non-celebrity Characters / 5.10.1:
Autonomous Action, Immutable Results / 5.10.2:
Groundhog Day / 5.10.3:
Possible Worlds / 5.10.4:
Diary of Emotional Development / 5.10.5:
Surfing Memetic Drift / 5.10.6:
Augment History with Real World / 5.10.7:
Augmented Cultural Exchange / 5.10.8:
Game-Based Evaluation / 5.10.9:
Summary of Games-Style Interaction / 5.12:
Playing with the Past / 6:
What Is Virtual Heritage? / 6.1:
The Problem of Culture / 6.2:
Virtual Heritage Case Studies / 6.3:
Art History in Online Worlds: Santa Maria, Italy / 6.3.1:
Virtual Forbidden City, China / 6.3.2:
Dordrecht Monastery, The Netherlands / 6.3.3:
Urban Design and Virtual Sambor, Cambodia / 6.3.4:
FAS Palace, Mesopotamia / 6.3.5:
Culture and History Inside a Game: Palestine and Italy / 6.3.6:
Virtual Egyptian Temple / 6.3.7:
Dome Visualization: Mawson's Hut, Antarctica / 6.3.8:
Heritage Tour: Macquarie Lighthouse, Australia / 6.3.9:
Panoramic Explorations: PLACE-Hampi, India / 6.3.10:
Performance and Archaeology: Spaces of Mjalnar, Malta / 6.3.11:
Summary / 6.4:
Augmenting the Present With the Past / 7:
What Is Augmented Reality? / 7.1:
Blends of Augmented Reality and Augmented Virtuality / 7.2:
Inserted Walk-About Reality, University of South Australia / 7.2.1:
Overlaid Walk-About Reality, Columbia University / 7.2.2:
Bubbled Reality Example 3: Mawson's Huts, Antarctica / 7.2.3:
Other Types of Mixed Reality / 7.3:
Data-Streamed Virtual Reality / 7.3.1:
Augmented Virtuality / 7.3.2:
Audio Augmented Reality / 7.3.3:
Participant and Audience-Augmented Virtuality / 7.3.4:
Augmented Reality and Virtual Heritage / 7.4:
Evaluating Virtual Heritage / 7.5:
Testing That Which Is Not Yet Fully Tested / 8.1:
Evaluating Cultural Learning / 8.2:
Virtual Heritage Evaluation / 8.3:
What Types of Evaluation Are There? / 8.4:
Expert Testing / 8.4.1:
Content and Media Comparison Studies / 8.4.2:
Physiological Testing / 8.4.3:
Task Performance / 8.4.4:
Surveys/Questionnaires / 8.4.5:
Ethnographic Evaluation / 8.4.6:
Evaluating Virtual Heritage Environments / 8.5:
Task Performance and Game Evaluation / 8.5.1:
Statistical Methods Suitable for Virtual Heritage Projects / 8.5.2:
Evaluation Case Study: Palenque / 8.6:
Pilot Study / 8.6.1:
Evaluation / 8.6.2:
Evaluation Questions / 8.6.3:
Schedule of Evaluation / 8.6.4:
Observations / 8.6.5:
Summary of Evaluation for Virtual Heritage / 8.7:
Conclusion / 9:
Cultural Understanding Through Digital Interactivity / 9.1:
Future Research / 9.2:
Index
Introducing Virtual Travel / 1:
Virtual Environments / 1.1:
Moving Past the Picture Frame / 1.2:
66.

電子ブック

EB
Ling; Shan, Caifeng; Luo, Jiebo Shao, Minoru Etoh, Jiebo Luo, Caifeng Shan, Ling Shao
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Retrieving Human Actions Using Spatio-Temporal Features and Relevance Feedback / Rui Jin ; Ling Shao
Computationally Efficient Clustering of Audio-Visual Meeting Data / Hayley Hung ; Gerald Friedland ; Chuohao Yeo
Cognitive-Aware Modality Allocation in Intelligent Multimodal Information Presentation / Yujia Cao ; Mariët Tneune ; Anton Nijholt
Natural Human-Computer Interaction / Gianpaolo D'Amico ; Alberto Del Bimbo ; Fabrizio Dini ; Lea Landucci ; Nicola Torpei
Gesture Control for Consumer Electronics / Caifeng Shan
Empirical Study of a Complete System for Real-Time Face Pose Estimation / Tommaso Gritti
Evolution-based Virtual Content Insertion with Visually Virtual Interactions in Videos / Chia-Hu Chang ; Ja-Ling Wu
Physical Activity Recognition with Mobile Phones: Challenges, Methods, and Applications / Jun Yang ; Hong Lu ; Zhigang Liu ; Péter Pál Boda
Gestures in an Intelligent User Interface / Wim Fikkert ; Paul van der Vet
Video Summary Quality Evaluation Based on 4C Assessment and User Interaction / Tongwei Ren ; Yan Liu ; Gangshan Wu
Multimedia Experience on Web-Connected CE Devices / Dan Tretter ; Jerry Liu ; Xuemei Zhang ; Yuli Gao ; Brian Atkins ; Hui Chao ; Jun Xiao ; Peng Wu ; Qian Lin
Index
Retrieving Human Actions Using Spatio-Temporal Features and Relevance Feedback / Rui Jin ; Ling Shao
Computationally Efficient Clustering of Audio-Visual Meeting Data / Hayley Hung ; Gerald Friedland ; Chuohao Yeo
Cognitive-Aware Modality Allocation in Intelligent Multimodal Information Presentation / Yujia Cao ; Mariët Tneune ; Anton Nijholt
67.

電子ブック

EB
Damith C.; Sheng, Quan Z.; Zeadally, Sherali Ranasinghe, Damith C. Ranasinghe, Quan Z. Sheng, Sherali Zeadally
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Future of RFID / Part I:
The Next Generation of RFID Technology / Peter H. Cole ; Leigh H. Turner ; Zhonghao Hu ; Damith C. Ranasinghe
Breakthrough Towards the Internet of Things / Leonardo W. F. Chaves ; Zoltán Nochta
Threats to Networked RFID Systems / Aikaterini Mitrokotsa ; Michael Beye ; Pedro Peris-Lopez
Data Management / Part II:
Temporal and Location Based RFID Event Data Management and Processing / Fusheng Wang ; Peiya Liu
Event Management of RFID Data Streams: Fast Moving Consumer Goods Supply Chains / John P. T. Mo ; Xue Li
Semantic-Based RFID Data Management / Roberto De Virgilio ; Eugenio Di Sciascio ; Michele Ruta ; Floriano Scioscia ; Riccardo Torlone
RFID Data Cleaning for Shop Floor Applications / Holger Ziekow ; Lenka Ivantysynova ; Oliver Günter
Global Information Architectures and Systems / Part III:
Autonomous Control and the Internet of Things: Increasing Robustness, Scalability and Agility in Logistic Networks / Dieter Uckelmann ; M.-A. Isenberg ; M. Teucke ; H. Halfar ; B. Scholz-Reiter
A Design for Secure Discovery Services in the EPCglobal Architecture / José J. Cantero ; Miguel A. Guijarro ; Antonio Plaza ; Guillermo Arrebola ; Janie Baños
Evaluating Discovery Services Architectures in the Context of the Internet of Things / Elias Polytarchos ; Stelios Eliakis ; Dimitris Bochtis ; Katerina Pramatari
RFID-Enhanced Ubiquitous Knowledge Bases: Framework and Approach
RFID Middleware Systems: A Comparative Analysis / Nova Ahmed ; Umakishore Ramachandran
Innovative Applications / Part IV:
RFID in the Apparel Retail Industry: A Case Study from Galeria Kaufhof / Jasser Al-Kassab ; Philipp Blome ; Gerd Wolfram ; Frédéric Thiesse ; Elgar Fleisch
The Potential of RFID Technology in the Textile and Clothing Industry: Opportunities, Requirements and Challenges / Elena Legnani ; Sergio Cavalieri ; Roberto Pinto ; Stefano Dotti
A New Security Paradigm for Anti-Counterfeiting: Guidelines and an Implementation Roadmap / Mikko Lehtonen
Green Logistics Management / Yoon S. Chang ; Chang H. Oh
Object Oriented Business Process Modelling in RFID Applied Computing Environments / Xiaohui Zhao ; Chengfei Liu ; Tao Lin
Business and Investment / Part V:
Legal Regulation and Consumers: The RFID Industry's Perspective / Daniel Ronzani
Investment Evaluation of RFID Technology Applications: An Evolution Perspective / Andriana Dimakopoulou ; Angeliki Karagiannaki ; George Papadopoulos ; Antonis Paraskevopoulos
An Analysis of the Impact of RFID Technology on Inventory Systems / Yacine Rekik
Index
Future of RFID / Part I:
The Next Generation of RFID Technology / Peter H. Cole ; Leigh H. Turner ; Zhonghao Hu ; Damith C. Ranasinghe
Breakthrough Towards the Internet of Things / Leonardo W. F. Chaves ; Zoltán Nochta
68.

電子ブック

EB
Klaus Wehrle, James Gross, Mesut G??ne?�
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
69.

電子ブック

EB
Shlomo; Burns, Kevin; Dubnov, Shlomo Argamon, Shlomo Argamon, Kevin Burns, Shlomo Dubnov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
70.

電子ブック

EB
Ozgur Akan, Eitan Altman, Paolo Bellavista, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
71.

電子ブック

EB
?scar Celma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
72.

電子ブック

EB
G. S.; Chang, Ruay-Shiung; Kim, Tai-hoon Tomar, Samir Kumar Bandyopadhyay, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, G.S Tomar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Parallel Processing Performance on Multi-Core PC Cluster Distributing Communication Load to Multiple Paths / Takafumi Fukunaga
Modeling Real-Time Applications with Reusable Design Patterns / Saoussen Rekhis ; Nadia Bouassida ; Rafik Bouaziz
Optimal Total Exchange in Anonymous Cayley Graphs / Sanghoun Oh ; Adnan Mohamed ; Moongu Jeon
A Variant of Naor-Pinkas Oblivious Transfer for More Efficient Authentication / Yongsoo Hwang ; Hyochul Chae
Wireless Network of Collaborative Physiological Signal Devices in a U-Healthcare System / Joonyoung Jung ; Daeyoung Kim
An Encryption Scheme for Communication Internet SCADA Components / Rosslin John Robles ; Tai-hoon Kim
Context-Aware Based Efficient Training System Using Augmented Reality and Gravity Sensor for Healthcare Services / Seoksoo Kim ; Sungmo Jung ; Jae-gu Song ; Byong-Ho Kang
XMDR-DAI Based on GQBP and LQBP for Business Process / SeokJae Moon ; GyeDong Jung ; YoungKeun Choi
Dynamic Relation Management of Hierarchical Data for Interoperability in Distributed Environments / Youn-Gyou Kook ; Joon Lee ; Ki-Seok Choi ; Jae-Soo Kim
Change-Point Modeling with an Environmental Factor for Software Reliability Assessment and Its Application / Shinji Inoue ; Shigeru Yamada
Reliability Analysis and Optimal Release Problem Considering Maintenance Time of Software Components for an Embedded OSS Porting Phase / Yoshinobu Tamura
Optimal Policies for Random and Periodic Garbage Collections with Tenuring Threshold / Xufeng Zhao ; Syouji Nakamura ; Toshio Nakagawa
Optimal Checking Times of Backup Operation for a Database System / Kenichiro Naruse ; Sayori Maeji
Comparison of Aperiodic Checkpoint Placement Algorithms / Shunsuke Hiroyama ; Tadashi Dohi ; Hiroyuki Okamura
Comparative Study of Simulated Annealing Algorithms for Optimal Arrangement Problems in a Linear Consecutive-k-out-of-n: F System / Koji Shingyochi ; Hisashi Yamamoto
Tracing Stopping Point for Remaining Distance through Multi Brake Modeling in the ATO / K.B. Lee ; Won-seok Choi
A Study on Automated Context-aware Access Control Model Using Ontology / Bokman Jang ; Hyokyung Jang ; Euiin Choi
Ontology Based Intelligent Monitoring-Control System / Sungdo Park ; Hyosik Ahn
Author Index
Parallel Processing Performance on Multi-Core PC Cluster Distributing Communication Load to Multiple Paths / Takafumi Fukunaga
Modeling Real-Time Applications with Reusable Design Patterns / Saoussen Rekhis ; Nadia Bouassida ; Rafik Bouaziz
Optimal Total Exchange in Anonymous Cayley Graphs / Sanghoun Oh ; Adnan Mohamed ; Moongu Jeon
73.

電子ブック

EB
Samir Kumar; Adi, Wael Bandyopadhyay, Wael Adi, Samir Kumar Bandyopadhyay, Tai-hoon Kim, Yang Xiao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Maximized Posteriori Attributes Selection from Facial Salient Landmarks for Face Recognition / Phalguni Gupta ; Dakshina Ranjan Kisku ; Jamuna Kanta Sing ; Massimo Tistarelli
Security Improvement on a Remote User Authentication Scheme Using Smart Cards / Tien-Ho Chen ; Han-Cheng Hsiang ; Wei-Kuan Shih
Dual-Byte-Marker Algorithm for Detecting JFIF Header / Kamaruddin Malik Mohamad ; Tutut Herawan ; Mustafa Mat Deris
Hiding Data in JPEG Using in-DQT Technique
An Analysis of Syndrome Coding / Md Amiruzzaman ; M. Abdullah-Al-Wadud ; Yoojin Chung
Intrusion Correlation Using Ontologies and Multi-agent Systems / Gustavo Isaza ; Andrés Castillo ; Marcelo López ; Luis Castillo ; Manuel López
Tag ID Subdivision Scheme for Efficient Authentication and Security-Enhancement of RFID System in USN / Kijeong Lee ; Byungjoo Park ; Gil-Cheol Park
Fault Attacks against the Miller's Algorithm in Edwards Coordinates / Nadia El Mrabet
A Cryptosystem for Encryption and Decryption of Long Confidential Messages / Debasis Giri ; Prithayan Barua ; P.D. Srivastava ; Biswapati Jana
Lane Design for Speed Optimization / Debnath Bhattacharyya ; Arijit Chakraborty ; Feruza Sattarova ; Young-hun Lee ; Tai-hoon Kim
Biometric Authentication Using Infrared Imaging of Hand Vein Patterns / A. Shrotri ; S.C. Rethrekar ; M.H. Patil ; Farkhod A. Alisherov
IPV6 Mobile Network Protocol Weaknesses and a Cryptosystem Approach / Maricel Balitanas
Fuzzy-Based Detection of injected False Data in Wireless Sensor Networks / Hae Young Lee ; Tae Ho Cho ; Hyung-Jong Kim
Pattern Recognition Using Artificial Neural Network: A Review
PeerReview Analysis and Re-evaluation for Accountability in Distributed Systems or Networks / Zhifeng Xiao ; Yang Xiao
Tracing Potential School Shooters in the Digital Sphere / Jari Veijalainen ; Alexander Semenov ; Jorma Kyppö
Infrastructure Aided Privacy Preserving-Authentication in VANETs / Brijesh Kumar Chaurasia ; Shekhar Verma ; G.S. Tomar
Attacks on Bluetooth Security Architecture and Its Countermeasures / Mian Muhammad Waseem Iqbal ; Firdous Kausar ; Muhammad Arif Wahla
Modified Anonymous Authentication Scheme with Enhanced Security for Wireless Communication / Muhammad Asif Khan
Security Risks of Cloud Computing and Its Emergence as 5th Utility Service / Mushtaq Ahmad
Performance Evaluation of Video Streaming in Vehicular Adhoc Network / Aneel Rahim ; Zeeshan Shafi Khan ; Fahad bin Muhaya
Receiver Based Traffic Control Mechanism to Protect Low Capacity Network in Infracture Based Wireless Mesh Network / Syed Sherjeel Ahmad Gilani ; Muhammad Zubair
Secure Mechanism for Handling Targeted Attacks in Infrastructure Based Wireless Mesh Networks / Rehan Shafi ; Shehzad Ashraf ; Muhammad Sher
MPLS Unleashed: Remedy Using IPSEC over MPLS VPN / Syed Noor-ul-Hassan Shirazi ; Muhammad Asim ; Muhammad Irfan ; Nassar Ikram
A New Holistic Security Approach for Government Critical Systems: Flooding Prevention / Mohammed Alhabeeb ; Abdullah Almuhaideb ; Phu Dung Le ; Bala Srinivasan
Sensor Aided Authentication / Xin Huang ; Yang Jiang ; Xiong Gao ; Rong Fu ; Tingting Zhang
Knowledge-Base Semantic Gap Analysis for the Vulnerability Detection / Raymond Wu ; Keisuke Seki ; Ryusuke Sakamoto ; Masayuki Hisada
TOKEN: Trustable Keystroke-Based Authentication for Web Based Applications on Smartphones / Mohammad Nauman ; Tamleek Ali
An Improved EKG-Based Key Agreement Scheme for Body Area Networks / Aftab Ali ; Farrukh Aslam Khan
Multi-agent Reinforcement Learning Model for Effective Action Selection / Sang Jo Youk ; Bong Keun Lee
Author Index
Maximized Posteriori Attributes Selection from Facial Salient Landmarks for Face Recognition / Phalguni Gupta ; Dakshina Ranjan Kisku ; Jamuna Kanta Sing ; Massimo Tistarelli
Security Improvement on a Remote User Authentication Scheme Using Smart Cards / Tien-Ho Chen ; Han-Cheng Hsiang ; Wei-Kuan Shih
Dual-Byte-Marker Algorithm for Detecting JFIF Header / Kamaruddin Malik Mohamad ; Tutut Herawan ; Mustafa Mat Deris
74.

電子ブック

EB
Chin-Chen Chang, Chin-Cheng Chang, Purnendu Das, Byeong-Ho Kang, Muhammad Khurram Khan, Thanos Vasilakos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Design of a Reliable Wireless Switch for the Intersection Area on Vehicular Telematics Networks / Junghoon Lee ; Gyung-Leen Park ; Ho-Young Kwak ; Sang Joon Lee ; Mikyung Kang
A Middleware Based Approach to Dynamically Deploy Location Based Services onto Heterogeneous Mobile Devices Using Bluetooth in Indoor Environment / Pampa Sadhukhan ; Rijurekha Sen ; Pradip K. Das
Hiding Data in Audio Signal / Debnath Bhattacharyya ; Poulami Dutta ; Maricel O. Balitanas ; Tai-hoon Kim ; Purnendu Das
Feature Extraction and Analysis of Breast Cancer Specimen / Rosslin John Robles ; Samir Kumar Bandyopadhyay
Three-Phase Scheme for Supporting Time-Constrained Data with Duplication in Wireless Broadcast Systems / Chao-Chun Chen ; Lien-Fa Lin ; Shih-Chia Wang
A Feedback-Based Secure Path Approach for Wireless Sensor Networks Data Collection / Yuxin Mao
An Effective Power Saving Mechanism for IEEE 802.11 PSM in Double-Layered Mobile P2P Systems / Ju-Hee Lee ; Taek-Hun Kim ; Jin-Woo Song ; Kwang-Jo Lee ; Sung-Bong Yang
A New Image Enhancement Method Based on Nonsubsampled Contourlet Transform / Md. Foisal Hossain ; Mohammad Reza Alsharif ; Katsumi Yamashita
Enable Cache Effect on Forwarding Table in Metro-Ethernet / Xiaocui Sun ; Zhijun Wang
A Handover Mechanism Using IEEE 802.21 in Heterogeneous Wireless Networks / Lin-Huang Chang ; Chau-Chi Wang ; Tsung-Han Lee
Duplicate Address Detection Table in IPv6 Mobile Networks / Farkhod Alisherov
A Hop-Sensitive Mechanism to Establish Route Optimization in Mobile Networks / J. Isac Gnanaraj ; P. Calduwel Newton ; L. Arockiam
A Novel Analysis of Single Mode Fiber for Reduction of Chromatic Dispersion Using Dispersion Compensated Fiber / Laxman Tawade ; Shantanu Jagdale ; Munir Sayyad ; Sanjay Nalbalwar
Image Tampering Detection and Recovery Using Dual Watermarks and Cyclic Redundancy Checks / Chu-Hsing Lin ; Jung-Chun Liu ; Wei-Cheng Hsu ; Hsing-Weng Wang ; Wei-Chih Lin ; Jian-Wei Li
Response Time Enhancement of Sensor Network Using the Solid State Drive / Dae-Sik Ko ; Yoon-Sik Kwak
Author Index
Design of a Reliable Wireless Switch for the Intersection Area on Vehicular Telematics Networks / Junghoon Lee ; Gyung-Leen Park ; Ho-Young Kwak ; Sang Joon Lee ; Mikyung Kang
A Middleware Based Approach to Dynamically Deploy Location Based Services onto Heterogeneous Mobile Devices Using Bluetooth in Indoor Environment / Pampa Sadhukhan ; Rijurekha Sen ; Pradip K. Das
Hiding Data in Audio Signal / Debnath Bhattacharyya ; Poulami Dutta ; Maricel O. Balitanas ; Tai-hoon Kim ; Purnendu Das
75.

電子ブック

EB
G. S.; Grosky, William I.; Saha, Sanjoy Kumar Tomar, William I. Grosky, Tai-hoon Kim, Sabah Mohammed, Sanjoy Kumar Saha, G.S Tomar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
System Requirement Analyses for Ubiquitous Environment Management System / Sang Boem Lim ; Kyung Jun Gil ; Ho Rim Choe ; Yang Dam Eo
Home Infotainment Platform - A Ubiquitous Access Device for Masses / Arpan Pal ; M. Prashant ; Avik Ghose ; Chirabrata Bhaumik
A New Experiment on Bengali Character Recognition / Sumana Barman ; Debnath Bhattacharyya ; Seung-whan Jeon ; Tai-hoon Kim ; Haeng-Kon Kim
Human Inspired Self-developmental Model of Neural Network (HIM): Introducing Content/Form Computing / Jirí Krajícek
Ubiquitous Computing in Creation of Cognitive Systems for Medical Images Interpretation / Lidia Ogiela ; Marek R. Ogiela ; Ryszard Tadeusiewicz
A BitTorrent-Based Dynamic Bandwidth Adaptation Algorithm for Video Streaming / Tz-Heng Hsu ; You-Sheng Liang ; Meng-Shu Chiang
Rough Sets Approximations for Learning Outcomes / Sylvia Encheva ; Sharil Tumin
An Energy Efficient Instruction Prefetching Scheme for Embedded Processors / Ji Gu ; Hui Guo
EFL/ESL Textbook Selection in Korea and East Asia - Relevant Issues and Literature Review / Robert C. Meurant
Fujisaki Model Based Intonation Modeling for Korean TTS System / Byeongchang Kim ; Jinsik Lee ; Gary Geunbae Lee
Review: Security in Wireless Technologies in Business / F. Y. Sattarova
Emerging Approach of Natural Language Processing in Opinion Mining: A Review
Power Management Scheduling for Low Rate Wireless Sensor Networks / Xiao Hong ; Michael J. Plyler ; Ji Jun ; Yang Xiao
Bayesian Framework for Automatic Image Annotation Using Visual Keywords / Rajeev Agrawal ; Changhua Wu ; William Grosky ; Farshad Fotouhi
Author Index
System Requirement Analyses for Ubiquitous Environment Management System / Sang Boem Lim ; Kyung Jun Gil ; Ho Rim Choe ; Yang Dam Eo
Home Infotainment Platform - A Ubiquitous Access Device for Masses / Arpan Pal ; M. Prashant ; Avik Ghose ; Chirabrata Bhaumik
A New Experiment on Bengali Character Recognition / Sumana Barman ; Debnath Bhattacharyya ; Seung-whan Jeon ; Tai-hoon Kim ; Haeng-Kon Kim
76.

電子ブック

EB
Gianluigi Viscusi, Carlo Batini, Massimo Mecella
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
eGovernment: A Complex Challenge / Part I:
The Different Facets of eGovernment Initiatives: Paradigms and Approaches / 1:
Background and Motivations for a Methodology / 1.1:
Planning eGovernment Initiatives as Services / 1.2:
Information Systems Strategic Alignment in eGovernment / 1.3:
The Role of Rules in eGovernment Initiatives / 1.4:
The eG4M Multidisciplinary Approach / 1.5:
Summary / 1.6:
Data Governance / 2:
Data Governance Issues / 2.1:
Data Quality / 2.2:
Data Quality Dimensions / 2.2.1:
A Methodology for Data Quality Assessment and Improvement / 2.2.2:
Data Modeling / 2.3:
The Entity - Relationship Model / 2.3.1:
Schema Integration in the Small / 2.4:
Conflict Analysis and Schema Merging / 2.4.1:
Enrichment and Rearrangement / 2.4.2:
Schema Integration in the Large: The Repository of Schemas / 2.5:
Schema Abstraction / 2.5.1:
A Methodology for the Construction of a Repository of Schemas / 2.5.2:
Usages of the Repository of Schemas in eG4M Planning Activities / 2.5.3:
The eG4M Methodology at a Glance / 2.6:
Black-Box and White-Box Description of the Methodology / 3.1:
Running Example / 3.2:
Strategic Planning / 3.3:
eGovernment Vision Elicitation / 4:
Policies and Principles / 4.1:
Preliminary eGovernment Vision Elicitation / 4.2:
Strategy Modeling / 4.3:
The Map Model / 4.3.1:
Building the AS-WISHED Business Model / 4.3.2:
Documenting the AS-WISHED Business Model / 4.3.3:
Defining the Macro- and Micro-objectives of the eGovernment Vision / 4.4:
State Reconstruction / 4.5:
How to Represent eG4M Facets / 5.1:
Social Context / 5.1.1:
Services / 5.1.2:
Types of Users / 5.1.3:
Laws / 5.1.4:
Organization / 5.1.5:
Process / 5.1.6:
Data / 5.1.7:
How to Represent Relationships Among Issues / 5.2:
Services and Laws / 5.2.1:
Services, Processes, Macro-processes / 5.2.2:
Processes and Organizations / 5.2.3:
Organizations and Types of Data / 5.2.4:
Organizations and Data Flows / 5.2.5:
Types of Data and Databases / 5.2.6:
Other Relationships / 5.2.7:
Enriching Matrices with Quantitative Data / 5.3:
Usages of Knowledge Collected in the State Reconstruction Phase / 5.4:
eReadiness Assessment / 5.5:
What Is eReadiness? / 6.1:
Social and Organizational Analysis / 6.2:
The SECI Tool / 6.2.1:
SECI Field Analysis at the Tangier Municipality / 6.2.2:
The Microeconomic eReadiness Model / 6.2.3:
The Model and Reality / 6.3.1:
Case Study / 6.3.2:
The Investment in Innovation Effect / 6.3.3:
The Substitution/Integration and Back-Office Reorganization Effects / 6.3.4:
Implications for Economic Policy and Public Sector Management / 6.4:
Quality Assessment / 6.5:
Introduction to Quality / 7.1:
The eG4M Quality Registry / 7.2:
Efficiency / 7.2.1:
Effectiveness / 7.2.2:
Accessibility / 7.2.3:
Accountability / 7.2.4:
Dependencies Among Dimensions / 7.3:
A Methodology for the Assessment Activity / 7.4:
Operational Planning / 7.5:
Definition of Priority Services and Value Targets / 8:
Definition of Priority Macro/Micro-objectives / 8.1:
Define the Priority Services / 8.2:
Definition of Priority Qualities and Target Values / 8.3:
Choice of Projects / 8.4:
A Reference Architecture for eGovernment Projects / 9.1:
Applications / 9.1.1:
A Methodology for the Choice of Projects / 9.2:
Cluster Services and Find Bundles / 9.3:
Choose Project Solutions / 9.3.1:
Identify Reusable Layers / 9.4.1:
A Reference Technological Architecture / 9.6:
Organizational Considerations for Setting Up a Reference Architecture / 10.1:
Basic Concepts / 10.2:
Overview of the Reference Architecture / 10.3:
Service Agreements / 10.4:
Cooperation Domains and Cooperation Agreements / 10.5:
Repositories for Agreements and Schemas/Ontologies / 10.6:
Other Elements / 10.7:
Security Services / 10.7.1:
Monitoring, Management, and Qualification Services / 10.7.2:
Similar Initiatives in Europe / 10.8:
Guidelines for the Specification of New Administrative Processes / 10.9:
Overview of the Guidelines / 11.1:
Tools for the Design Time / 11.2:
Dealing with Legacy Systems / 11.3:
Legacy Systems Classification / 11.3.1:
Management of Legacy Systems / 11.3.2:
A Case Study / 11.4:
eGovernment in Mediterranean Countries Public Administrations: Case Studies / 11.5:
eGovernment Initiatives in Italy / 12:
Technological Innovation as a Guide to Redesigning Government / 12.1:
The Strategic Guidelines / 12.1.1:
The Modern Public Administration: A Network of Systems / 12.1.2:
eEurope and the Economic and Social Growth / 12.1.3:
eGovernment Development / 12.2:
Survey by CNEL on the Dematerialization and Network Transmission of Documents / 12.2.1:
Survey on ICT in Italian Companies / 12.2.2:
ICT Cooperation Within Government Agencies / 12.2.3:
Conclusion and Open Issues / 12.3:
Tunisian Ministry of Agriculture Planning of New Services and Information Systems Integration / 12.4:
Organizational Structure of the Ministry of Agriculture / 13.1:
The Activities Performed and Organization of Work / 13.2:
Conceptual Schemas of the Databases / 13.3:
The Abstractions on Schemas / 13.4:
The Repository of Schemas / 13.5:
Analysis of the Schema Repository to Achieve Effective Strategic Planning Decisions / 13.6:
Summary and Conclusion of the Book / 13.7:
Appendix / Part V:
Information Integration Technologies / A:
Drawbacks of Database Architectures in Organizations and the Value of Enterprise Integration / A.1:
Traditional Centralized and Distributed DBMS Architectures / A.2:
Data Integration Solutions / A.3:
Data Warehouse Architecture / A.3.1:
Virtual Data Integration Architecture / A.3.2:
Optimal Evolution of the Database Architecture / A.4:
Business Process Management / B:
Process Life Cycle / B.1:
BPMN / B.2:
Technologies / B.3:
References
Index
eGovernment: A Complex Challenge / Part I:
The Different Facets of eGovernment Initiatives: Paradigms and Approaches / 1:
Background and Motivations for a Methodology / 1.1:
77.

電子ブック

EB
Andr? Platzer, Andr? Platzer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
78.

電子ブック

EB
Will van der Aalst, Esther David, Enrico Gerding, John Mylopoulos, David Sarne, Onn Shehory
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Study of Central Auction Based Wholesale Electricity Markets / Sofia Ceppi ; Nicola Gatti
The Choice of Eliminating the Uncertainty Cloud in Auctions / Esther David ; David Sarne
Eliciting Expert Advice in Service-Oriented Computing / Enrico H. Gerding ; Kate Larson ; Nicholas R. Jennings
Approximating the Qualitative Vickrey Auction by a Negotiation Protocol / Koen V. Hindriks ; Dmytro Tykhonov ; Mathijs de Weerdt
Automated Analysis of Auction Traces / Mark Hoogendoorn ; Maria Gini
Mechanism Design for the Online Allocation of Items without Monetary Payments / Behnam Jalilzadeh ; Léon Planken
A Demand-Driven Approach for a Multi-Agent System in Supply Chain Management / Yeugeniya Kovalchuk ; Maria Fasli
Mechanism Design for Eliciting Probabilistic Estimates from Multiple Suppliers with Unknown Costs and Limited Precision / Athanasios Papakonstantinou ; Alex Rogers
Nash Social Welfare in Multiagent Resource Allocation / Sara Ramezani ; Ulle Endriss
Leading a Best-Response Teammate in an Ad Hoc Team / Peter Stone ; Gal A. Kaminka ; Jeffrey S. Rosenschein
Designing an Ad Auctions Game for the Trading Agent Competition / Patrick R. Jordan ; Michael P. Wellman
Robust Planning and Control Using Intelligent Products / Gerben G. Meyer ; J.C. (Hans) Wortmann
How Specialised Are Specialists? Generalisation Properties of Entries from the 2008 and 2009 TAC Market Design Competitions / Edward Robinson ; Peter McBurney ; Xin Yao
Learning Improved Entertainment Trading Strategies for the TAC Travel Game / L. Julian Schvartzman
Evaluation of Market Design Agents: The Mertacor Perspective / Lampros C. Stavrogiannis ; Pericles A. Mitkas
Continuous Double Auctions with Execution Uncertainty / Gert van Valkenhoef ; Sarvapali D. Ramchurn ; Perukrishnen Vytelingum ; Rineke Verbrugge
Sequential Auctions with Partially Substitutable Goods / Ioannis A. Vetsikas
From General Game Descriptions to a Market Specification Language for General Trading Agents / Michael Thielscher ; Dongmo Zhang
Author Index
A Study of Central Auction Based Wholesale Electricity Markets / Sofia Ceppi ; Nicola Gatti
The Choice of Eliminating the Uncertainty Cloud in Auctions / Esther David ; David Sarne
Eliciting Expert Advice in Service-Oriented Computing / Enrico H. Gerding ; Kate Larson ; Nicholas R. Jennings
79.

電子ブック

EB
Will van der Aalst, Witold Abramowicz, John Mylopoulos, Robert Tolksdorf, Krzysztof Wecel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
AKTB Workshop
AKTB 2010 Workshop Chairs' Message / Virgilijus Sakalauskas ; Dalia Kriksciuniene
Case-Based System for Innovation Management in Electric Power Enterprises / Tania C.D. Bueno ; César R.K. Stradiotto ; Sonali P.M. Bedin ; Vinícius O. Mirapalheta ; Hugo C. Hoeschl ; Thiago P.S. de Oliveira ; Luiz A.P. Athayde Filho ; Pedro A.S. de Carvalho Júnior
Credit Risk Evaluation Using SVM-Based Classifier / Paulius Danenas ; Gintautas Garsva
Logistic Analysis of Price Bubble and Current Situation in USA Real Estate / Stasys Girdzijauskas ; Marius Dubnikovas
Using Multi-criteria Decision Making to Choose Process Representation Format for a Process Repository / Mturi Elias ; Khurram Shahzad
On Valuing Advanced Technologies in Greenfield Projects / Vilde Hushovd Godø ; Darijus Strasunskas ; Asgeir Tomasgard
Self-adapting Intelligent Business Processes Execution Analysis / Sandra Strigunaite
MDA Compatible Knowledge Based IS Development Process / Audrius Lopata ; Martas Ambraziunas
Incomplete Information within Relative Pairwise Comparisons as Utilized by the AHP / Edward W.N. Bernroider ; Konradin Maier ; Volker Stix
Short Term Trading Strategy Based on Chart Pattern Recognition and Trend Trading in Nasdaq Biotechnology Stock Market / Saulius Masteika
A Model of Employee Selection for SME Based on Innovation Transfer / Justyna Patalas-Maliszewska ; Irene Krebs
Mining Decision Activity Logs / Razvan Petrusel ; Daniel Mican
Applications of Voice Based Informative Public Services: Lithuanian Case / Vytautas Rudzionis ; Rytis Maskeliunas ; Ramunas Šablinskas ; Algimantas Rudzionis
Structure and Levers for Computational Evaluation of Customer Captial
Data Mining for Small Organizations / Aukse Stravinskiene ; Saulius Gudas
BITA Workshop
BITA 2010 Workshop Chairs' Message / Ulf Seigerroth ; Kurt Sandkuhl
Design Thinking: Towards a Unified View of Organizational and Technological Realms / Dimitris Bibikas ; Eleni Kargioti
Interaction between Heterogeneous Autonomous Systems: Principles and Practice / Mats-Ake Hugoson ; Ulf Larsson ; Vladimir Tarasov
Business/IT Alignment: The Executive Perspective: New-Generation EIS Architecture as a Case Example / Jörg H. Mayer ; Bernhard Krönke
Enterprise Architecture Design Principles and Business-Driven IT Management / Mats-Åke Hugoson ; Thanos Magoulas ; Kalevi Pessi
ILOG Workshop
ILOG 2010 Workshop Chairs' Message / Wolfgang Deiters ; Anita Mirijamdotter
Ubiquitous Microblogging: A Flow-Based Front-End for Information Logistics / Martin Böhringer ; Martin Gaedke
Information Reuse and Interoperability with Ontology Patterns and Linked Data: First Experiences from the ExpertFinder Project / Karl Hammar ; Feiyu Lin
MAPPER Collaboration Platform for Knowledge-Intensive Engineering Processes / Havard Jorgensen ; Svein G. Johnsen ; Adam Pawlak ; Till Schümmer ; Peter Tandler
Using Context to Improve Information Supply in the Medical Sector / Oliver Koch ; Elisei Rotaru
Validation and Use of Information Demand Patterns in Higher Education
Context-Based Information and Knowledge Logistics for Self-organisation of Web-Services in Smart Environments / Alexander Smirnov ; Tatiana Levashova ; Nikolay Shilov
Use Cases for Business Metadata - A Viewpoint-Based Approach to Structuring and Prioritizing Business Needs / Daniel Stock ; Felix Wortmann
LIT Workshop
LIT 2010 Workshop Chairs' Message / Piotr Stolarski ; Tadeusz Tomaszewski ; John Zeleznikow
An Overview of the Legal Knowledge Interchange Format / Thomas F. Gordon
How Information Technology Can Support Family Law and Mediation / Emilia Bellucci ; Deborah MacFarlane
Traceability of the Implementation of Legal Rules in Public Administration / Alexander Boer ; Tom van Engers ; Radboud Winkels
Legal Ontology Construction Using ATOB Algorithm / Vi-sit Boonchom ; Nuanwan Soonthornphisaj
Semantic Interoperability among Thesauri: A Challenge in the Multicultural Legal Domain / Enrico Francesconi ; Ginevra Peruginelli
A Framework for Graph-Based Parsing of German Private Law Decisions / Florian Kuhn
Mediated Signatures - Towards Undeniability of Digital Data in Technical and Legal Framework / Przemystaw Kubiak ; Mirostaw Kutytowski ; Anna Lauks-Dutka ; Michat Tabor
Ontojuris Project: A Multilingual Legal Document Search System Based on a Graphical Ontology Editor / César K. Stradiotto
Author Index
AKTB Workshop
AKTB 2010 Workshop Chairs' Message / Virgilijus Sakalauskas ; Dalia Kriksciuniene
Case-Based System for Innovation Management in Electric Power Enterprises / Tania C.D. Bueno ; César R.K. Stradiotto ; Sonali P.M. Bedin ; Vinícius O. Mirapalheta ; Hugo C. Hoeschl ; Thiago P.S. de Oliveira ; Luiz A.P. Athayde Filho ; Pedro A.S. de Carvalho Júnior
80.

電子ブック

EB
Andreas; O'Connor, Rory; Tichkiewitch, Serge Riel, Richard Messnarz, Rory O'Connor, Andreas Riel, Serge Tichkiewitch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Graphical Technique to Support the Teaching/Learning Process of Software Process Reference Models / Ismael Edrein Espinosa-Curiel ; Josefina Rodríguez-Jacobo ; José Alberto Fernández-Zepeda
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
Team SPICE: A SPICE-Based Teamwork Assessment Model / Esperança Amengual ; Antònia Mas ; Antoni Lluís Mesquida
MATURE: A Model Driven bAsed Tool to Automatically Generate a Language that Supports CMMI Process Areas spEcification / David Musat ; Víctor Castaño ; Jose A. Calvo-Manzano ; Juan Garbajosa
Requirement Changes and Project Success: The Moderating Effects of Agile Approaches in System Engineering Projects / Sabine Maierhofer ; Ernst Stelzmann ; Markus Kohlbacher ; Björn Fellner
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application / Dietmar Winkler ; Frank Elberzhager ; Stefan Biffl ; Robert Eschbach
Improving Video Game Development: Facilitating Heterogeneous Team Collaboration through Flexible Software Processes / Juergen Musil ; Angelika Schweda
Improving IT Service Management Processes: A Case Study on IT Service Support / Antti Lahtela ; Marko Jäntti
Approach to Identify Internal Best Practices in a Software Organization / Calvo-Manzano Jose A. ; Cuevas Gonzalo ; Mejia Jezreel ; Muñoz Mirna ; San Feliu Tomás ; Sánchez Ángel ; Rocha Álvaro
Which Process Model Practices Support Project Success? / Marion Lepmets
How to Improve Process Models for Better ISO/IEC 15504 Process Assessment / Michel Picard ; Alain Renault ; Stéphane Cortina
The Tutelkan SPI Framework for Small Settings: A Methodology Transfer Vehicle / Gonzalo Valdes ; Hernán Astudillo ; Marcello Visconti ; Claudia López
Understanding the Perception of Very Small Software Companies towards the Adoption of Process Standards / Shuib Basri ; Rory V. O'Connor
Software Engineering Support Activities for Very Small Entities / Vincent Ribaud ; Philippe Saliou ; Claude Y. Laporte
Improving Software Development Process through Economic Mechanism Design / Murat Yilmaz ; John Collins
Impact of Growing Business on Software Processes / Natalja Nikitina ; Mira Kajko-Mattsson
The Rosetta Stone Methodology - A Benefits-Driven Approach to SPI / Fionbarr McLoughlin ; Ita Richardson
SPICE Level 3 - Experience with Using E-Learning to Coach the Use of Standard System Design Best Practices in Projects / R. Messnarz ; O. Bachmann ; D. Ekert ; A. Riel
Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto / Mikkel Yde Kjær ; Jens Bæk Jørgensen
Integrated Design - A Set of Competences and Skills Required by Systems and Product Architects / Andreas Riel
Agility Meets Systems Engineering: A Catalogue of Success Factors from Industry Practice / Christian Kreiner ; Gunther Spork ; Richard Messnarz ; Frank Koenig
How Green Is Your Black Belt? / Dick Theisens
Exploring Managerial Commitment towards SPI in Small and Very Small Enterprises / Gerry Coleman
Implementation of Software Process Improvement through TSPi in Very Small Enterprises / Edgar Caballero ; Gonzalo Cuevas ; Tomás San Feliu
Application of ISO/IEC 15504 in Very Small Enterprises / Antonia Mas
Author Index
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Graphical Technique to Support the Teaching/Learning Process of Software Process Reference Models / Ismael Edrein Espinosa-Curiel ; Josefina Rodríguez-Jacobo ; José Alberto Fernández-Zepeda
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
81.

電子ブック

EB
S?rgio Tenreiro de Magalh?es, Ali G. Hessami, Hamid Jahankhani, Sergio Tenreiro de Magalhaes
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Management of the Benefits on the Client's Involvement on Ergonomic Analysis / Isabel F. Loureiro ; Celina P. Leão ; Pedro Arezes
A Security Audit Framework to Manage Information System Security / Teresa Pereira ; Henrique Santos
The Cloud's Core Virtual Infrastructure Security / Annette Tolnai ; Sebastiaan von Solms
Collaboration and Command Tools for Crises Management / Tapio Saarelainen ; Jorma Jormakka
Trust and Reputation Management for Critical Infrastructure Protection / Filip Caldeira ; Edmundo Monteiro ; Paulo Simões
An Approach to Textual Steganography / Michael Morran ; George R.S. Weir
Cybercime Victimisations/Criminalisation and Punishment / Ameer Al-Nemrat ; Hamid Jahankhani ; David S. Preston
Baby-Crying Acceptance / Tiago Martins ; Sérgio Tenreiro de Magalhães
Design of Discrete Variable Structure Controller Based on Variable Boundary Layer / Shibin Su ; Heng Wang|Hua Zhang ; Wei Xiong
Cognitive Biometrics: Challenges for the Future / Kenneth Revett ; Sergio Tenreiro de Magalhães
Multimodal Biometrics and Multilayered IDM for Secure Authentication / Abdullah Rashed
Secure Biometric Multi-Logon System Based on Current Authentication Technologies / Bobby L. Tait
Analysis of Fingerprint Image to Verify a Person / Hossein Jahankhani ; Maktuba Mohid
Methods of Organizational Information Security (A Literature Review) / José Martins ; Henrique dos Santos
OTM Machine Acceptance: In the Arab Culture
A Study on the Interrelations between the Security-Related Antecedents of Customers' Online Trust / Hamid Reza Peikari
Does Nationality Matter in the B2C Environment? Results from a Two Nation Study
Deployment of ERP Systems at Automotive Industries, Security Inspection (Case Study: IRAN KHODRO Automotive Comapany) / Hatamirad Ali ; Mehrjerdi Hasan
Governance and Risk Management of Network and Information Security: The Role of Public Private Partnerships in Managing the Existing and Emerging Risks / Jyoti Navare ; Orhan Gemikonakli
The Effect of Non-technical Factors in B2C E-Commerce (A Case Study in Iran) / Ali Sanayei ; Reza Shafe'ei
Self-monitoring Composite Rods for Sustainable Construction / Cristiana Gonilho-Pereira ; Emilija Zdraveva ; Raul Fangueiro ; S. Lanceros-Mendez ; Said Jalali ; Mário de Araújo
Systems Assurance, Complexity and Emergence: The Need for a Systems Based Approach / Ali Hessami ; Nicos Karcanias
A Review Sustainability Models / Amin Hosseinian Far ; Elias Pimenidis ; D.C. Wijeyesekera
The Influence of Security Statement, Technical Protection, and Privacy on Satisfaction and Loyalty; A Structural Equation Modeling
"Fiscal Illusion Causes Fiscal Delusion-Please Be Careful" / Paulo Mourao
A Coloured Petri Net Analysis of the Transaction Internet Protocol / Christos K. Georgiadis ; Ioannis Kokkinidis
Identification of the Required Security Practices during e-Government Maturity / Ali Shayan ; Behnam Abdi ; Malihe Qeisari
Dynamic Device Configuration in Ubiquitous Environments / Abdullahi Arabo ; Qi Shi ; Madjid Merabti
Mitigation of Control Channel Jamming via Combinatorial Key Distribution / Abolfazl Falahati ; Mahdi Azarafrooz
A Proxy Signature Scheme Based on Coding Theory / Hoda Jannati
Partially Key Distribution with Public Key Cryptosystem Based on Error Control Codes / Saeed Ebadi Tavallaei
Author Index
Management of the Benefits on the Client's Involvement on Ergonomic Analysis / Isabel F. Loureiro ; Celina P. Leão ; Pedro Arezes
A Security Audit Framework to Manage Information System Security / Teresa Pereira ; Henrique Santos
The Cloud's Core Virtual Infrastructure Security / Annette Tolnai ; Sebastiaan von Solms
82.

電子ブック

EB
Will van der Aalst, Joseph Barjis, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Business Process Simulation Revisited / Wil M.P. van der Aalst
The Relevance of Modeling and Simulation in Enterprise and Organizational Study / Joseph Barjis ; Alexander Verbraeck
Organization Modeling and Simulation Using BORM Approach / Jirí Brozek ; Vojtech Merunka ; Iveta Merunková
Agent-Based Simulation for Evaluating Flexible and Agile Business Processes: Separating Knowledge Rules, Process Rules and Information Resources / Yiwei Gong ; Marijn Janssen
Using Fact-Based Modeling for Business Simulation / Peter Bollen
A Framework for the Semantic Representation of Business Processes within Business Organizational Models / Ana Belén Pelegrina ; Kawtar Benghazi ; María Visitación Hurtado ; Manuel Noguera
ERP Implementation Strategies: The Importance of Process Modeling and Analysis / Angel Díaz ; Oswaldo Lorenzo ; Björn Claes
A Technique for Annotating EA Information Models with Goals / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
Applying DEMO in Operations Research: Lot Sizing and Scheduling / Roland W. Ettema
User Interfaces Modelling of Workflow Information Systems / Wided Bouchelligua ; Adel Mahfoudhi ; Nesrine Mezhoudi ; Olfa Daassi ; Mourad Abed
Mal-processes: Explicitly Modelling the Deviant / David Sundaram ; Max Erik Rohde
Modeling Human Decision Behaviors for Accurate Prediction of Project Schedule Duration / Sanja Lazarova-Molnar ; Rabeb Mizouni
Author Index
Business Process Simulation Revisited / Wil M.P. van der Aalst
The Relevance of Modeling and Simulation in Enterprise and Organizational Study / Joseph Barjis ; Alexander Verbraeck
Organization Modeling and Simulation Using BORM Approach / Jirí Brozek ; Vojtech Merunka ; Iveta Merunková
83.

電子ブック

EB
Janahanlal Stephen, Nessy Thankachan Vinu V Das, Vinu V. Das, Janahallal Stephen, Janahanlal Stephen, Nessy Thankachan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Full Paper
Novel Design for RF MEMS Capacitive Shunt Switch in K and Ku Bands / Rakesh S. Lal ; A. Amalin Prince ; Iven Jose
Power System Dynamic Stability Enhancement of SMIB Using Fuzzy Logic Based Power System Stabilizer / Kamalesh Chandra Rout ; P.C. Panda
A Novel Configuration of Unified Power Flow Controller / S. Baskar ; N. Kumarappan ; R. Gnanadass
New Results on the Global Chaos Synchronization for Liu-Chen-Liu and Lü Chaotic Systems / Sundarapandian Vaidyanathan ; Suresh Rasappan
New Results on the Reduced Order Model Design for the Linear Discrete-Time Control Systems / V. Sundarapandian ; M. Kavitha ; C.S. Ravichandran
Transient Stability Enhancement of a Multimachine Power System with Admittance Model Static Reactive Power Compensator / Jose P. Therattil
Peie 2010 - Short Paper
Design of Cranial Electrotherapy Stimulator and Analyzing It with EEG / Gopalakrishnan Narayanamurthy ; Mahesh Veezhinathan
Analysis on Static Voltage Stability Using SVC, STATCOM, TCSC & UPFC / S.M. Padmaja ; G. Tulasiram Das
Torque Ripple Minimization of Permanent Magnet Brushless Dc Motor Using Genetic Algorithm / E. Kaliappan ; C. Sharmeela
Residential-Scale Solar/Pico-Hydel/Wind Based Hybrid Energy System for Remote Area Electrification / S. Kumarvel ; S. Ashok
Designing CDMA Modem in FPGA Based on DSSS / Amit Tripathi ; M.S. Korde
Voltage Clamped DC-DC Converter With Reduced Reverse Recovery Current and Switch Voltage Stress / P. Hari Krishna Prasad ; Venu Gopala Rao Mannam
Online Monitoring of Available Transfer Capability in Deregulated Power System Using Adaptive Neuro Fuzzy Inference System / P. Gopi Krishna ; T. Gowri Manohar ; G.N. Srinivas
A Novel Technique for Indication of Power Frequency Deviations in Electrical Systems / Jitendra Dwivedi ; M. Shukla ; K.S. Verma ; R.K. Singh
Novel Auxiliary Switch Very-High-Frequency Zero Current Switching Resonant Dc-DC Boost Converter / K. Thiruppathi ; S. Vinodha ; R. Kirubagaran
Peie 2010 - Poster Paper
Vulnerable Load Bus Identification Using Radial Basis Neural Network / Gauri Shankar ; Bhavik Suthar ; R. Balasubramanian ; Prince Ashok
FPGA Based Design of Robust Spatial Domain Image Watermarking Algorithm / Basu Abhishek ; Das Tirtha Sankar ; Nurul Islam ; Sarkar Subir Kumar
A High Performance Direct Torque Control of PMBLDC Motor Using Hybrid (GA Based Fuzzy logic) Controller / A.V. Sayee Krishna
Embedded System Design and Real Time Hardware Implementation of OLED Interface Card / Himanshu Singh ; Sudhir Khare ; Ajay Kumar ; S.S. Negi
Frequency Detector Using Piezo Laminated Cantilever Beam / B.V.M.P. Santhosh Kumar ; U. Varun Kumar ; K. Suresh ; G. Uma ; M. Umapathy
IMC Based PID Controller Tuning for Unstable SOPDT Processes / V.K. Singh ; P.K. Padhy ; S.K. Jain
Author Index
Full Paper
Novel Design for RF MEMS Capacitive Shunt Switch in K and Ku Bands / Rakesh S. Lal ; A. Amalin Prince ; Iven Jose
Power System Dynamic Stability Enhancement of SMIB Using Fuzzy Logic Based Power System Stabilizer / Kamalesh Chandra Rout ; P.C. Panda
84.

電子ブック

EB
Vinu V; Vijaykumar, R. Das, Vinu V. Das, R. Vijaykumar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
85.

電子ブック

EB
Prahlad; Kim, Jong-Hwan; Jesse, Norbert; Baltes, Jacky ; Verner, Igor V. ; Ahlgren, David Vadakkepat, David Ahlgren, Abdullah Al Mamun, John Anderson, Jacky Baltes, Norbert Jesse, Jong-Hwan Kim, Tan Kok Kiong, Prahlad Vadakkepat, Igor Verner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Autonomous Underwater Vehicles
Navigation of Autonomous Underwater Vehicle Using Extended Kalman Filter / Ranjan T.N. ; Arun Nherakkol ; Gajanan Navelkar
Safety Aspects for Underwater Vehicles / R. Madhan ; G. Navelkar ; Elgar Desa ; Sanjeev Afzulpurkar ; Shivanand Prabhudesai ; Nitin Dabholkar ; Antonio Mascarenhas ; Pramod Maurya
Autonomous Vertical Profiler Data Management
Navigation and Position Control of Underwater Vehicle ROSUB 6000 / Manecius Selvakumar Joseph ; Atmanand M.A. ; Ramadass G.A. ; Ramesh Raju ; Jayakumar V.K.
Distributed Real Time Control Systems for Deep Water ROV (ROSUB 6000) / R. Ramesh ; V.K. Jayakumar ; J. Manecius Selvakumar ; V. Doss Prakash ; G.A. Ramadass ; M.A. Atmanand
Control Architecture for AUV-150: A Systems Approach / S.K. Das ; D. Pal ; S. Nandy ; V. Kumar ; S.N. Shome ; B. Mahanti
Autonomous Underwater Vehicle for 150m Depth-Development Phases and Hurdles Faced / B. Mahanty ; R. Ray ; D. Banerji
Humanoid Robotics and Multi Legged Systems
SOPC Based Human Biped Motion Tracking Control for Human-Sized Biped Robot / Su Yu-Te ; Li Tzuu-Hseng S. ; Chen Wen-Chien ; Hu Jhen-Jia
Walking Pattern Generator Using an Evolutionary Central Pattern Generator / Chang-Soo Park ; Jeong-Ki Yoo ; Young-Dae Hong ; Ki-Baek Lee ; Si-Jung Ryu ; Jong-Hawn Kim
Analysis and Study of Human Joint Torque and Motion Energy during Walking on Various Grounds / Kuo-Yang Tu ; Wei-Cheng Lee
Applied Complex Motion Planning and Motion Control for Humanoid Robots in Vertical Motion Sceneries / Marco Wickrath
Stuctural Design of Walking and Mathematical Model of Humanoid Robot MC - 01 / Matej Cirip ; Marek Sukop ; Mikulás Hajduk
Mechanical Design of Small-Size Humanoid Robot: TWNHR-VI / Hsiang-Min Chan ; Kai-Hsiang Huang ; Yueh-Yang Hu ; Ching-Chang Wong
Imitation Learning from Humanoids in a Heterogeneous Setting / Jeff Allen ; John Anderson ; Jacky Baltes
Here Comes the Robotic Brain! / Adalberto Llarena
The Real-Time Embedded System for a Humanoid: Betty / Meng Cheng Lau
Design and Implementation of SOPC Based Motion Control for Human-Sized Biped Robot
Dynamic Modeling of Energy Efficient Hexapod Robot's Locomotion over Gradient Terrains / Shibendu Shekhar Roy ; Pranab Sen Choudhury ; Dilip Kumar Pratihar
Dynamic Modeling and Optimal Foot Force Distribution of Quadruped Walking Robot / Abhishek Agarwal ; Praveen Kumar Gautam
Determination of Optimally Stable Posture for Force Actuator Based Articulated Suspension for Rough Terrain Mobility / Vijay Eathakota ; Arun Kumar Singh ; Srikant Kolachalam ; K. Madhava Krishna
Multi-Agent / Robot Systems
Multi-Agent Rendezvous Algorithm with Rectilinear Decision Domain / Kaushik Das ; Debasish Ghose
Task and Role Selection Strategy for Multi-robot Cooperation in Robot Soccer / Dong-Hyun Lee ; Ki-In Na ; Jong-Hwan Kim
Positional Consensus of Multi-Agent Systems Using Linear Programming Based Decentralized Control with Rectilinear Decision Domain
Tacit Navigation Method for Multi-agent System / J.W. Kim ; Y.H. Kim ; B.C. Min ; D.H. Kim
Q-Learning Policies for Multi-Agent Foraging Task / Yogeswaran M ; Ponnambalam S.G.
Path Planning and Navigation
An Intelligent Algorithm for the Path Planning of Autonomous Mobile Robot for Dynamic Environment / Soumic Sarkar ; Sankar Nath Shome
Rectilinear Path Following in 3D Space / Sikha Hota
Design and Implementation of Autonomous Navigation System for Mobile Harbors / Iksu Shin ; Yuseok Bang ; Donghoon Kim ; Jongdae Jung ; Hyun Myung
Path Planning Algorithm Based on the Limit-Cycle Navigation Method Applied to the Edge of Obstacles / Y.W. Lim ; J.U. An
An Efficient Random Walk Strategy for Sampling Based Robot Motion Planners / Titas Bera ; M. Seetharama Bhat
Ordering of Robotic Navigational Tasks in Home Environment / Syed Atif Mehdi ; Karsten Berns
Robotics and Education
Attracting Students to Engineering: Using Intuitive HRIs for Educational Purposes / Pedro Neto ; Nuno Mendes ; Nélio Mourato ; J. Norberto Pires ; A. Paulo Moreira
Robots as a Tool for Teaching Differential Equations / Anna Friesel
A Course Programme in Mobile Robotics with Integrated Hands-on Exercises and Competitions / Ole Ravn ; Nils A. Andersen
RoboWaiter Competition: Linking Robotics Education to Social Responsibility / David J. Ahlgren ; Igor M. Verner
Pattern Analysis and Classification
A Comparison between Growing and Variably Dense Self Organizing Maps for Incremental Learning in Hubel Weisel Models of Concept Representation / Neo Choon kiat Daniel ; Kiruthika Ramanathan ; Shi Luping ; Prahlad Vadakkepat
Hand Posture Recognition Using Neuro-Biologically Inspired Features / Pramod Kumar P. ; Stephanie Quek Shu Hui ; Loh Ai Poh
Wavelet Based Medical Image Fusion Using Filter Masks / Susmitha Vekkot
Boosting Based Fuzzy-Rough Pattern Classifier / Pramod Kumar P ; Sivakumar Ganesan
Face Detector Design for an Expression Robot / China-Chang Wong ; Yu-Ting Yang ; Hao-En Cheng ; Meng-Hung Tsai
Control and Sensing
Fuzzy-PI Force Control for Industrial Robotics
PSO-Optimized Fuzzy Logic Controller for a Single Wheel Robot / Abdullah Al-Mamun ; Zhen Zhu
Neural Network Control of Nonlinear Time-Delay System with Unknown Dead-Zone and Its Application to a Robotic Servo System / Jing Na ; Guido Herrmann ; Xuemei Ren
The Computational Accuracy of Cover Time for Circular Sensing Range / Muhamad Azfar Ramli ; Gerard Leng
Frontier Based Multiple Goal Search in Unknown Environments / V.R. Jisha ; D. Ghose
Multiple Sensor Based Autonomous Monitoring and Control for Energy Efficiency / Liyanage C. De Silva ; Titty Dewana ; M. Iskandar Petra ; G. Amal Punchihewa
Author Index
Autonomous Underwater Vehicles
Navigation of Autonomous Underwater Vehicle Using Extended Kalman Filter / Ranjan T.N. ; Arun Nherakkol ; Gajanan Navelkar
Safety Aspects for Underwater Vehicles / R. Madhan ; G. Navelkar ; Elgar Desa ; Sanjeev Afzulpurkar ; Shivanand Prabhudesai ; Nitin Dabholkar ; Antonio Mascarenhas ; Pramod Maurya
86.

電子ブック

EB
Maristella Agosti, Floriana Esposito, Costantino Thanos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
Digital Cultural Content: National and European Projects and Strategies / Rossella Caffo
Archival Information Systems in Italy and the National Archival Portal / Stefano Vitali
System Interoperability and Data Integration
Making Digital Library Content Interoperable / Leonardo Candela ; Donatella Castelli ; Costantino Thanos
Integrating a Content-Based Recommender System into Digital Libraries for Cultural Heritage / Cataldo Musto ; Fedelucio Narducci ; Pasquale Lops ; Marco de Gemmis ; Giovanni Semeraro
Infrastructures, Metadata Creation and Management
Digital Stacks: Turning a Current Prototype into an Operational Service / Giovanni Bergamin ; Maurizio Messina
A First National Italian Register for Digital Resources for Both Cultural and Scientific Communities (Communication) / Maurizio Lunghi
FAST and NESTOR: How to Exploit Annotation Hierarchies / Nicola Ferro ; Gianmaria Silvello
A New Domain Independent Keyphrase Extraction System / Nirmala Pudota ; Antonina Dattolo ; Andrea Baruzzo ; Carlo Tasso
An Event-Centric Provenance Model for Digital Libraries / Paolo Manghi ; Pasquale Pagano ; Cristina Tang
A Digital Library Effort to Support the Building of Grammatical Resourcesfor Italian Dialects / Maristella Agosti ; Paola Benincà ; Giorgio Maria Di Nunzio ; Riccardo Miotto ; Diego Pescarini
Representation, Indexing and Retrieval in Digital Libraries
Interactive Visual Representations of Complex Information Structures / Gianpaolo D'Amico ; Alberto Del Bimbo ; Marco Meoni
Mathematical Symbol Indexing for Digital Libraries / Simone Marinai ; Beatrice Miotti ; Giovanni Soda
Using Explicit Word Co-occurrences to Improve Term-Based Text Retrieval / Stefano Ferilli ; Marenglen Biba ; Teresa M.A. Basile ; Floriana Esposito
Semantic Relatedness Approach for Named Entity Disambiguation / Anna Lisa Gentile ; Ziqi Zhang ; Lei Xia ; José Iria
Merging Structural and Taxonomic Similarity for Text Retrieval Using Relational Descriptions / Nicola Di Mauro
Handling Audio-Visual and Non-traditional Objects
Audio Objects Access: Tools for the Preservation of the Cultural Heritage / Sergio Canazza ; Nicola Orio
Toward Conversation Retrieval / Matteo Magnani ; Danilo Montesi
Improving Classification and Retrieval of Illuminated Manuscript with Semantic Information / Costantino Grana ; Daniele Borghesani ; Rita Cucchiara
Content-Based Cover Song Identification in Music Digital Libraries / Nicola Montecchio
Toward an Audio Digital Library 2.0: Smash, a Social Music Archive of SHellac Phonographic Discs
Author Index
Keynote Addresses
Digital Cultural Content: National and European Projects and Strategies / Rossella Caffo
Archival Information Systems in Italy and the National Archival Portal / Stefano Vitali
87.

電子ブック

EB
Kang; Li, Xin; Ma, Shiwei; Irwin, George William Li, George W. Irwin, Kang Li, Xin Li, Shiwei Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The First Section: Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems
Research on Steam Generator Water Level Control System Based on Nuclear Power Plant Simulator / Jianghua Guo
Stabilization for Networked Control Systems with Packet Dropout Based on Average Dwell Time Method / Jinxia Xie ; Yang Song ; Xiaomin Tu ; Minrui Fei
Modeling of Real-Time Double Loops System in Predicting Sinterings BTP / Wushan Cheng
An Orthogonal Curvature Fiber Bragg Grating Sensor Array for Shape Reconstruction / Jincong Yi ; Xiaojin Zhu ; Linyong Shen ; Bing Sun ; Lina Jiang
Implementation of the PCB Pattern Matching System to Detect Defects / Cheol-Hong Moon ; Hyun-Chul Jang ; Jin-Kook Jun
A New Technique of Camera Calibration Based on X-Target / Ruilin Bai ; Jingjing Zhao ; Du Li ; Wei Meng
Application Research of the Wavelet Analysis in Ship Pipeline Leakage Detecting / Zhongbo Peng ; Xin Xie ; Xuefeng Han ; Xiaobiao Fan
Analysis and Implementation of FULMS Algorithm Based Active Vibration Control System / Zhiyuan Gao ; Quanzhen Huang ; Enyu Jiang ; Miao Zhao
Performance Analysis of Industrial Wireless Networks Based on IEEE 802.15.4a / Tongtao Li ; Huosheng Hu
A Hybrid Ant Colony Optimization and Its Application to Vehicle Routing Problem with Time Windows / Xiangpei Hu ; Qiulei Ding ; Yunzeng Wang
Modeling and Simulation of a Yacht Propulsion System / Yihuai Hu ; Xiaoming Wang ; Huawu Zhang
The Second Section: Modeling and Simulation of Societies and Collective Behaviour
Two-Phase Clock Auction Design / Lanbo Miao ; Jiafu Tang
Research on Simulation of Multi-agents Competition Model with Negotiation / Liqiao Wu ; Chunyan Yu ; Hongshu Wang
Synchronization of Ghostburster Neurons under External Electrical Stimulation: An Adaptive Approach / Wei Wei ; Dong Hai Li ; Jing Wang ; Min Zhu
The Third Section: Advanced Theory and Methodology in Fuzzy Systems and Soft Computing
A Collision Detection System for an Assistive Robotic Manipulator / Weidong Chen ; Yixiang Sun ; Yuntian Huang
Adaptive Visual Servoing with Imperfect Camera and Robot Parameters / Hesheng Wang ; Maokui Jiang ; Yun-hui Liu
An Interactive Method to Solve the Priorities of Attributes While the Preferences of Evaluated Units Are under Considering / Guohua Wang ; Jingxian Chen ; Qiang Guo ; Liang Liang
Solving Delay Differential Equations with Homotopy Analysis Method / Qi Wang ; Fenglian Fu
The Fourth Section: Biomedical Signal Processing, Imaging, and Visualization
EEG Classification Based on Artificial Neural Network in Brain Computer Interface / Ting Wu ; Banghua Yang ; Hong Sun
Open Electrical Impedance Tomography: Computer Simulation and System Realization / Wei He ; Bing Li ; Chuanhong He ; Haijun Luo ; Zheng Xu
Digital Watermarking Algorithm Based on Image Fusion / Fan Zhang ; Dongfang Shang ; Xinhong Zhang
The Dynamics of Quorum Sensing Mediated by Small RNAs in Vibrio Harveyi / Jianwei Shen ; Hongxian Zhou
An Algorithm for Reconstruction of Surface from Parallel Contours and its Section Contour Extraction in Any Cutting Plane / Chun Gong ; Can Tang ; Yanhua Cheng ; Sheng Cheng ; Jianwei Zhang
Simulation Modeling of Network Intrusion Detection Based on Artificial Immune System / Yu Jing ; Wang Feng
The Fifth Section: Computational Intelligence in Utilization of Clean and Renewable Energy Resources
Organic Acid Prediction in Biogas Plants Using UV/vis Spectroscopic Online-Measurements / Christian Wolf ; Daniel Gaida ; André Stuhlsatz ; Seán McLoone ; Michael Bongards
Power Quality Disturbances Events Recognition Based on S-Transform and Probabilistic Neural Network / Nantian Huang ; Xiaosheng Liu ; Dianguo Xu ; Jiajin Qi
A Coordinated Heat and Electricity Dispatching Model for Microgrid Operation via PSO / Li Zhong Xu ; Guang Ya Yang ; Zhao Xu ; Jacob østergaard ; Quan Yuan Jiang ; Yi Jia Cao
MPPT Strategy of PV System Based on Adaptive Fuzzy PID Algorithm / Jing Hui ; Xiaoling Sun
The Sixth Section: Innovative Education for Sustainable Energy and Environment
Optimized Approach to Architecture Thermal Comfort in Hot Summer and Warm Winter Zone / Xianfeng Huang ; Yimin Lu
The Application of Computational Fluid Dynamics (CFD) in HVAC Education / Jiafang Song ; Xinyu Li
The Seventh Section: Intelligent Methods in Power and Energy Infrastructure Development
Power-Aware Replacement Algorithm to Deliver Dynamic Mobile Contents / Zhou Su ; Zhihua Zhang
Study on High-frequency Digitally Controlled Boost Converter / Yanxia Gao ; Yanping Xu ; Shuibao Guo ; Xuefang Lin-Shi ; Bruno Allard
Author Index
The First Section: Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems
Research on Steam Generator Water Level Control System Based on Nuclear Power Plant Simulator / Jianghua Guo
Stabilization for Networked Control Systems with Packet Dropout Based on Average Dwell Time Method / Jinxia Xie ; Yang Song ; Xiaomin Tu ; Minrui Fei
88.

電子ブック

EB
Kang; Li, Xin; Ma, Shiwei; Irwin, George William Li, George W. Irwin, Kang Li, Xin Li, Shiwei Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The First Section: Advanced Evolutionary Computing Theory and Algorithms
Co-Evolutionary Cultural Based Particle Swarm Optimization Algorithm / Yang Sun ; Lingbo Zhang ; Xingsheng Gu
Non-cooperative Game Model Based Bandwidth Scheduling and the Optimization of Quantum-Inspired Weight Adaptive PSO in a Networked Learning Control System / Lijun Xu ; Minrui Fei ; Taicheng C. Yang
Modified Bacterial Foraging Optimizer for Liquidity Risk Portfolio Optimization / Ben Niu ; Han Xiao ; Lijing Tan ; Li Li ; Junjun Rao
A Combined System for Power Quality Improvement in Grid-Parallel Microgrid / Xiaozhi Gao ; Linchuan Li ; Wenyan Chen
A Distance Sorting Based Multi-Objective Particle Swarm Optimizer and Its Applications / Zhongkai Li ; Zhencai Zhu ; Shanzeng Liu ; Zhongbin Wang
A Discrete Harmony Search Algorithm / Ling Wang ; Yin Xu ; Yunfei Mao
CFBB PID Controller Tuning with Probability based Binary Particle Swarm Optimization Algorithm / Muhammad Ilyas Menhas ; Hui Pan
A Novel Cultural Algorithm and Its Application to the Constrained Optimization in Ammonia Synthesis / Wei Xu
Pareto Ant Colony Algorithm for Building Life Cycle Energy Consumption Optimization / Yan Yuan ; Jingling Yuan ; Hongfu Du
Particle Swarm Optimization Based Clustering: A Comparison of Different Cluster Validity Indices / Ruochen Liu ; Xiaojuan Sun ; Licheng Jiao
A Frequency Domain Approach to PID Controllers Design in Boiler-Turbine Units / Kang Li
An Estimation of Distribution Algorithm Based on Clayton Copula and Empirical Margins / L.F. Wang ; Y.C. Wang ; J.C. Zeng ; Y. Hong
Clonal Selection Classification Algorithm for High-Dimensional Data / Ping Zhang
The Second Section: Advanced Neural Network Theory and Algorithms
A General Framework for High-Dimensional Data Reduction Using Unsupervised Bayesian Model / Longcun Jin ; Wanggen Wan ; Yongliang Wu ; Bin Cui ; Xiaoqing Yu
The Model Following Neural Control Applied to Energy-Saving BLDC Air Conditioner System / Ming Huei Chu ; Yi Wei Chen ; Zhi Wei Chen
Develop of Specific Sewage Pretreatment and Network Monitoring System / Rongbao Chen ; Liyou Qian ; Yuanxiang Zhou ; Xuanyu Li
Application of Radial Basis Function Neural Network in Modeling Wastewater Sludge Recycle System / Long Luo ; Liyou Zhou
Improved Stability Criteria for Delayed Neural Networks / Min Zheng ; Taicheng Yang ; Yang Li
Aplication of the Single Neuron PID Controller on the Simulated Chassis Dynamometer / Weichun Zhang ; Bingbing Ma ; Peng Yu ; Baohao Pei
Research on the Neural Network Information Fusion Technology for Distinguishing Chemical Agents / Minghu Zhang ; Dehu Wang ; Lv Shijun ; Jian Song ; Yi Huang
The Third Section: Innovative Education in Systems Modeling and Simulation
Simulating Energy Requirements for an MDF Production Plant / Cristina Maria Luminea ; David Tormey
Three-Dimensional Mesh Generation for Human Heart Model / Dongdong Deng ; Junjie Zhang ; Ling Xia
Interactive Identification Method for Box-Jenkins Models / Li Xie ; Huizhong Yang ; Feng Ding
Research on Nano-repositioning of Atomic Force Microscopy Based on Nano-manipulation / Sun Xin ; Jin Xiaoping
Research on Expression Method of a Unified Constraint Multi-domain Model for Complex Products / Chen Guojin ; Su Shaohui ; Gong Youping ; Zhu Miaofen
The Fourth Section: Intelligent Methods in Developing Vehicles, Engines and Equipments
An Automatic Collision Avoidance Strategy for Unmanned Surface Vehicles / Wasif Naeem ; George W. Irwin
Research on Fire-Engine Pressure Balance Control System Based Upon Neural Networks / Xiao-guang Xu ; Hong-da Shen
The Summary of Reconstruction Method for Energy Conservation and Emission Reduction of Furnace / Xiaoxiao Wang ; Xin Sun
Osmotic Energy Conversion Techniques from Seawater / Yihuai Hu ; Juan Ji
The Fifth Section: Fuzzy, Neural, Fuzzy-Neuro Hybrids
Vibration Monitoring of Auxiliaries in Power Plants Based on AR (P) Model Using Wireless Sensor Networks / Tongying Li
Performance Prediction for a Centrifugal Pump with Splitter Blades Based on BP Artificial Neural Network / Jinfeng Zhang ; Shouqi Yuan ; Yanning Shen ; Weijie Zhang
Short-Term Traffic Flow Prediction Based on Interval Type-2 Fuzzy Neural Networks / Liang Zhao
Neural Network and Sliding Mode Control Combining Based Reconfigurable Control / Gongcai Xin ; Zhengzai Qian ; Weilun Chen ; Kun Qian
Study on Membrane Protein Interaction Networks by Constructing Gene Regulatory Network Model / Yong-Sheng Ding ; Yi-Zhen Shen ; Li-Jun Cheng ; Jing-Jing Xu
Author Index
The First Section: Advanced Evolutionary Computing Theory and Algorithms
Co-Evolutionary Cultural Based Particle Swarm Optimization Algorithm / Yang Sun ; Lingbo Zhang ; Xingsheng Gu
Non-cooperative Game Model Based Bandwidth Scheduling and the Optimization of Quantum-Inspired Weight Adaptive PSO in a Networked Learning Control System / Lijun Xu ; Minrui Fei ; Taicheng C. Yang
89.

電子ブック

EB
Serap; Al, Umut; Lepon Erdogan, Phyllis; Tonta, Yasar ; Ucak, Nazan Kurbanoglu, Umut Al, Phyllis Lepon Erdogan, Serap Kurbanoglu, Yasar Tonta, Nazan Ucak
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Technological Convergence and Social Networks
"My Information:" Digital Libraries, Social Networking, and the User Experience (Keynote Paper) / Joan K. Lippincott
The Implications of Information Democracy and Digital Socialism for Public Libraries / Esin Sultan Oguz ; Leif Kajberg
Collaboration through Communities of Practice in the Digital Age / Fatih Oguz ; Corrie V. Marsh ; Cliff Landis
Let Me Tell You Something about (Y)our Culture? / Mícheál Mac an Airchinnigh
Digital Natives and Specialised Digital Libraries: A Study of Europeana Users / Milena Dobreva ; Emma McCulloch ; Duncan Birrell ; Yurdagül Ünal ; Pierluigi Feliciati
Academic Libraries and Information Literacy in the Digital Age
Impact of Recent Trends in Information and Communication Technology on the Validity of the Construct Information Literacy in Higher Education / A.A.J. (Jos) van Helvoort
Exploring the Competency of Academic Library Staff Engaging in Emerging Services / Haruki Nagata
Programming New Learning Spaces: The Changing Nature of Academic Library Buildings / H. Lea Wells ; Jordan M. Scepanski
The Role of Information Literacy in Environmental Scanning as a Strategic Information System - A Study of Singapore SMEs / Xue Zhang ; Shaheen Majid ; Schubert Foo
Information Management and Digital Rights Challenges
Using Internet Services for Personal Information Management / Myint Malar San ; Saw Tin Naung Tun ; Thu Zar
New Approach for Automated Categorizing and Finding Similarities in Online Persian News / Naser Ezzati Jivan ; Mahlagha Fazeli ; Khadije Sadat Yousefi
An Evaluation of TS13298 in the Scope of MoReq2 / Gülten Alir ; Thomas Sødring ; Irem Soydal
Identification of User Patterns in Social Networks by Data Mining Techniques: Facebook Case / A. Selman Bozkir ; S. Güzin Mazman ; Ebru Akçapinar Sezer
Digital Rights Challenges in a World of Technological Convergence / John N. Gathegi
Copyright Issues Related to the Digitization of Cultural Heritage in Croatia / Aleksandra Horvat ; Daniela Zivkovic
Information Systems and Bibliometrics
Performance Evaluation of Web Information Systems / Yasar Tonta
Information Science and Cognitive Psychology: A Theoretical Approach / Armando Malheiro da Silva ; Fernanda Ribeiro ; Fernanda Martins
Visualizing the Structure of Scientific Output of Iranian Scholars in Science Citation Index (SCI) during 2000-2006 / Farideh Osareh ; Maryam Keshvari
A Study on Scientific Product of the University of Tehran in Web of Science Database during 1989 - 2009 / Amin Zare
Contribution of Turkish Scholars to Earthquake Literature: The Impact of the Marmara Earthquake / Zehra Taskin
Author Index
Technological Convergence and Social Networks
"My Information:" Digital Libraries, Social Networking, and the User Experience (Keynote Paper) / Joan K. Lippincott
The Implications of Information Democracy and Digital Socialism for Public Libraries / Esin Sultan Oguz ; Leif Kajberg
90.

電子ブック

EB
Will van der Aalst, Peter Forbrig, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Knowledge and Information Management
Using HCI-Patterns for Modeling and Design of Knowledge Sharing Systems / Christian Märtin ; Jürgen Engel ; Claus Kaelber ; Iris Werner
Information Quality Testing / Anna Wingkvist ; Morgan Ericsson ; Welf Löwe ; Rüdiger Lincke
Enterprise Models as Interface for Information Searching / Auriol Degbelo ; Tanguy Matongo ; and Kurt Sandkuhl
Model for Project Management for Development and Implementation of E-Learning Courses / Michal Kuciapski
Optimization of Automated Trading System's Interaction with Market Environment (Short Paper) / Petr Tucnik
E-Learning Application Support for SME (Short Paper) / Ulrike Borchardt ; Franziska Grap
Ontologies
Towards Ontology-Based Methodology for Requirements Formalization / Eduard Babkin ; Ekaterina Potapova
A Hybrid Approach for Relating OWL 2 Ontologies and Relational Databases / Ernestas Vysniauskas ; Lina Nemuraite ; Algirdas Sukys
UML Style Graphical Notation and Editor for OWL 2 / Janis Barzdins ; Guntis Barzdins ; Karlis Cerans ; Renars Liepins ; Arturs Sprogis
Models and Workflows
Alternative Representations of Workflow Control-Flow Patterns Using HOPS / Robert Kühn ; Anke Dittmar ; Peter Forbrig
Modeling and Formally Checking Workflow Properties Using UML and OCL / Jens Brüning ; Martin Gogolla
Pondering on the Key Functionality of Model Driven Development Tools: The Case of Mendix / Martin Henkel ; Janis Stirna
Business Information Systems
Maintenance Scenarios for Distributed Application Infrastructures: Concepts with the Focus on Functional and Data Integrity / Oliver Doute ; Stefan Conrad
A Selection-Method for Enterprise Application Integration Solutions / Marcel A.P.M. van den Bosch ; Marlies E. van Steenbergen ; Marcel Lamaitre ; Rik Bos
Databases and Mobile Computing
OLAP Personalization with User-Describing Profiles / Natalija Kozmina ; Laila Niedrite
Export of Relational Databases to RDF Databases: A Case Study (Short Paper) / Sergejs Rikacovs
End User Development for OLAP - A Scenario from Food Industry (Short Paper) / Mario Gleichmann ; Thomas Hasart ; Ilvio Bruder ; Andreas Wolff
Mobile Computing from a Developer's Perspective: A 10-Year Review, 1999-2008 / Bo Andersson
Author Index
Knowledge and Information Management
Using HCI-Patterns for Modeling and Design of Knowledge Sharing Systems / Christian Märtin ; Jürgen Engel ; Claus Kaelber ; Iris Werner
Information Quality Testing / Anna Wingkvist ; Morgan Ericsson ; Welf Löwe ; Rüdiger Lincke
91.

電子ブック

EB
World Summit on the Knowledge Society, Miltiadis D. Lytras, Patricia Ordonez De Pablos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
92.

電子ブック

EB
Miltiadis D.; Ordonez de Pablos, Patricia; Ziderman, Adrian Lytras, Jonathan B. Imber, Miltiadis D. Lytras, Hermann Maurer, Patricia Ordonez De Pablos, Alan Roulstone, Adrian Ziderman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
93.

電子ブック

EB
Rongbo; Zhang, Yanchun; Liu, Baoxiang Zhu, Baoxiang Liu, Chunfeng Liu, Yanchun Zhang, Rongbo Zhu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
94.

電子ブック

EB
Zhihua Cai, Zhuo Kang, Hengjian Tong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evolutionary Design / Section I:
A Concurrent-Hybrid Evolutionary Algorithm for Geometric Constraint Solving / Youhua Zhang ; Kunqi Liu ; Gang Liu ; Zhanfang Zhao
A New DEBP Algorithm and Its Application for Hematite Content Prediction / Chao Yu ; Zhihua Cai ; Zhechao Gao ; Huaming Zhong
Multi-resource Balanced Scheduling Optimization Based on Self-adaptive Genetic Algorithm / Peng Chen ; Li Zhu ; Xiang Li
Space-Time Variation Operator Set in Possibility Construction Space / Han Yanling ; Wang Hong ; Li Dehua
The Comparison and Analysis of GP, GEP and GEP_EDA in Modeling System / Tao Jiang ; Xuesong Yan ; Zengxin Han
Evolutionary Optimization / Section II:
A Multi-objective Optimization Evolutionary Algorithm with Better Performances on Multiple Indicators / Jianguo Chen ; Zhongshan Song ; Bojin Zheng ; Fan Zhao ; Zhuofu Yao
A New Evolutionary Algorithms for Global Numerical Optimization Based on Ito Process / Wenyong Dong ; Ming Lei ; Ruiguo Yu
A New Multi-objective Optimization Evolutionary Algorithm Based on Geometrical Pareto Selection and Double Neighbored Crossover
Measurements in Fast Evolutionary Programming / Yong Liu
Merging the Ranking and Selection into ITO Algorithm for Simulation Optimization
Ranking Based Selection Genetic Algorithm for Capacity Flow Assignments / Guangming Lin ; Chengbo Huang ; Shaobin Zhan ; Xin Lu ; Yunting Lu
Hybrid Algorithms / Section III:
An Efficient Genetic Algorithm for the Traveling Salesman Problem / Guangfu Sun ; Chengjun Li ; Jiacheng Zhu ; Yanpeng Li ; Wei Liu
Constructing a Novel QoS Aggregated Model Based on KBPP / Ruliang Xiao
Exploring the Effects of Lamarckian Evolution and Baldwin Effect in Differential Evolution / Lixiao Ma ; Ning Li
Research of Spatial Data Interpolation Algorithm Based on SVR Optimization by GA / Dongmei Zhang ; Ao Wang
Intelligent Systems / Section IV:
3-D Numerical Finite Element Method of Tectonic Stress Field Simulation Based on Irregular Corner-Point Grid / Yiping Tian ; Xiong Liu ; Xing Li
Agent-Based System Dynamic Integration Development Platform and Tools / Qingshan Li ; Haishun Yun ; Lili Guo ; Guangchang Wu
An Analysis of Asymmetrical Threshold Polling Systems / Zheng Guan ; Dongfeng Zhao
Diffusion Research of Leaked Coal Gas in Steel Plants under Natural Ventilation Conditions / Pei Zhao ; Yunsheng Zhao ; Zuojin Yu
Spatio-temporal Simulation of Epidemiological SIQR Model Based on the Multi-Agent System with Focus on Influenza A (H1N1) / Hong Xiao ; Huaiyu Tian ; Lei Shao ; Jian Zhao ; Jing-zhe Xu
The Research of Virtual Organization for Intelligent Sharing Based on Open Grid Service Architecture / Xia Zhang ; Yong Wang ; Gai Fang Wang
Particle Swarm Optimization / Section V:
A Comparative Study of Artificial Bee Colony, Bees Algorithms and Differential Evolution on Numerical Benchmark Problems / Huanzhe Li ; Xia Li
A Self-adaptive Immune PSO Algorithm for Constrained Optimization Problems / Aijia Ouyang ; Guo Zhou ; Yongquan Zhou
Crowding-Distance-Based Multi-objective Particle Swarm Optimization / Junqing Fan ; Lihua Zhao ; Lin Du ; Youlian Zheng
GA-ACO in Job-Shop Schedule Problem Research / Ming Huang ; Tongwei Wu ; Xu Liang
Research on Hybrid Improved PSO Algorithm / Yuxiang Shao ; Qing Chen ; Cuihong Li
Predictive Modeling / Section VI:
Combined with Improved Vicent Watershed and Dynamic Particle Clustering with Connected Constraints for Image Segmentation / Yuanni Wang ; Fei Ge
Feature Synthesis Algorithm Combined with k-NN Classifier for Spectral Data Classification / Zhenbang Hu
Fuzzy Pattern Recognition Based on Generalized Euclidean Weight Distance Adjoined Degree and Its Application in Forecasting Hazard of Karst Collapse / Yong Feng ; Wuxin Chen
Improved Apriori Algorithm for Mining Association Rules of Many Diseases / Caixia Xue
Improved Text Classification Technique to Acquire Job Opportunities for Disabled Persons / Shilin Zhang ; Mei Gu
Author Index
Evolutionary Design / Section I:
A Concurrent-Hybrid Evolutionary Algorithm for Geometric Constraint Solving / Youhua Zhang ; Kunqi Liu ; Gang Liu ; Zhanfang Zhao
A New DEBP Algorithm and Its Application for Hematite Content Prediction / Chao Yu ; Zhihua Cai ; Zhechao Gao ; Huaming Zhong
95.

電子ブック

EB
Marzia; Liang, Yawei; Siddiqui, Sohail M; Lu, Ceecee Zaman, Yawei Liang, Vincent Liu, Ceecee Lu, Sohail M. Siddiqui, Tim Wang, Marzia Zaman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Research on Group Decision-Making Mechanism of Internet Emergency Management / Kefan Xie ; Gang Chen ; Wu Qian ; Zhao Shi
The Challenges and Issues Regarding E-Health and Health Information Technology Trends in the Healthcare Sector / Pouyan Esmaeilzadeh ; Murali Sambasivan ; Naresh Kumar
The Study of Address Tree Coding Eased on the Maximum Matching Algorithm in Courier Business / Shumin Zhou ; Bin Tang ; Wen Li
Customer Credit Scoring Method Based on the SVDD Classification Model with Imbalanced Dataset / Bo Tian ; Lin Nan ; Qin Zheng ; Lei Yang
K-Brir: An Efficient and Self-organized Routing Mechanism for Structured Peer-to-Peer Service Networks / Zhenhua Tan ; Guangming Yang ; Zhiliang Zhu ; Wei Cheng ; Guiran Chang
Study on Amortization Time and Rationality in Real Estate Investment / Yancang Li ; Shujing Zhou ; Juanjuan Suo
Risk Evaluation of Business Continuity Management by Using Green Technology / Chen Gang
Automated Methodologies for the Design of Flow Diagrams for Development and Maintenance Activities / Handigund Shivanand M. ; Bhat Shweta
Aco-Based Projection Pursuit: A Novel Clustering Algorithm / Lina Zhao
Ant Colony Algorithm for Multiple-Depot Vehicle Routing Problem with Shortest Finish Time / Jianhua Ma ; Jie Yuan
Chaos Caused by a Transitive Map in Information / Lidong Wang ; Jiao Peng ; Beng Liu
Comparative Study of Methods for Monitoring and Controlling a Regional Economic System / Shi Zheng ; Wen Zheng ; Xia Jin
Energy Levels and Co-evolution of Product Innovation in Supply Chain Clusters / Guojun Ji
A Typology Framework of Loyalty Reward Programs / Yuheng Cao ; Aaron L. Nsakanda ; Inder Jit Singh Mann
The Knowledge Transfer Factors under Different Perspectives / Yuanhua Hu ; Lili Xue
It Operational Risk Measurement Model Based on Internal Loss Data of Banks / Xiaoling Hao
Prediction Task Assignment of Multi-UAV Approach Based on Consensus / Chen Chen ; Zheng Qin ; Jian-kuan Xing
A Macroscopic Timing Optimization Model for Signalized Intersections Based on Extended Internal State Node Model / Ximir Liu ; Shoufeng Lu ; Shiqiang Dai
A Research Methodology for Green It Systems Based on WSR and Design Science: The Case of a Chinese Company / Yinghong Zhong ; Hongwei Liu
Research on the Hotel Image Based on the Detail Service / Ban Li ; Zheng Shenghua ; Yi He
Impact of Network Information on the Management of Library E-Resources / Zhixiang Yin ; Hua Chen
Technology Route and System Design of Green It / Juchi Hou ; Ying Liang ; Jianli Wei
The Tail of BPM / Steve Kruba ; Jim Meyer
The Aggregation-Diffusion Model of Conduction of Technology Value in the Large-Scale Sports Events / Chuansheng Dong
Specification Patent Management for Web Application Platform Ecosystem / Yoshiaki Fukami ; Masao Isshiki ; Hideaki Takeda ; Ikki Ohmukai ; Jiro Kokuryo
Evaluation of the Acceptance of Audience Response System by Corporations Using the Technology Acceptance Model / Hsing-Hui Chu ; Ta-Jung Lu ; Jong-Wen Wann
Identification of Variables and Factors Impacting Consumer Behavior in On-Line Shopping in India: An Empirical Study / Sudesh Chhikara
Knowledge Model of Emergency Decision-Making Based on Knowledge Supply and Demand / Bing Wu ; Lin-du Zhao
The Consistency and Ranking Method Based on Comparison Linguistic Variable / Qisheng Zhao ; Fajie Wei ; Shenghan Zhou
Author Index
Research on Group Decision-Making Mechanism of Internet Emergency Management / Kefan Xie ; Gang Chen ; Wu Qian ; Zhao Shi
The Challenges and Issues Regarding E-Health and Health Information Technology Trends in the Healthcare Sector / Pouyan Esmaeilzadeh ; Murali Sambasivan ; Naresh Kumar
The Study of Address Tree Coding Eased on the Maximum Matching Algorithm in Courier Business / Shumin Zhou ; Bin Tang ; Wen Li
96.

電子ブック

EB
Adrian; Chang, Ruay-Shiung Stoica, Ruay-Shiung Chang, Tai-hoon Kim, Adrian Stoica
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Genetic-Annealing Algorithm in Grid Environment for Scheduling Problems / Marco Antonio Cruz-Chávez ; Abelardo Rodríguez-León ; Erika Yesenia Ávila-Melgar ; Fredy Juárez-Pérez ; Martín H. Cruz-Rosales ; Rafael Rivera-López
Dynamic Increasing the Capacity of Transmission Line Based on the Kylin Operating System / Wei Li ; Zhiwei Feng ; Jing Zhou ; Kehe Wu ; Jing Teng
Projective Illumination Technique in Unprepared Environments for Augmented Reality Applications / Giovanni Cagalaban ; Seoksoo Kim
The Design of Modular Web-Based Collaboration / Ploypailin Intapong ; Sittapong Settapat ; Boonserm Kaewkamnerdpong ; Tiranee Achalakul
Design of a Forecasting Service System for Monitoring of Vulnerabilities of Sensor Networks / Jae-gu Song ; Jong hyun Kim ; Dong il Seo
A Study on M2M-Based System for Hygienic Meteorology Service / Jae Young Ahn
Knowledge Integration and Use-Case Analysis for a Customized Drug-Drug Interaction CDS Service / Hye Jin Kam ; Man Young Park ; Woojae Kim ; Duk Yong Yoon ; Eun Kyoung Ahn ; Rae Woong Park
A Study on Markerless AR-Based Infant Education System Using CBIR / Ji-hoon Lim
A Study on Home Network User Authentication Using Token-Based OTP / Jung-Oh Park ; Moon-Seog Jun ; Sang-Geun Kim
Web-Based Media Contents Editor for UCC Websites
A Study on AR 3D Objects Shading Method Using Electronic Compass Sensor / Sungmo Jung
A New Approach for Semantic Web Matching / Kamran Zamanifar ; Golsa Heidary ; Naser Nematbakhsh ; Farhad Mardukhi
Security Enhancement for Authentication of Nodes in MANET by Checking the CRL Status of Servers / Azeem Irshad ; Wajahat Noshairwan ; Muhammad Shafiq ; Shahzada Khurram ; Ehtsham Irshad ; Muhammad Usman
Performance Evaluation Analysis of Group Mobility in Mobile Ad Hoc Networks
Procedure of Partitioning Data into Number of Data Sets or Data Group - A Review / Tai-hoon Kim
Processing of Handwritten Signature Image for Authentication
Access Requirement Analysis of E-Governance Systems
Cognitive Informatics in Medical Image Semantic Content Understanding / Marek R. Ogiela ; Lidia Ogiela
An Attack on Wavelet Tree Shuffling Encryption Schemes / Samuel Assegie ; Paul Salama ; Brian King
Context Aware Systems, Methods and Trends in Smart Home Technology / Rosslin John Robles
Data Hiding a Key Management for Interoperable Urban Services / Maricel O. Balitanas ; Taihoon Kim
Machine-Type-Communication (MTC) Device Grouping Algorithm for Congestion Avoidance of MTC Oriented LTE Network / Kwang-Ryul Jung ; Aesoon Park ; Sungwon Lee
An Architecture for the Emotion-Based Ubiquitous Services in Wearable Computing Environment / Haesung Lee ; Joonhee Kwon
Adaptive Data Dissemination Protocol for Wireless Sensor Networks / Byoung-Dai Lee
Scalable Multicast Protocols for Overlapped Groups in Broker-Based Sensor Networks / Chayoung Kim ; Jinho Ahn
On Reducing the Impact of Exceptional Conditions on Museum Sightseeing Crowdedness Control Mechanisms / Yoondeuk Seo
A Communication Architecture for Monitoring and Diagnosing Distribution Systems / Yujin Lim ; Sanghyun Ahn ; Jaesung Park
Network Infrastructure for Electric Vehicle Charging
Prediction of Personal Power Consumption Using the Moving Average Technique / Jongwoo Kim ; Sanggil Kang ; Hak-Man Kim
Personalized Energy Portal Service Using Consumers' Profile Information / Juwan Kim ; Young-Kuk Kim
Reliable Power Quality Data Delivery Mechanism Using Neural Network in Wireless Sensor Network
A New Challenge of Microgrid Operation / Tetsuo Kinoshita
Authentication System for Electrical Charging of Electrical Vehicles in the Housing Development / Wang-Cheol Song
Design of a Multi-agent System for Personalized Service in the Smart Grid / Jinhee Ko ; In-Hye Shin ; Gyung-Leen Park ; Ho-Yong Kwak ; Khi-Jung Ahn
An Efficient Scheduling Scheme on Charging Stations for Smart Transportation / Hye-Jin Kim ; Junghoon Lee ; Min-Jae Kang ; Mikyung Kang
Design for Run-Time Monitor on Cloud Computing / Dong-In Kang ; Mira Yun
Design of an Advertisement Scenario for Electric Vehicles Using Digital Multimedia Broadcasting / Jason Cho ; Sang Joon Lee ; Ho-Young Kwak
Development of Wireless RFID Glove for Various Applications / Changwon Lee ; Minchul Kim ; Jinwoo Park ; Jeonghoon Oh ; Kihwan Eom
Implementation of RFID Tag for Metal Surface Mount / Chong Ryol Park ; Sang Won Yoon ; Kyung Kwon Jung ; Ki Hwan Eom
U-Bus System Design Based on WSN for the Blind People / Trung Pham Quoc ; Hyunkwan Lee
Measurements and Modeling of Noise on 22.9-kV Medium-Voltage Underground Power Line for Broadband Power Line Communication / Seungjoon Lee ; Donghwan Shin ; Yonghwa Kim ; Jaejo Lee
Optimal Control Method of Electric Power Generation in Multi Level Water Dams / Yeosun Kyung ; Joowoong Kim ; Sungboo Jung
Real-Time Hand Gesture SEMG Using Spectral Estimation and LVQ for Two-Wheel Control / Mohammad 'Afif B Kasno ; Jihoon Ahn ; Kyungkwon Jung ; Yonggu Lee
A Self-deployment Scheme for Mobile Sensor Network with Obstacle Avoidance / Chan-Myung Kim ; Yong-hwan Kim ; Hee-Sung Lim ; Youn-Hee Han
ICSW2AN : An Inter-vehicle Communication System Using Mobile Access Point over Wireless Wide Area Networks / Tae-Young Byun
MAMODE: A Routing Scheme Using Mixed Address Mode for Wireless Sensor Networks / Jeongho Son
Processing of Large-Scale Nano-ink Data by Supercomputer / Sungsuk Kim ; Joon-Min Gil
Efficient Resource Management and Task Migration in Mobile Grid Environments / Dae Won Lee ; SungHo Chin
Group-Based Scheduling Algorithm for Fault Tolerance in Mobile Grid / JongHyuk Lee ; SungJin Choi ; Taeweon Suh ; HeonChang Yu ; Joonmin Gil
Context-Aware Hierarchy k-Depth Estimation and Energy-Efficient Clustering in Ad-hoc Network / Chang-min Mun ; Young-hwan Kim ; Kang-whan Lee
Two Scheduling Schemes for Extending the Lifetime of Directional Sensor Networks
Data Aggregation Using Mobile Agent Mechanism on Distributed Sensor Networks / Youn-Gyou Kook ; Joon-Lee ; Ki-Seock Choi ; Jae-Soo Kim ; R. Young-Chul Kim
Issues on Selecting National R&D Project / Joon Lee
A Study on S-band Short-range Surveillance Radar Optimum Deployment Considering Frequency Interference / Bong-Ki Jang ; Young-soon Lee ; Byung-sam kim ; Ui-jung Kim
Proposal of Secure VoIP System Using Attribute Certificate / Jin-Mook Kim ; Young-Ae Jeong ; Seong-sik Hong
Cooperation System Design for the XMDR-Based Business Process / SeokJae Moon ; GyeDong Jung ; ChiGon Hwang ; YoungKeun Choi
Architecture of the SDP in the Cloud Environment / Jae-Hyoung Cho ; Jae-Oh Lee
P-CSCF's Algorithm for Solving NAT Traversal / Jung-Ho Kim
Model Based User's Access Requirement Analysis of E-Governance Systems / Shilpi Saha ; Seung-Hwan Jeon ; Samir Kumar Bandyopadhyay
Energy Efficient Chain Based Clustering Routing Protocol for Wireless Sensor Networks / Subhajit Pal ; Debnath Bhattacharyya
Chain Based Hierarchical Routing Protocol for Wireless Sensor Networks
Extraction of Features from Signature Image and Signature Verification Using Clustering Techniques / Samit Biswas
Medical Imaging: A Review / Debashis Ganguly ; Srabonti Chakraborty ; Maricel Balitanas
Hybridization of GA and ANN to Solve Graph Coloring / Timir Maitra ; Anindya J. Pal ; Minkyu Choi
Alerting of Laboratory Critical Values / Sang Boon Song ; Kyoung Un Park ; Junghan Song ; Hyeon Young Paik ; Chi Woo Lee ; Su mi Bang ; Joon Seok Hong ; Hyun Joo Lee ; In-Sook Cho ; Jeong Ah Kim ; Hyun-Young Kim ; Yoon Kim
Accuracy and Performance Evaluation of a Laboratory Results Alerting / InSook Cho ; Jeongah Kim ; Ji-Hyeun Kim ; Kyu Seob Ha
National Medical Terminology Server in Korea / Sungin Lee ; Seung-Jae Song ; SoonJeong Koh ; Soo Kyoung Lee ; Hong-gee Kim
A Typology for Modeling Processes in Clinical Guidelines and Protocols / Samson W. Tu ; Mark A. Musen
How Process Helps You in Developing a High Quality Medical Information System / Yoshihiro Akiyama
An Implementation Strategy of Evidence-Based Application Lifecycle Management / Seung Yong Choi
Architecture and Workflow of Medical Knowledge Repository / HyunSook Choi
SW Architecture for Access to Medical Information for Knowledge Execution / Suntae Kim ; Bingu Shim
Implementation of Wireless Sensor Networks Based Pig Farm Integrated Management System in Ubiquitous Agricultural Environments / Jeong-hwan Hwang ; Jiwoong Lee ; Hochul Lee ; Hyun Yoe
A Study on Energy Efficient MAC Protocol of Wireless Sensor Network for Ubiquitous Agriculture / Ho-chul Lee ; Ji-woong Lee
An u-Service Model Based on a Smart Phone for Urban Computing Environments / Yongyun Cho
An Incremental Join Algorithm in Sensor Network / Hyun Chang Lee ; Young Jae Lee ; Dong Hwa Kim
Interface of Augmented Reality Game Using Face Tracking and Its Application to Advertising / Yong Jae Lee
Bankruptcy Problem Approach to Load-Shedding in Agent-Based Microgrid Operation
State of the Art of Network Security Perspectives in Cloud Computing / Tae Hwan Oh ; Shinyoung Lim ; Young B. Choi ; Kwang-Roh Park ; Heejo Lee ; Hyunsang Choi
Design and Implementation of Wireless Sensor Networks Based Paprika Green House System / Jeonghwan Hwang ; Changsun Shin
An Implementation of the Salt-Farm Monitoring System Using Wireless Sensor Network / JongGil Ju ; InGon Park ; YongWoong Lee ; JongSik Cho ; HyunWook Cho ; ChangSun Shin
Author Index
Genetic-Annealing Algorithm in Grid Environment for Scheduling Problems / Marco Antonio Cruz-Chávez ; Abelardo Rodríguez-León ; Erika Yesenia Ávila-Melgar ; Fredy Juárez-Pérez ; Martín H. Cruz-Rosales ; Rafael Rivera-López
Dynamic Increasing the Capacity of Transmission Line Based on the Kylin Operating System / Wei Li ; Zhiwei Feng ; Jing Zhou ; Kehe Wu ; Jing Teng
Projective Illumination Technique in Unprepared Environments for Augmented Reality Applications / Giovanni Cagalaban ; Seoksoo Kim
97.

電子ブック

EB
Alexander Dinghas, Cabiria Andreian Cazacu, Lenwood S. Heath, Rolf Herman Nevanlinna, Naren Ramakrishnan
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Sequences / Part I:
Modern BLAST Programs / Jian Ma ; Louxin Zhang
Introduction / 1:
Available Implementations / 2:
Algorithm Description / 3:
BLAST Statistics / 4:
Examples / 5:
Advanced Topics / 6:
Exercises / 7:
Further Reading / 8:
References
Practical Multiple Sequence Alignment / Tobias Rausch ; Knut Reinert
History of the Problem
Sequence Alignment Statistics / John L. Spouge
Dynamic Programming with Independent Random Inputs
The Extreme-Value Distributions for Maxima
The Poisson Approximation for Counting Rare Events
Pairwise Sequence Alignment
Islands in Local Alignment
The Finite-Size Correction in Gapped Local Alignment
The Independent Diagonals Approximation
The Combinatorial Approximation / 9:
Phylogenetics / Part II:
Practical Implications of Coalescent Theory / Paul Marjoram ; Paul Joyce
Introduction - What is the coalescent?
Motivating Problems
Implications of the Coalescent
Software Review
Exercises for the reader
Graph Model of Coalescence with Recombinations / Laxmi Parida
Random Graph Framework: Pedigree Graph
Pedigree Subgraphs
Unilinear Transmission: Monochromatic Subgraphs
Genetic Exchange Model: Mixed Subgraph
Topological definition of GMRCA: Least Common Ancestor with Ancestry (LCAA)
Discussion
Phylogenetic Trees From Sequences / Paul Ryvkin ; Li-San Wang
Basics
Sequence evolution
Distance-based phylogeny reconstruction
Maximum parsimony
Maximum likelihood
Multiple phylogenies: comparison, consensus, and confidence
Software
Further reading
Exercise
Evolutionary Phylogenetic Networks: Models and Issues / Luay Nakhleh
Phylogenetic Networks and the Trees Within
Optimization Criteria for Inferring and Evaluating Phylogenetic Networks
To Network, or Not to Network, That Is the Question
Genome Wide Association Studies / Paola Sebastiani ; Nadia Solovieff
An overview of population genetics
Genome-Wide Association Studies
Resources
Proteins: Structure, Function, and Biochemistry / Part III:
Novel Perspectives on Protein Structure Prediction / Bonnie Berger ; Jérôme Waldispühl
Modeling transmembrane β-barrel structure
Energy model
Algorithms
Applications
Sampling the local neighborhood of 3D structures
Stochastic Simulation for Biochemical Systems / Yang Cao
Networks / Part IV:
Cellular Response Networks / Christopher D. Lasher ; Christopher L. Poirel ; T. M. Murali
Algorithm Descriptions
Advanced Topics: Comparing Response Networks
Outlook and Further Reading
Identification of Modules in Protein-Protein Interaction Networks / Sinan Erten ; Mehmet Koyutürk
Biological Data Management and Mining / Part V:
Designing Microarray Experiments / Jacqui Milton ; Ling Wang
Designed experiments versus observational studies
Discovery of Differentially Expressed Genes
Building prognostic models
Running the experiment
Advanced topics and further reading
Matrix and Tensor Decompositions / Karthik Devarajan
Non-negative Matrix Factorization
Singular Value Decomposition
Other Matrix Decompositions
Comparison of the Methods
Tensor Decompositions
Concluding Remarks
Practical Applications of the Gene Ontology Resource / Rachael P. Huntley ; Emily C. Dimmer ; Rolf Apweiler
GO Annotations
Viewing the GO and its annotations
Use of GO in the literature
Popular methods for supplementing and grouping GO annotations
The effective use of GO for large-scale analyses
Index
Sequences / Part I:
Modern BLAST Programs / Jian Ma ; Louxin Zhang
Introduction / 1:
98.

電子ブック

EB
Francesco Ricci, Paul B. Kantor, Lior Rokach, Bracha Shapira
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
99.

電子ブック

EB
Guanghui Wang, Q. M. Jonathan Wu
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to 3D Computer Vision / 1:
Introduction / 1.1:
Imaging Geometry and Camera Models / 1.2:
Camera Models / 1.2.1:
Single View Imaging Geometry / 1.2.2:
Single View Metrology and Reconstruction / 1.3:
Measurement on Space Planes / 1.3.1:
Camera Calibration from a Single View / 1.3.2:
Measurement in 3D Space / 1.3.3:
Examples of Single View Reconstruction / 1.3.4:
Two-View Geometry and 3D Reconstruction / 1.4:
Epipolar Geometry and Fundamental Matrix / 1.4.1:
Three Dimensional Reconstruction / 1.4.2:
Reconstruction of Structured Scenes from Two Images / 1.5:
Plane Detection Strategy / 1.5.1:
Camera Calibration and Reconstruction / 1.5.2:
Closure Remarks / 1.6:
Conclusion / 1.6.1:
Review Questions / 1.6.2:
References
Simplified Camera Projection Models / 2:
Affine Projection Model / 2.1:
Quasi-Perspective Projection / 2.3:
Error Analysis of Different Models / 2.3.1:
Experimental Evaluations / 2.4:
Imaging Errors / 2.4.1:
Influence of Imaging Conditions / 2.4.2:
Geometrical Properties of Quasi-Perspective Projection / 2.5:
One-View Geometrical Property / 3.1:
Two-View Geometrical Property / 3.3:
Fundamental Matrix / 3.3.1:
Plane Induced Homography / 3.3.2:
Computation with Outliers / 3.3.3:
3D Structure Reconstruction / 3.4:
Evaluations on Synthetic Data / 3.5:
Fundamental Matrix and Homography / 3.5.1:
Outlier Removal / 3.5.2:
Reconstruction Result / 3.5.3:
Evaluations on Real Images / 3.6:
Test on Stone Dragon Images / 3.6.1:
Test on Medusa Head Images / 3.6.2:
Introduction to Structure and Motion Factorization / 3.7:
Problem Definition / 4.1:
Structure and Motion Factorization of Rigid Objects / 4.3:
Rigid Factorization Under Orthographic Projection / 4.3.1:
Rigid Factorization Under Perspective Projection / 4.3.2:
Structure and Motion Factorization of Nonrigid Objects / 4.4:
Bregler's Deformation Model / 4.4.1:
Nonrigid Factorization Under Affine Models / 4.4.2:
Nonrigid Factorization Under Perspective Projection / 4.4.3:
Factorization of Multi-Body and Articulated Objects / 4.5:
Multi-Body Factorization / 4.5.1:
Articulated Factorization / 4.5.2:
Perspective 3D Reconstruction of Rigid Objects / 4.6:
Previous Works on Projective Depths Recovery / 5.1:
Epipolar Geometry Based Algorithm / 5.2.1:
Iteration Based Algorithm / 5.2.2:
Hybrid Projective Depths Recovery / 5.3:
Initialization and Optimization / 5.3.1:
Selection of Reference Frames / 5.3.2:
Camera Calibration and Euclidean Reconstruction / 5.4:
Camera Self-calibration / 5.4.1:
Euclidean Reconstruction / 5.4.2:
Outline of the Algorithm / 5.4.3:
Projective Depths Recovery / 5.5:
Calibration and Reconstruction / 5.5.2:
Evaluations on Real Sequences / 5.6:
Test on Model House Sequence / 5.6.1:
Test on Stone Post Sequence / 5.6.2:
Test on Medusa Head Sequence / 5.6.3:
Perspective 3D Reconstruction of Nonrigid Objects / 5.7:
Perspective Depth Scales and Nonrigid Factorization / 6.1:
Perspective Depth Scales / 6.2.1:
Nonrigid Affine Factorization / 6.2.2:
Perspective Stratification / 6.3:
Linear Recursive Estimation / 6.3.1:
Nonlinear Optimization Algorithm / 6.3.2:
Reconstruction Results / 6.4:
Convergence and Performance Comparisons / 6.4.2:
Experiments with Real Sequences / 6.5:
Test on Franck Sequence / 6.5.1:
Test on Scarf Sequence / 6.5.2:
Rotation Constrained Power Factorization / 6.6:
Power Factorization for Rigid Objects / 7.1:
Power Factorization for Nonrigid Objects / 7.3:
Initialization and Convergence Determination / 7.3.1:
Sequential Factorization / 7.3.3:
Reconstruction Results and Evaluations / 7.4:
Convergence Property / 7.4.2:
Test on Grid Sequence / 7.4.3:
Test on Quilt Sequence / 7.5.2:
Stratified Euclidean Reconstruction / 7.6:
Deformation Weight Constraint / 8.1:
Nonrigid Factorization / 8.2.1:
Geometrical Explanation / 8.2.2:
Affine Structure and Motion Recovery / 8.3:
Constrained Power Factorization / 8.3.1:
Initalization and Convergence Determination / 8.3.2:
Segmentation and Stratification / 8.4:
Deformation Detection Strategy / 8.4.1:
Stratification to Euclidean Space / 8.4.2:
Implementation Outline / 8.4.3:
Convergence Property and Segmentation / 8.5:
Test on Toy Sequence / 8.6:
Quasi-Perspective Factorization / 8.7:
Background on Factorization / 9.1:
Quasi-Perspective Rigid Factorization / 9.3:
Euclidean Upgrading Matrix / 9.3.1:
Algorithm Outline / 9.3.2:
Quasi-Perspective Nonrigid Factorization / 9.4:
Problem Formulation / 9.4.1:
Evaluation on Rigid Factorization / 9.4.2:
Evaluation on Nonrigid Factorization / 9.5.2:
Evaluations on Real Image Sequences / 9.6:
Test on Fountain Base Sequence / 9.6.1:
Projective Geometry for Computer Vision / 9.6.2:
2D Projective Geometry / A.1:
Points and Lines / A.1.1:
Conics and Duel Conics / A.1.2:
2D Projective Transformation / A.1.3:
3D Projective Geometry / A.2:
Points, Lines, and Planes / A.2.1:
Projective Transformation and Quadrics / A.2.2:
Matrix Decomposition / Appendix B:
Singular Value Decomposition / B.1:
Properties of SVD Decomposition / B.1.1:
Low-Rank Matrix Approximation / B.1.2:
QR and RQ Decompositions / B.2:
Symmetric and Skew-Symmetric Matrix / B.3:
Cross Product / B.3.1:
Cholesky Decomposition / B.3.2:
Extended Cholesky Decomposition / B.3.3:
Numerical Computation Method / Appendix C:
Linear Least Squares / C.1:
Full Rank System / C.1.1:
Deficient Rank System / C.1.2:
Nonlinear Estimation Methods / C.2:
Bundle Adjustment / C.2.1:
Newton Iteration / C.2.2:
Levenberg-Marquardt Algorithm / C.2.3:
Glossary
Index
Introduction to 3D Computer Vision / 1:
Introduction / 1.1:
Imaging Geometry and Camera Models / 1.2:
100.

電子ブック

EB
Aggelos Kiayias, Serdar Pehlivanoglu
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
Encryption Mechanisms for Content Distribution
Combinatorial Methods for Broadcast Encryption
Complexity of Trace and Revoking
Pirate Evolution Attacks
Stronger Adversaries
Index
Preface
Encryption Mechanisms for Content Distribution
Combinatorial Methods for Broadcast Encryption
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼