2944 search results - page 415 / 589 » On Well Quasi-orders on Languages |
205
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
161
click to vote
DOCENG
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...
181
click to vote
SCAM
2008
IEEE
16 years 27 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
178
click to vote
CODES
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
184
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...