Sciweavers

832 search results - page 134 / 167
» Mutation of Java Objects
Sort
View
ICWS
2003
IEEE
13 years 9 months ago
SOAP Optimization via Client Side Caching
The Simple Object Access Protocol (SOAP) [1] is an emerging technology in the field of web services. Web services demand high performance, security and extensibility. SOAP, being ...
Kiran Devaram, Daniel Andresen
IGPL
2006
130views more  IGPL 2006»
13 years 8 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
JFP
2006
89views more  JFP 2006»
13 years 8 months ago
Featherweight generic confinement
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
Alex Potanin, James Noble, Dave Clarke, Robert Bid...
JIB
2007
121views more  JIB 2007»
13 years 8 months ago
MetHouse: Raw and Preprocessed Mass Spectrometry Data
We are developing a vendor-independent archive and on top of that a data warehouse for mass spectrometry metabolomics data. The archive schema resembles the communitydeveloped obj...
Antje Gaida, Steffen Neumann
CONCURRENCY
2004
124views more  CONCURRENCY 2004»
13 years 8 months ago
Checking ownership and confinement
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
Alex Potanin, James Noble, Robert Biddle