711 search results - page 35 / 143 » formats 2008 |
75
Voted
IRCDL
2008
14 years 11 months ago
2008
Abstract--OAI-Publishers are software modules implementing the OAI-PMH protocol interface, enabling harvesting of metadata records describing the digital resources of a Digital Rep...
84
Voted
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
58
Voted
DATASCIENCE
2002
14 years 9 months ago
2002
A recurring theme during the CODATA 2000 conference (Lake Maggiore, Italy, 15 - 19 October 2000) was the increasing convergence in data-rich branches of science between the storag...
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
81
Voted
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...