1036 search results - page 49 / 208 » Ubiquitous Verification of Ubiquitous Systems |
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Moving around our physical environment, we are surrounded and interact with information that exhorts and stimulates us to buy things. For most of us, not all of these impulses are...
JUCS
2008
13 years 7 months ago
2008
: In this article we explain how we apply the CIAM methodology based on the CIAN notation in order to generate user interfaces in collaborative applications. CIAM has been applied ...
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
In recent years Services Science has been an emerging discipline that aims to promote service innovation and increase service productivity by aligning scientific, management, and ...