3256 search results - page 456 / 652 » Applications of Formal Methods to System Design and Verifica... |
203
click to vote
HAPTICS
2006
IEEE
15 years 11 months ago
2006
IEEE
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
167
click to vote
MSWIM
2009
ACM
16 years 6 days ago
2009
ACM
The provision of rich multimedia services, such as Mobile TV, is considered of key importance for the Long Term Evolution (LTE) proliferation in mobile market. To this direction, ...
189
click to vote
AMOST
2007
ACM
15 years 9 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
199
click to vote
KDD
2003
ACM
16 years 5 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
203
click to vote
SAC
2010
ACM
16 years 8 days ago
2010
ACM
In this paper, we explore the problem of processing a novel type of location based queries, named the location based top-k query, which involves both of spatial and non-spatial sp...