10871 search results - page 1873 / 2175 » A stable programming language |
187
click to vote
WORDS
2003
IEEE
16 years 16 days ago
2003
IEEE
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
187
click to vote
APLAS
2003
ACM
16 years 16 days ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
185
click to vote
AC
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
211
click to vote
ASM
2003
ASM
16 years 15 days ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
178
click to vote
ATAL
2003
Springer
16 years 15 days ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...