311 search results - page 31 / 63 » Object Invariants in Dynamic Contexts |
UAI
2003
13 years 9 months ago
2003
Large astronomical databases obtained from sky surveys such as the SuperCOSMOS Sky Surveys (SSS) invariably suffer from spurious records coming from artefactual effects of the t...
CC
2012
Springer
12 years 3 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
ACMACE
2005
ACM
14 years 1 months ago
2005
ACM
This paper presents a hybrid geometrical-physical, plastic deformation technique applicable for solids, in the context of a car simulation game. This technique doesn’t aim to be...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Dynamic optimization of UMTS systems has been gaining a growing interest by the research community. In this context, the current paper concentrates on dynamic automated tuning ...
COORDINATION
2005
Springer
14 years 1 months ago
2005
Springer
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...