2861 search results - page 88 / 573 » Modelling Adaptive Systems in ForSyDe |
DKE
2008
13 years 9 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
ICWL
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Learning style is one of the individual differences that play an important but controversial role in the learning process. This paper aims at providing a critical analysi...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
In the past decade parallel disk systems have been highly scalable and able to alleviate the problem of disk I/O bottleneck, thereby being widely used to support a wide range of d...
APSEC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...