Sciweavers

2074 search results - page 21 / 415
» Using an Object Reference Approach to Distributed Updates
Sort
View
FAC
2002
104views more  FAC 2002»
13 years 7 months ago
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
Brendan P. Mahony, Jin Song Dong
ICSE
2008
IEEE-ACM
14 years 8 months ago
Precise memory leak detection for java software using container profiling
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
Guoqing Xu, Atanas Rountev
ATAL
2005
Springer
14 years 27 days ago
Knowledge and social laws
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
Wiebe van der Hoek, Mark Roberts, Michael Wooldrid...
PRL
2010
205views more  PRL 2010»
13 years 2 months ago
Mining outliers with faster cutoff update and space utilization
It is desirable to find unusual data objects by Ramaswamy et al's distance-based outlier definition because only a metric distance function between two objects is required. It...
Chi-Cheong Szeto, Edward Hung
ECOOPW
1999
Springer
13 years 11 months ago
Flexible Aliasing with Protection
Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Nevertheless, aliasing is part of common and efficient programming techniques for expres...
Günter Kniesel, Dirk Theisen