656 search results - page 51 / 132 » Parameterized Types for Java |
POPL
1999
ACM
14 years 1 days ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
FCCM
2005
IEEE
14 years 1 months ago
2005
IEEE
Java technology has been integrated into mobile/wireless computing because of its rich support to portability (crossplatform nature), reusability (development libraries), and shor...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
ITCC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a tool, for the analysis and regeneration of web contents, implemented through XML and Java. At the moment, the web content delivery from server to clients is ...