1036 search results - page 142 / 208 » Ubiquitous Verification of Ubiquitous Systems |
CHI
2003
ACM
14 years 8 months ago
2003
ACM
The majority of systems using public displays to foster awareness have focused on providing information across remote locations or among people who are loosely connected and lack ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
PPOPP
2010
ACM
14 years 5 months ago
2010
ACM
Irregular algorithms are organized around pointer-based data structures such as graphs and trees, and they are ubiquitous in applications. Recent work by the Galois project has pr...
PERVASIVE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. There are endless possibilities for the next generation of mobile social applications that automatically determine your social context. A key element of such applications...
WEBDB
2009
Springer
14 years 2 months ago
2009
Springer
The ubiquitous adoption of XML as the standard of data exchange over the web has led to increased interest in building efficient and scalable XML publish-subscribe (pub-sub) syste...