513 search results - page 80 / 103 » A Cost Benefit Model for Dynamic Resource Sharing |
151
click to vote
GRID
2010
Springer
15 years 3 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
191
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
145
click to vote
SIGUCCS
2006
ACM
15 years 12 months ago
2006
ACM
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...
170
click to vote
ICEBE
2009
IEEE
15 years 3 months ago
2009
IEEE
Privacy has been acknowledged to be a critical requirement for many business environments. A variety of uncertainty and mutability poses challenges when sharing resources must happ...
205
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...