as mobile technologies are becoming more advanced and mobile devices are making a big impact on daily life, a new type of payment system named mobile payment (m-payment) has emerged, enabling users to pay from their wireless devices especially mobile phones. this paper analyzes currently available wireless-payment systems and finds the stored-value card to be the best overall payment scheme for...

The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, the specification is often presented as an ATL or LTL formula interpreted over a finite-state game. The required program is then a strategy for winning this game. A theoretically optimal solution to this problem was proposed by Pnu...

Media technologies, including the Internet, cell phones, and video games, offer new avenues to reach Native youth on sensitive health topics. Project Red Talon, a sexually transmitted disease (STD)/HIV prevention project that serves the 43 federally recognized tribes in Oregon, Washington, and Idaho, used community-based participatory research methods in partnership with the Northwest tribes to...