1426 search results - page 66 / 286 » A control-based framework for self-managing distributed comp... |
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
NOMS
2010
IEEE
13 years 7 months ago
2010
IEEE
—One of the challenges of ambient systems lies in providing all the available services of the environment to the ambient devices, even if they do not physically host those servic...
CONCUR
1999
Springer
14 years 1 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
ISPAN
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...