close
1.

図書
図書
1. Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Dieter Hutter ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xi, 376 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1641
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Mechanizing Mathematical Reasoning
Gerhard Goos, Juris Hartmanis, Dieter Hutter, J?rg H. Siekmann, Werner Stephan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
3.

電子ブック
ＥＢ
3. Security in Pervasive Computing
International Conference on Security in Pervasive Computing, Dieter Hutter, Takeo Kanade, Markus Ullmann
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
4.

図書
図書
4. Security in pervasive computing : first International Conference, Boppard, Germany, March 12-14, 2003 : revised papers (: gw)
Dieter Hutter ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c2004  xi, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2802
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
The Age of Pervasive Computing - Everything Smart, Everything Connected? / Friedemann Mattern
Cyber Assist Project and Its Security Requirement / Hideyuki Nakashima
Security in Pervasive Computin / Frank Stajano
The Importance of High Assurance Security in Pervasive Computing / Paul A. Karger
Location Privacy A Methodological Assessment of Location Privacy Risks in Wireless Hotspot
Networks / Marco Gruteser ; Dirk Grunwald
Protecting Access to People Location Information / Urs Hengartner ; Peter Steenkiste
Security Requirements
Smart Devices and Software Agents: The Basics of Good Behaviour / Howard Chivers ; John A. Clark ; Susan Stepney
Dependability Issues of Pervasive Computing in a Healthcare Environment / JurgenBohn ; FelixGartner ; HaraldVogt
Security Policies and Protection
Protecting Security Policies in Ubiquitous Environments
Using One-Way Functions / HakanKvarnstrom ; HansHedbom ; ErlandJonsson
Enforcing Security Policies via Types / Daniele Gorla ; Rosario Pugliese
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems / Axel Schairer
Authentication and Trust
Authentication for Pervasive Computing / Sadie Creese ; Michael Goldsmith ; Bill Roscoe ; Irfan Zakiuddin
End-to-End Trust Starts with Recognition / Jean-Marc Seigneur ; Stephen Farrell ; Christian Damsgaard Jensen ; Elizabeth Gray ; Yong Chen
Embedding Distance-Bounding Protocols within Intuitive Interactions / Laurent Bussard and Yves Roudier
Secure Infrastructures
Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments / Philip Robinson ; Michael Beigl
Time Constraint Delegation for P2P Data Decryption / Tie-Yan Li
SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing / Kemal Bicakci ; Nazife Baykal
Smart Labels
Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems / Stephen A. Weis ; Sanjay E. Sarma ; Ronald L. Rivest ; Daniel W. Engels
Verification
Implementing a Formally Verifiable Security Protocol in Java Card / Engelbert Hubbers ; Martijn Oostdijk ; Erik Poll
Hardware Architectures
Cellular Automata Based Multiplier for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Enlisting Hardware Architecture to Thwart Malicious Code Injection / Ruby B. Lee ; David K. Karig ; John P. McGregor ; Zhijie Shi
Optimized RISC Architecture for Multiple-Precision Modular Arithmetic / Johann Großschadl ; Guy-Armand Kamendje
Visual Crypto Displays Enabling Secure Communications / Pim Tuyls ; Tom Kevenaar ; Geert-Jan Schrijen ; Toine Staring ; Marten van Dijk
Workshop
Security and Privacy in Pervasive Computing State of the Art and Future Directions / Dieter Hutter ; Werner Stephan ; Markus Ullmann
Author Index
Invited Talks (Abstracts)
The Age of Pervasive Computing - Everything Smart, Everything Connected? / Friedemann Mattern
Cyber Assist Project and Its Security Requirement / Hideyuki Nakashima
5.

図書
図書
5. Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Dieter Hutter, Werner Stephan (eds.)
出版情報: Berlin : Springer, c2005  ix, 563 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2605 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
6.

図書
図書
6. Security in pervasive computing : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings
Dieter Hutter, Markus Ullmann (eds.)
出版情報: Berlin : Springer, c2005  xi, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3450
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Applied Formal Methods — FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Dieter Hutter, W. Stephan, Werner Stephan, Paolo Traverso, Markus Ullmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Security in Pervasive Computing
International Conference on Security in Pervasive Computing, Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2004
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
The Age of Pervasive Computing - Everything Smart, Everything Connected? / Friedemann Mattern
Cyber Assist Project and Its Security Requirement / Hideyuki Nakashima
Security in Pervasive Computin / Frank Stajano
The Importance of High Assurance Security in Pervasive Computing / Paul A. Karger
Location Privacy A Methodological Assessment of Location Privacy Risks in Wireless Hotspot
Networks / Marco Gruteser ; Dirk Grunwald
Protecting Access to People Location Information / Urs Hengartner ; Peter Steenkiste
Security Requirements
Smart Devices and Software Agents: The Basics of Good Behaviour / Howard Chivers ; John A. Clark ; Susan Stepney
Dependability Issues of Pervasive Computing in a Healthcare Environment / JurgenBohn ; FelixGartner ; HaraldVogt
Security Policies and Protection
Protecting Security Policies in Ubiquitous Environments
Using One-Way Functions / HakanKvarnstrom ; HansHedbom ; ErlandJonsson
Enforcing Security Policies via Types / Daniele Gorla ; Rosario Pugliese
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems / Axel Schairer
Authentication and Trust
Authentication for Pervasive Computing / Sadie Creese ; Michael Goldsmith ; Bill Roscoe ; Irfan Zakiuddin
End-to-End Trust Starts with Recognition / Jean-Marc Seigneur ; Stephen Farrell ; Christian Damsgaard Jensen ; Elizabeth Gray ; Yong Chen
Embedding Distance-Bounding Protocols within Intuitive Interactions / Laurent Bussard and Yves Roudier
Secure Infrastructures
Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments / Philip Robinson ; Michael Beigl
Time Constraint Delegation for P2P Data Decryption / Tie-Yan Li
SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing / Kemal Bicakci ; Nazife Baykal
Smart Labels
Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems / Stephen A. Weis ; Sanjay E. Sarma ; Ronald L. Rivest ; Daniel W. Engels
Verification
Implementing a Formally Verifiable Security Protocol in Java Card / Engelbert Hubbers ; Martijn Oostdijk ; Erik Poll
Hardware Architectures
Cellular Automata Based Multiplier for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Enlisting Hardware Architecture to Thwart Malicious Code Injection / Ruby B. Lee ; David K. Karig ; John P. McGregor ; Zhijie Shi
Optimized RISC Architecture for Multiple-Precision Modular Arithmetic / Johann Großschadl ; Guy-Armand Kamendje
Visual Crypto Displays Enabling Secure Communications / Pim Tuyls ; Tom Kevenaar ; Geert-Jan Schrijen ; Toine Staring ; Marten van Dijk
Workshop
Security and Privacy in Pervasive Computing State of the Art and Future Directions / Dieter Hutter ; Werner Stephan ; Markus Ullmann
Author Index
Invited Talks (Abstracts)
The Age of Pervasive Computing - Everything Smart, Everything Connected? / Friedemann Mattern
Cyber Assist Project and Its Security Requirement / Hideyuki Nakashima
9.

電子ブック
ＥＢ
9. Security in Pervasive Computing
International Conference on Security in Pervasive Computing, Dieter Hutter, Takeo Kanade, Markus Ullmann, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Mechanizing Mathematical Reasoning
Gerhard Goos, Juris Hartmanis, Dieter Hutter, Jörg H. Siekmann, Werner Stephan, Jan van Leeuwen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼