Sciweavers

2330 search results - page 169 / 466
» A System for Object Class Detection
Sort
View
WCRE
2003
IEEE
15 years 9 months ago
Predicting Maintainability with Object-Oriented Metrics - An Empirical Comparison
A large number of metrics have been proposed for measuring properties of object-oriented software such as size, inheritance, cohesion and coupling. We have been investigating whic...
Melis Dagpinar, Jens H. Jahnke
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
16 years 1 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
ENTCS
2006
130views more  ENTCS 2006»
15 years 4 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
ISVC
2009
Springer
15 years 11 months ago
Propagation of Pixel Hypotheses for Multiple Objects Tracking
Abstract. In this paper we propose a new approach for tracking multiple objects in image sequences. The proposed approach differs from existing ones in important aspects of the re...
Haris Baltzakis, Antonis A. Argyros
SACMAT
2010
ACM
15 years 9 months ago
Role-based access control (RBAC) in Java via proxy objects using annotations
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam