3724 search results - page 400 / 745 » Timed regular expressions |
170
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
186
click to vote
ECTEL
2007
Springer
16 years 29 days ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
179
click to vote
RR
2007
Springer
16 years 27 days ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
197
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
150
click to vote
TGC
2007
Springer
16 years 27 days ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...