6608 search results - page 924 / 1322 » On the Completeness of Model Checking |
186
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
193
click to vote
PKC
2007
Springer
16 years 29 days ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
168
click to vote
WINE
2007
Springer
16 years 29 days ago
2007
Springer
We study keyword auctions in a model where each advertiser has a value for every slot, which is not necessarily proportional to the number of clicks the advertiser expects to rece...
188
click to vote
AGILEDC
2006
IEEE
16 years 28 days ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
177
click to vote
ASWEC
2006
IEEE
16 years 28 days ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...