Search
Now showing items 1-2 of 2
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
(
IEEE
, 2003 , Conference Paper)
Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...
Mobile-phone users’ attitudes towards’ mobile commerce & services in the Gulf Cooperation Council countries: Case study
(
IEEE
, 2008 , Conference Paper)
As the number of mobile phone users is growing, purchasing products and services using mobile phones and other mobile devices are also increasing. The purpose of this study was to provide the status of mobile-commerce in ...