close
1.

電子ブック

EB
Úlfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
Security Validation of Business Processes via Model-Checking / Wihem Arsac ; Luca Compagna ; Giancarlo Pellegrino ; Serena Elisa Ponta
Tools and Mechanisms / Session 2:
On-Device Control Flow Verification for Java Programs / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations / Ricardo Corin ; Felipe Andrés Manzano
Predictability of Enforcement / Nataliia Bielova ; Fabio Massacci
Web Security / Session 3:
SessionShield: Lightweight Protection against Session Hijacking / Nick Nikiforakis ; Wannes Meert ; Yves Younan ; Martin Johns ; Wouter Joosen
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications / Thanh Binh Dao ; Etsuya Shibayama
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications / Philippe De Ryck ; Lieven Desmet
Model-Based Security II / Sesssion 4:
Lightweight Modeling and Analysis of Security Concepts / Jörn Eichler
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications / Linda Ariani Gunawan ; Frank Alexander Kraemer ; Peter Herrmann
An Architecture-Centric Approach to Detecting Security Patterns in software / Michaela Bunke ; Karsten Sohr
Security Requirements Engineering / Session 5:
The Security Twin Peaks / Thomas Heyman ; Koen Yskout ; Riccardo Scandariato ; Holger Schmidt ; Yijun Yu
Evolution of Security Requirements Tests for Service-Centric Systems / Michael Felderer ; Berthold Agreiter ; Ruth Breu
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes / Stephan Neuhaus ; Viet Hung Nguyen
Authorization / Session 6:
Authorization Enforcement Usability Case Study / Steffen Bartsch
Scalable Authorization Middleware for Service Oriented Architectures / Tom Goovaerts
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models / Naveed Ahmed ; Christian D. Jensen
Ideas / Session 7:
Idea: Interactive Support for Secure Software Development / Jing Xie ; Bill Chu ; Heather Richter Lipford
Idea: A Reference Platform for Systematic Information Security Management Tool Support / Ingo Müller ; Jun Han ; Jean-Guy Schneider ; Steven Versteeg
Idea: Simulation Based Security Requirement Verification for Transaction Level Models / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Author Index
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
2.

電子ブック

EB
Krzysztof R. Apt, Erich Grädel, Erich Grädel
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2011
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
Preface
A Primer on Strategic Games / Krzysztof R. Apt1:
Introduction / 1.1:
Basic concepts / 1.2:
Iterated elimination of strategies I / 1.3:
Mixed extension / 1.4:
Iterated elimination of strategies II / 1.5:
Variations on the definition of strategic games / 1.6:
Mechanism design / 1.7:
Pre-Bayesian games / 1.8:
Conclusions / 1.9:
Infinite Games and Automata Theory / Christof Löding2:
Basic notations and definitions / 2.1:
Transformation of winning conditions / 2.3:
Tree automata / 2.4:
Beyond finite automata / 2.5:
Conclusion / 2.6:
Algorithms for Solving Parity Games / Marcin Jurdzinski3:
Games on graphs / 3.1:
Solving repeated reachability and eventual safety games / 3.2:
Solving parity games / 3.3:
Related work / 3.4:
Back and Forth Between Logic and Games / Erich Grädel4:
Reachability games and parity games / 4.1:
Reachability games and logic / 4.3:
Logics with least and greatest fixed-points / 4.4:
Definability of winning regions in parity games / 4.5:
Inflationary fixed-point logic and backtracking games / 4.6:
Logic and games in a quantitative setting / 4.7:
Turn-Based Stochastic Games / Antonín Kucera5:
Winning objectives in stochastic games / 5.1:
Reachability objectives in games with finitely and infinitely many vertices / 5.3:
Some directions of future research / 5.4:
Games with Imperfect Information: Theory and Algorithms / Laurent Doyen ; Jean-François Raskin6:
Games with perfect information / 6.1:
Games with imperfect information: surely-winning / 6.3:
Games with imperfect information: almost-surely-winning / 6.4:
Graph Searching Games / Stephan Kreutzer7:
Classifying graph searching games / 7.1:
Variants of graph searching games / 7.3:
Monotonicity of graph searching / 7.4:
Obstructions / 7.5:
An application to graph-decompositions / 7.6:
Complexity of graph searching / 7.7:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century / Joseph Y. Halpern7.8:
Robust and resilient equilibrium / 8.1:
Taking computation into account / 8.3:
Taking (lack of) awareness into account / 8.4:
Iterated regret minimisation / 8.5:
Index / 8.6:
List of contributors
Preface
A Primer on Strategic Games / Krzysztof R. Apt1:
3.

電子ブック

EB
Jan Rutten, Davide Sangiorgi
出版情報: Cambridge University Press Online Books , 2011
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
Preface
Origins of bisimulation and coinduction / Davide Sangiorgi1:
Introduction / 1.1:
Bisimulation in modal logic / 1.2:
Bisimulation in computer science / 1.3:
Set theory / 1.4:
The introduction of fixed points in computer science / 1.5:
Fixed-point theorems / 1.6:
Bibliography
An introduction to (co)algebra and (co)induction / Bart Jacobs ; Jan Rutten2:
Algebraic and coalgebraic phenomena / 2.1:
Inductive and coinductive definitions / 2.3:
Functoriality of products, coproducts and powersets / 2.4:
Algebras and induction / 2.5:
Coalgebras and coinduction / 2.6:
Proofs by coinduction and bisimulation / 2.7:
Processes coalgebraically / 2.8:
Trace semantics, coalgebraically / 2.9:
Exercises / 2.10:
The algorithmics of bisimilarity / Luca Aceto ; Anna Ingolfsdottir ; Jirí Srba3:
Classical algorithms for bisimilarity / 3.1:
The complexity of checking bisimilarity over finite processes / 3.3:
Decidability results for bisimilarity over infinite-state systems / 3.4:
The use of bisimilarity checking in verification and tools / 3.5:
Bisimulation and logic / Colin Stirling4:
Modal logic and bisimilarity / 4.1:
Bisimulation invariance / 4.3:
Modal mu-calculus / 4.4:
Monadic second-order logic and bisimulation invariance / 4.5:
Howe's method for higher-order languages / Andrew Pitts5:
Call-by-value λ-calculus / 5.1:
Applicative (bi)similarity for call-by-value λ-calculus / 5.3:
Congruence / 5.4:
Howe's construction / 5.5:
Contextual equivalence / 5.6:
The transitive closure trick. / 5.7:
CIU-equivalence / 5.8:
Call-by-name equivalences / 5.9:
Summary / 5.10:
Assessment / 5.11:
Enhancements of the bisimulation proof method / Damien Pous6:
The need for enhancements / 6.1:
Examples of enhancements / 6.2:
A theory of enhancements / 6.3:
Congruence and up to context techniques / 6.4:
The case of weak bisimilarity / 6.5:
A summary of up-to techniques for bisimulation / 6.6:
Probabilistic bisimulation / Prakash Panangaden7:
Discrete systems / 7.1:
A rapid survey of measure theory / 7.3:
Labelled Markov processes / 7.4:
Giry's monad / 7.5:
Logical characterisation / 7.6:
Probabilistic cocongruences / 7.8:
Kozen's coinduction principle / 7.9:
Conclusions / 7.10:
List of contributors
Preface
Origins of bisimulation and coinduction / Davide Sangiorgi1:
4.

電子ブック

EB
David Barber, A. Taylan Cemgil, Ali Taylan Cemgil, Silvia Chiappa
出版情報: Cambridge University Press Online Books , 2011
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface
Inference and estimation in probabilistic time series models / David Barber ; A. Taylan Cemgil ; Silvia Chiappa1:
Monte Carlo: / Part I:
Adaptive Markov chain Monte Carlo: theory and methods / Yves Atchadé ; Gersende Fort ; Eric Moulines ; Pierre Priouret2:
Auxiliary particle filtering: recent developments / Nick Whiteley ; Adam M. Johansen3:
Monte Carlo probabilistic inference for diffusion processes: a methodological framework / Omiros Papaspiliopoulos4:
Deterministic Approximations: / Part II:
Two problems with variational expectation maximisation for time series models / Richard Eric Turner ; Maneesh Sahani5:
Approximate inference for continuous-time Markov processes / Cédric Archambeau ; Manfred Opper6:
Expectation propagation and generalised EP methods for inference in switching linear dynamical systems / Onno Zoeter ; Tom Heskes7:
Approximate inference in switching linear dynamical systems using Gaussian mixtures / 8:
Change-Point Models: / Part III:
Analysis of change-point models / Idris A. Eckley ; Paul Fearnhead ; Rebecca Killick9:
Multi-Object Models: / Part IV:
Approximate likelihood estimation of static parameters in multi-target models / Sumeetpal S. Singh ; Simon J. Godsill10:
Sequential inference for dynamically evolving groups of objects / Sze Kim Pang ; Jack Li ; François Septier ; Simon Hill11:
Non-commutative harmonic analysis in multi-object tracking / Risi Kondor12:
Physiological monitoring with factorial switching linear dynamical systems / John A. Quinn ; Christopher K. I. Williams13:
Non-Parametric Models: / Part V:
Markov chain Monte Carlo algorithms for Gaussian processes / Michalis K. Titsias ; Magnus Rattray ; Neil D. Lawrence14:
Non-parametric hidden Markov models / Jurgen Van Gael ; Zoubin Ghahramani15:
Bayesian Gaussian process models for multi-sensor time series prediction / Michael A. Osborne ; Alex Rogers ; Stephen J. Roberts ; Sarvapali D. Ramchurn ; Nick R. Jennings16:
Agent Based Models: / Part VI:
Optimal control theory and the linear Bellman equation / Hilbert J. Kappen17:
Expectation-maximisation methods for solving (PO)MDPs and optimal control problems / Marc Toussaint ; Amos Storkey ; Stefan Harmeling18:
Index
Contributors
Preface
Inference and estimation in probabilistic time series models / David Barber ; A. Taylan Cemgil ; Silvia Chiappa1:
5.

電子ブック

EB
Nathalie Japkowicz, Mohak Shah
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2011
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acronyms
Introduction / 1:
The De Facto Culture / 1.1:
Motivations for This Book / 1.2:
The De Facto Approach / 1.3:
Broader Issues with Evaluation Approaches / 1.4:
What Can We Do? / 1.5:
Is Evaluation an End in Itself? / 1.6:
Purpose of the Book / 1.7:
Other Takes on Evaluation / 1.8:
Moving Beyond Classification / 1.9:
Thematic Organization / 1.10:
Machine Learning and Statistics Overview / 2:
Machine Learning Overview / 2.1:
Statistics Overview / 2.2:
Summary / 2.3:
Bibliographic Remarks / 2.4:
Performance Measures I / 3:
Overview of the Problem / 3.1:
An Ontology of Performance Measures / 3.2:
Illustrative Example / 3.3:
Performance Metrics with a Multiclass Focus / 3.4:
Performance Metrics with a Single-Class Focus / 3.5:
Illustration of the Confusion-Matrix-Only-Based Metrics Using WEKA / 3.6:
Performance Measures II / 3.7:
Graphical Performance Measures / 4.1:
Receiver Operating Characteristic (ROC) Analysis / 4.2:
Other Visual Analysis Methods / 4.3:
Continuous and Probabilistic Classifiers / 4.4:
Specialized Metrics / 4.5:
Illustration of the Ranking and Probabilistic Approaches Using R, ROCR, and WEKA / 4.6:
Error Estimation / 4.7:
Holdout Approach / 5.1:
What Implicitly Guides Resampling? / 5.3:
Simple Resampling / 5.4:
A Note on Model Selection / 5.5:
Multiple Resampling / 5.6:
Discussion / 5.7:
Illustrations Using R / 5.8:
Appendix: Proof of Equation (5.5) / 5.9:
Statistical Significance Testing / 6:
The Purpose of Statistical Significance Testing / 6.1:
The Limitations of Statistical Significance Testing / 6.2:
An Overview of Relevant Statistical Tests / 6.3:
A Note on Terminology / 6.4:
Comparing Two Classifiers on a Single Domain / 6.5:
Comparing Two Classifiers on Multiple Domains / 6.6:
Comparing Multiple Classifiers on Multiple Domains / 6.7:
Statistical Tests for Two Classifiers on a Single Domain Based on Resampling Techniques / 6.8:
llustration of the Statistical Tests Application Using R / 6.9:
Datasets and Experimental Framework / 6.10:
Repository-Based Approach / 7.1:
Making Sense of Our Repositories: Metalearning / 7.2:
Artificial Data Approach / 7.3:
Community Participation: Web-Based Solutions / 7.4:
Recent Developments / 7.5:
Performance Metrics / 8.1:
Frameworks for Performance Metrics / 8.2:
Combining Metrics / 8.3:
Insights from Statistical Learning Theory / 8.4:
Other Developments / 8.5:
Appendix: Proof of Theorems 8.1 and 8.2 / 8.6:
Conclusion / 9:
An Evaluation Framework Template / 9.1:
Concluding Remarks / 9.2:
Statistical Tables / 9.3:
The Z Table / A.l:
The t Table / A.2:
The x2 Table / A.3:
The Table of Critical Values for the Signed Test / A.4:
The Wilcoxon Table / A.5:
The F-Ratio Table / A.6:
The Friedman Table / A.7:
The Table of Critical Values for the Tukey Test / A.8:
The Table of Critical Values for the Dunnett Test / A.9:
Additional Information on the Data / AppendixB:
Two Case Studies / Appendix C:
Illustrative Case Study 1 / C.l:
Illustrative Case Study 2 / C.2:
Bibliography
Index
Preface
Acronyms
Introduction / 1:
6.

電子ブック

EB
David P. Williamson, David B. Shmoys, David Bernard Shmoys
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2011
所蔵情報: loading…
目次情報: 続きを見る
Preface
An Introduction to the Techniques / I:
An Introduction to Approximation Algorithms / 1:
The Whats and Whys of Approximation Algorithms / 1.1:
An Introduction to the Techniques and to Linear Programming: The Set Cover Problem / 1.2:
A Deterministic Rounding Algorithm / 1.3:
Rounding a Dual Solution / 1.4:
Constructing a Dual Solution: The Primal-Dual Method / 1.5:
A Randomized Rounding Algorithm / 1.7:
Exercises
Chapter Notes
Greedy Algorithms and Local Search / 2:
Scheduling Jobs with Deadlines on a Single Machine / 2.1:
The k-Center Problem / 2.2:
Scheduling Jobs on Identical Parallel Machines / 2.3:
The Traveling Salesman Problem / 2.4:
Maximizing Float in Bank Accounts / 2.5:
Finding Minimum-Degree Spanning Trees / 2.6:
Edge Coloring / 2.7:
Rounding Data and Dynamic Programming / 3:
The Knapsack Problem / 3.1:
The Bin-Packing Problem / 3.2:
Deterministic Rounding of Linear Programs / 4:
Minimizing the Sum of Completion Times on a Single Machine / 4.1:
Minimizing the Weighted Sum of Completion Times on a Single Machine / 4.2:
Solving Large Linear Programs in Polynomial Time via the Ellipsoid Method / 4.3:
The Prize-Collecting Steiner Tree Problem / 4.4:
The Uncapacitated Facility Location Problem / 4.5:
Random Sampling and Randomized Rounding of Linear Programs / 4.6:
Simple Algorithms for MAX SAT and MAX CUT / 5.1:
Derandomization / 5.2:
Flipping Biased Coins / 5.3:
Randomized Rounding / 5.4:
Choosing the Better of Two Solutions / 5.5:
Nonlinear Randomized Rounding / 5.6:
Scheduling a Single Machine with Release Dates / 5.7:
Chernoff Bounds / 5.10:
Integer Multicommodity Flows / 5.11:
Random Sampling and Coloring Dense 3-Colorable Graphs / 5.12:
Randomized Rounding of Semidefinite Programs / 6:
A Brief Introduction to Semidefinite Programming / 6.1:
Finding Large Cuts / 6.2:
Approximating Quadratic Programs / 6.3:
Finding a Correlation Clustering / 6.4:
Coloring 3-Colorable Graphs / 6.5:
The Primal-Dual Method / 7:
The Set Cover Problem: A Review / 7.1:
Choosing Variables to Increase: The Feedback Vertex Set Problem in Undirected Graphs / 7.2:
Cleaning Up the Primal Solution: The Shortest s-t Path Problem / 7.3:
Increasing Multiple Variables at Once: The Generalized Steiner Tree Problem / 7.4:
Strengthening Inequalities: The Minimum Knapsack Problem / 7.5:
Lagrangean Relaxation and the k-Median Problem / 7.6:
Cuts and Metrics / 8:
The Multiway Cut Problem and a Minimum-Cut-Based Algorithm / 8.1:
The Multiway Cut Problem and an LP Rounding Algorithm / 8.2:
The Multicut Problem / 8.3:
Balanced Cuts / 8.4:
Probabilistic Approximation of Metrics by Tree Metrics / 8.5:
An Application of Tree Metrics: Buy-at-Bulk Network Design / 8.6:
Spreading Metrics, Tree Metrics, and Linear Arrangement / 8.7:
Further Uses of the Techniques / II:
Further Uses of Greedy and Local Search Algorithms / 9:
A Local Search Algorithm for the Uncapacitated Facility Location Problem / 9.1:
A Local Search Algorithm for the k-Median Problem / 9.2:
Minimum-Degree Spanning Trees / 9.3:
A Greedy Algorithm for the Uncapacitated Facility Location Problem / 9.4:
Further Uses of Rounding Data and Dynamic Programming / 10:
The Euclidean Traveling Salesman Problem / 10.1:
The Maximum Independent Set Problem in Planar Graphs / 10.2:
Further Uses of Deterministic Rounding of Linear Programs / 11:
The Generalized Assignment Problem / 11.1:
Minimum-Cost Bounded-Degree Spanning Trees / 11.2:
Survivable Network Design and Iterated Rounding / 11.3:
Further Uses of Random Sampling and Randomized Rounding of Linear Programs / 12:
The Single-Source Rent-or-Buy Problem / 12.1:
The Steiner Tree Problem / 12.3:
Everything at Once: Finding a Large Cut in a Dense Graph / 12.4:
Further Uses of Randomized Rounding of Semidefinite Programs / 13:
Unique Games / 13.1:
Further Uses of the Primal-Dual Method / 14:
The Feedback Vertex Set Problem in Undirected Graphs / 14.1:
Further Uses of Cuts and Metrics / 15:
Low-Distortion Embeddings and the Sparsest Cut Problem / 15.1:
Oblivious Routing and Cut-Tree Packings / 15.2:
Cut-Tree Packings and the Minimum Bisection Problem / 15.3:
The Uniform Sparsest Cut Problem / 15.4:
Techniques in Proving the Hardness of Approximation / 16:
Reductions from NP-Complete Problems / 16.1:
Reductions that Preserve Approximation / 16.2:
Reductions from Probabilistically Checkable Proofs / 16.3:
Reductions from Label Cover / 16.4:
Reductions from Unique Games / 16.5:
Open Problems / 17:
Linear Programming / Appendix A:
NP-Completeness / Appendix B:
Bibliography
Author Index
Subject Index
Preface
An Introduction to the Techniques / I:
An Introduction to Approximation Algorithms / 1:
7.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
8.

電子ブック

EB
The 48th Annual Design Automation Conference 2011, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
9.

電子ブック

EB
Richard N. Taylor, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
10.

電子ブック

EB
Charles Kalmanek, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼