3554 search results - page 220 / 711 » Estimating software based on use case points |
263
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...
144
click to vote
SIGSOFT
1996
ACM
15 years 9 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
211
click to vote
AMS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
140
Voted
CAMP
2000
IEEE
15 years 9 months ago
2000
IEEE
Silhouette volume intersection is one of the most popular ideas for reconstructing the 3D volume of an object from multi-viewpoint silhouette images. This paper presents a novel p...
157
Voted
CHES
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes high-resolution waveform matching based on a Phase-Only Correlation (POC) technique and its application for a side-channel attack. Such attacks, such as Simple...