4386 search results - page 62 / 878 » A Tamper-Resistant Programming Language System |
CEEMAS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
CLIMA
2004
13 years 11 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
OSDI
2008
ACM
14 years 12 days ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
APVIS
2001
13 years 11 months ago
2001
The Nord Modular music synthesiser system comprises a standalone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming...
PLPV
2010
ACM
14 years 7 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...