close
1.

電子ブック

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

電子ブック

EB
Richard N. Porter
出版情報: [Singapore] : World Scientific, [202-]  1 online resource (xv, 284 p.)
所蔵情報: loading…
3.

電子ブック

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:
4.

電子ブック

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:
5.

電子ブック

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…
6.

電子ブック

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:
7.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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:
13.

電子ブック

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:
14.

電子ブック

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:
15.

電子ブック

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:
16.

電子ブック

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

電子ブック

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
18.

電子ブック

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:
19.

電子ブック

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:
20.

電子ブック

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:
21.

電子ブック

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

電子ブック

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:
23.

電子ブック

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:
24.

電子ブック

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:
25.

電子ブック

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

電子ブック

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

電子ブック

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:
28.

電子ブック

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:
29.

電子ブック

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

電子ブック

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:
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…
32.

電子ブック

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
33.

電子ブック

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
34.

電子ブック

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…
35.

電子ブック

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
36.

電子ブック

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:
37.

電子ブック

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
38.

電子ブック

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
39.

電子ブック

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

電子ブック

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
41.

電子ブック

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
42.

電子ブック

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
43.

電子ブック

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
44.

電子ブック

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
45.

電子ブック

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
46.

電子ブック

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
47.

電子ブック

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
48.

電子ブック

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:
49.

電子ブック

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
50.

電子ブック

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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼