540 search results - page 5 / 108 » Protection in Programming-Language Translations |
115
Voted
TOPLAS
2010
15 years 23 days 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...
111
click to vote
ECOOP
1994
Springer
15 years 6 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
127
click to vote
ICCL
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
122
click to vote
DALT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
105
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...