11324 search results - page 2105 / 2265 » Coordination Models and Languages |
168
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
176
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
171
click to vote
IFIP
2007
Springer
16 years 19 days ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
226
click to vote
ILP
2007
Springer
16 years 19 days ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
175
click to vote
IWIC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...