2713 search results - page 386 / 543 » Parameterized Tree Systems |
178
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
275
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
182
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a system that performs hierarchical error recovery, and detects and corrects a single error in a sentence at the lexical, syntactic, and/or semantic levels. I...
173
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
179
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Peer Data Management Systems (PDMS) are a natural extension of heterogeneous database systems. One of the main tasks in such systems is efficient query processing. Insisting on co...