Perspectives of Systems Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642114854, 9783642114861
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Establishing Linux Driver Verification Process

2010 ◽  
pp. 165-176 ◽  
Author(s):  
Alexey Khoroshilov ◽  
Vadim Mutilin ◽  
Alexander Petrenko ◽  
Vladimir Zakharov
Keyword(s):  
Verification Process

History-Dependent Stochastic Petri Nets

2010 ◽  
pp. 366-379 ◽  
Author(s):  
Helen Schonenberg ◽  
Natalia Sidorova ◽  
Wil van der Aalst ◽  
Kees van Hee
Keyword(s):  
Petri Nets ◽  
Stochastic Petri Nets

Indexing Dense Nested Metric Spaces for Efficient Similarity Search

2010 ◽  
pp. 98-109 ◽  
Author(s):  
Nieves R. Brisaboa ◽  
Miguel R. Luaces ◽  
Oscar Pedreira ◽  
Ángeles S. Places ◽  
Diego Seco
Keyword(s):  
Similarity Search ◽  
Metric Spaces
Load More ...
Sign in / Sign up

Export Citation Format

Share Document