315 search results - page 50 / 63 » A formal approach to software components classification and ... |
102
click to vote
SIGSOFT
2005
ACM
15 years 6 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
119
Voted
Publication
We present an algorithm for multi-person tracking-bydetection
in a particle filtering framework. To address the
unreliability of current state-of-the-art object detectors, our
a...
106
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
117
Voted
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
124
Voted
ICFP
2010
ACM
15 years 18 days ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...