2226 search results - page 51 / 446 » Pdk: The System and Its Language |
107
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
136
click to vote
ESAW
2009
Springer
15 years 8 months ago
2009
Springer
Sign languages can be learned effectively only with frequent feedback from an expert in the field. The expert needs to watch a performed sign, and decide whether the sign has bee...
106
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
110
click to vote
DGO
2003
15 years 3 months ago
2003
Federal agencies implement laws passed by the Congress by creating rules and regulations that can be applied in practice. During this process, staffs at the various agencies may r...
131
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...