10575 search results - page 247 / 2115 » T2Script Programming Language |
130
click to vote
MAS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
130
click to vote
TOPLAS
2010
15 years 2 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
211
click to vote
DLS
2009
15 years 1 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
147
click to vote
DALT
2003
Springer
15 years 9 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
153
click to vote
JAIR
2007
15 years 3 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...