2958 search results - page 263 / 592 » Extending and Implementing RASP |
134
click to vote
FAC
2008
15 years 16 days ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
88
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
A concept is proposed to extend authorised translations of documents to electronically signed, digital documents. Central element of the solution is an electronic seal, embodied a...
90
Voted
ENTCS
2006
15 years 15 days ago
2006
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...
ENTCS
2006
15 years 15 days ago
2006
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
130
click to vote
IDA
2006
Springer
15 years 14 days ago
2006
Springer
Symbolic data analysis aims at generalizing some standard statistical data mining methods, such as those developed for classification tasks, to the case of symbolic objects (SOs). ...