2226 search results - page 201 / 446 » Pdk: The System and Its Language |
148
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The advantages of object-oriented (OO) programming are well-known. Nevertheless, distributed OO middleware systems (OOM) such as CORBA, DCOM or Java RMI have not been widely adopt...
161
click to vote
APLAS
2003
ACM
15 years 11 months 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...
131
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
206
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
158
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...