9110 search results - page 1408 / 1822 » Formally-Based Design Evaluation |
187
click to vote
PERCOM
2010
ACM
15 years 10 months ago
2010
ACM
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...
210
click to vote
PETRA
2010
ACM
15 years 10 months ago
2010
ACM
Context-aware inter-vehicular communication is considered to be vital for inducing intelligence through the use of embedded computing devices inside vehicles. Vehicles in a scalab...
157
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
With the increase of automated teller machine (ATM) frauds, new authentication mechanisms are developed to overcome security problems of personal identification numbers (PIN). Th...
157
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...
222
click to vote
DAWAK
2009
Springer
15 years 10 months ago
2009
Springer
Data warehousing involves complex processes that transform source data through several stages to deliver suitable information ready to be analysed. Though many techniques for visua...