8008 search results - page 467 / 1602 » Computer-Aided Language Processing |
144
Voted
CONCUR
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
143
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
130
Voted
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
182
click to vote
ANSOFT
2002
15 years 5 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
151
click to vote
TCS
2002
15 years 4 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...