9264 search results - page 1684 / 1853 » Space Between Languages |
197
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
174
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
187
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
199
click to vote
INEX
2004
Springer
15 years 12 months ago
2004
Springer
The INEX query languages allow the extraction of fragments from selected documents. This power is not much used in INEX queries. The paper suggests reasons why, and considers which...