1064 search results - page 68 / 213 » Disjoint Systems (Extended Abstract) |
ECSCW
2007
13 years 9 months ago
2007
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
FORTE
2008
13 years 9 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
KDD
2005
ACM
14 years 8 months ago
2005
ACM
Abstract. To make accurate recommendations, recommendation systems currently require more data about a customer than is usually available. We conjecture that the weaknesses are due...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...