878 search results - page 51 / 176 » Services Platforms for Context-Aware Applications |
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...
FIDJI
2003
Springer
14 years 27 days ago
2003
Springer
– This paper presents a Java service platform for mobile healthcare that enables remote health monitoring using 2.5/3G public wireless networks. The platform complies with todayâ...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
DEBU
2002
13 years 7 months ago
2002
An increasing number of business users and software applications need to process information that is accessible via multiple diverse information systems, such as database systems,...