9067 search results - page 1557 / 1814 » Adaptive Model Checking |
203
click to vote
FUIN
2006
15 years 7 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
162
click to vote
INFSOF
2008
15 years 7 months ago
2008
Services for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises the problem...
177
Voted
MOR
2008
15 years 7 months ago
2008
A framework is set up in which linear regression, as a way of approximating a random variable by other random variables, can be carried out in a variety of ways, which moreover ca...
224
click to vote
FGCS
2007
15 years 7 months ago
2007
A crucial goal for future Grid systems is to strive towards user-centric service provisioning. A way to achieve this is through the use of economics-based resource management. Cur...
211
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we consider the problem of sending data in real time from information sources to sets of receivers, using peer-to-peer communications. We consider several models of ...