3505 search results - page 305 / 701 » A Language for Human Action |
219
click to vote
JWSR
2008
15 years 6 months ago
2008
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
149
click to vote
MT
2002
15 years 6 months ago
2002
Machine translation of human languages is a field almost as old as computers themselves. Recent approaches to this challenging problem aim at learning translation knowledge automat...
155
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
160
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
168
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...