549 search results - page 31 / 110 » formats 2010 |
127
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
SERVICES
2010
15 years 1 months ago
2010
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...
98
Voted
WIKIS
2010
ACM
14 years 10 months ago
2010
ACM
Wikis have become a popular online collaboration platform. Their open nature can, and indeed does, lead to a large number of editors of their articles, who create a large number o...
102
click to vote
ENTCS
2006
15 years 14 days ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
120
click to vote
DATESO
2010
14 years 10 months ago
2010
The XML format has become the standard for data exchange because it is self-describing and it stores not only information but also the relationships between data. Therefore it is u...