3554 search results - page 220 / 711 » Estimating software based on use case points |
286
click to vote
BMCBI
2008
15 years 6 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...
177
click to vote
SIGSOFT
1996
ACM
15 years 10 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 ...
238
click to vote
AMS
2007
Springer
15 years 10 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...
177
click to vote
CAMP
2000
IEEE
15 years 11 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...
187
click to vote
CHES
2006
Springer
15 years 10 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...