4386 search results - page 156 / 878 » A Tamper-Resistant Programming Language System |
112
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present the agent programming language POGTGolog, which combines explicit agent programming in Golog with game-theoretic multi-agent planning in a special kind of partially obs...
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
117
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...
109
click to vote
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
101
click to vote
HPDC
1993
IEEE
15 years 5 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...