10870 search results - page 1764 / 2174 » Model Checking Programs |
177
click to vote
ICCV
2005
IEEE
16 years 14 days ago
2005
IEEE
Recognition of specular objects is particularly difficult because their appearance is much more sensitive to lighting changes than that of Lambertian objects. We consider an appr...
186
click to vote
ICPADS
2005
IEEE
16 years 14 days ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
167
click to vote
SKG
2005
IEEE
16 years 13 days ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
143
click to vote
MSWIM
2005
ACM
16 years 12 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
173
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...