304 search results - page 32 / 61 » Safe futures for Java |
DATE
2002
IEEE
14 years 20 days ago
2002
IEEE
Future networked appliances should be able to download new services or upgrades from the network and execute them locally. This flexibility is typically achieved by processors tha...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
This paper introduces the One-Click Grid resource, which allows any computer with a Java enabled web browser to safely provide resources to Grid without any software installation. ...
IWPC
1998
IEEE
13 years 12 months ago
1998
IEEE
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...