2496 search results - page 74 / 500 » Error-detecting properties of languages |
111
Voted
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
131
Voted
E4MAS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
134
Voted
GRID
2004
Springer
15 years 9 months ago
2004
Springer
Dynamic behavior is inherent in virtual organizations. Semantics has to be processed to manage dynamism and other properties like state, life cycle, faults, and others. In our pap...
116
Voted
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
122
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a new application of Bayesian language model based on Pitman-Yor process for information retrieval. This model is a generalization of the Dirichlet distr...