6155 search results - page 180 / 1231 » A language for multiple models of computation |
178
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
180
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
160
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
Neurophysiology reveals the properties of individual mirror neurons in the macaque while brain imaging reveals the presence of `mirror systems' (not individual neurons) in th...
187
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
169
click to vote
CSO
2009
IEEE
16 years 1 months ago
2009
IEEE
Compared with the written word, few experts pay more attention to the spoken word because of the difficulty of obtaining spoken corpora. In order to develop and improve the spoken...