3294 search results - page 556 / 659 » Taxonomy of Process Modeling Languages |
128
Voted
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
110
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
155
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
109
click to vote
NLDB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...
121
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...