skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 5.995  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Learning Techniques for Software Verification and Validation
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Learning Techniques for Software Verification and Validation

Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.505-507

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_37

Toàn văn sẵn có

2
A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling

Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp.169-183

ISBN: 9783642165573 ; ISBN: 3642165575 ; E-ISBN: 9783642165580 ; E-ISBN: 3642165583 ; DOI: 10.1007/978-3-642-16558-0_16

Toàn văn sẵn có

3
Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL

Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp.276-284

ISBN: 9783642165573 ; ISBN: 3642165575 ; E-ISBN: 9783642165580 ; E-ISBN: 3642165583 ; DOI: 10.1007/978-3-642-16558-0_24

Toàn văn sẵn có

4
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination

Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp.564-578

ISBN: 9783642165573 ; ISBN: 3642165575 ; E-ISBN: 9783642165580 ; E-ISBN: 3642165583 ; DOI: 10.1007/978-3-642-16558-0_46

Toàn văn sẵn có

5
What Does AI Have to Do with RV?
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

What Does AI Have to Do with RV?

Havelund, Klaus; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.292-294

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_22

Toàn văn sẵn có

6
Process-Oriented Geoinformation Systems and Applications
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Process-Oriented Geoinformation Systems and Applications

Asche, Hartmut; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.324-324

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_31

Toàn văn sẵn có

7
Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development

Birken, Klaus; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.173-186

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_18

Toàn văn sẵn có

8
The WCET Analysis Tool CalcWcet167
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

The WCET Analysis Tool CalcWcet167

Kirner, Raimund; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.158-172

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_17

Toàn văn sẵn có

9
Quantitative Modelling and Analysis
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Quantitative Modelling and Analysis

Larsen, Kim Guldstrand; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.290-292

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_27

Toàn văn sẵn có

10
Distributing the Challenge of Model Checking Interlocking Control Tables
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Distributing the Challenge of Model Checking Interlocking Control Tables

Fantechi, Alessandro; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.276-289

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_26

Toàn văn sẵn có

11
Automated Generation of Safety Requirements from Railway Interlocking Tables
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Automated Generation of Safety Requirements from Railway Interlocking Tables

Haxthausen, Anne E; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.261-275

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_25

Toàn văn sẵn có

12
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings

Winter, Kirsten; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.246-260

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_24

Toàn văn sẵn có

13
Runtime Verification: The Application Perspective
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Runtime Verification: The Application Perspective

Falcone, Yliès ; Zuck, Lenore D; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.284-291

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_21

Toàn văn sẵn có

14
A Case for “Piggyback” Runtime Monitoring
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Case for “Piggyback” Runtime Monitoring

Hallé, Sylvain ; Tremblay-Lessard, Raphaël; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.295-311

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_23

Toàn văn sẵn có

15
Dynamic Information-Flow Analysis for Multi-threaded Applications
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Dynamic Information-Flow Analysis for Multi-threaded Applications

Mounier, Laurent ; Sifakis, Emmanuel; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.358-371

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_27

Toàn văn sẵn có

16
Bounded-Interference Sequentialization for Testing Concurrent Programs
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Bounded-Interference Sequentialization for Testing Concurrent Programs

Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.372-387

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_28

Toàn văn sẵn có

17
Model Learning and Test Generation for Event-B Decomposition
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Model Learning and Test Generation for Event-B Decomposition

Dinca, Ionut ; Ipate, Florentin ; Stefanescu, Alin; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp.539-553

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_40

Toàn văn sẵn có

18
Considerations for Healthcare Applications in a Platform as a Service Environment
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Considerations for Healthcare Applications in a Platform as a Service Environment

Holubek, Andreas ; Metzger, Christian; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.73-74

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_9

Toàn văn sẵn có

19
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

Margaria, Tiziana ; Boßelmann, Steve ; Kujath, Bertold; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.70-72

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_8

Toàn văn sẵn có

20
Efficient and Robust Shape Retrieval from Deformable Templates
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Efficient and Robust Shape Retrieval from Deformable Templates

Nezhinsky, Alexander E ; Verbeek, Fons J; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.42-55

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_5

Toàn văn sẵn có

Kết quả 1 - 20 của 5.995  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (360)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2007  (841)
  2. 2007đến2008  (811)
  3. 2009đến2010  (1.124)
  4. 2011đến2013  (1.403)
  5. Sau 2013  (1.816)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Sách  (5.732)
  2. Book Chapters  (261)
  3. Kỷ yếu hội nghị  (2)
  4. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (5.994)
  2. German  (4)
  3. Dutch  (2)
  4. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...