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 1.997  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Lọc theo: Chủ đề: Computer Communication Networks xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From ZULU to RERS
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

From ZULU to RERS

Howar, Falk ; Steffen, Bernhard ; Merten, Maik; 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.687-704

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

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
Certification of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Certification of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain

Schätz, Bernhard; 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.3-3

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

Toàn văn sẵn có

6
Self-adaptation and Evolution by Learning
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Self-adaptation and Evolution by Learning

Johansson, Richard; 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 II, pp.30-31

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_9

Toàn văn sẵn có

7
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method

Stefaneas, Petros ; Ogata, Kazuhiro; 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.75-89

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

Toàn văn sẵn có

8
Modeling and Managing System Evolution
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Modeling and Managing System Evolution

Hafner, Michael; 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 II, pp.26-29

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_8

Toàn văn sẵn có

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

Modeling and Analyzing Diversity

Schaefer, Ina; 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 II, pp.23-25

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_7

Toàn văn sẵn có

10
Task Forces in the EternalS Coordination Action
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Task Forces in the EternalS Coordination Action

Hähnle, Reiner; 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 II, pp.20-22

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_6

Toàn văn sẵn có

11
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling

Moschitti, Alessandro; 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 II, pp.15-19

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_5

Toàn văn sẵn có

12
Overview of Roadmapping by EternalS
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Overview of Roadmapping by EternalS

Clarke, Jim ; Howker, Keith; 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 II, pp.32-34

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_10

Toàn văn sẵn có

13
Adaptive Composition of Conversational Services through Graph Planning Encoding
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Adaptive Composition of Conversational Services through Graph Planning Encoding

Yan, Yuhong; 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 II, pp.35-50

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_11

Toàn văn sẵn có

14
SecureChange: Security Engineering for Lifelong Evolvable Systems
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

SecureChange: Security Engineering for Lifelong Evolvable Systems

Scandariato, Riccardo ; Massacci, Fabio; 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 II, pp.9-12

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_3

Toàn văn sẵn có

15
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

HATS: Highly Adaptable and Trustworthy Software Using Formal Methods

Hähnle, Reiner; 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 II, pp.3-8

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_2

Toàn văn sẵn có

16
Error Handling: From Theory to Practice
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Error Handling: From Theory to Practice

Lanese, Ivan ; Montesi, Fabrizio; 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 II, pp.66-81

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_13

Toàn văn sẵn có

17
Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge

Moschitti, Alessandro; 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 II, pp.1-2

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_1

Toàn văn sẵn có

18
Quantitative Verification in Practice
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Quantitative Verification in Practice

Larsen, Kim G; 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 II, pp.127-127

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_17

Toàn văn sẵn có

19
Arguing for Software Quality in an IEC 62304 Compliant Development Process
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Arguing for Software Quality in an IEC 62304 Compliant Development Process

Huhn, Michaela ; Zechner, Axel; 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 II, pp.296-311

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_30

Toàn văn sẵn có

20
Design Choices for High-Confidence Distributed Real-Time Software
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Design Choices for High-Confidence Distributed Real-Time Software

Fischmeister, Sebastian ; Azim, Akramul; 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 II, pp.327-342

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_32

Toàn văn sẵn có

Kết quả 1 - 20 của 1.997  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 (116)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2006  (184)
  2. 2006đến2008  (523)
  3. 2009đến2011  (726)
  4. 2012đến2015  (485)
  5. Sau 2015  (79)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Sách  (1.886)
  2. Book Chapters  (111)
  3. Lựa chọn khác open sub menu

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