3667 search results - page 555 / 734 » Software Rejuvenation - Modeling and Analysis |
EUSAI
2003
Springer
14 years 3 months ago
2003
Springer
This paper addresses the content overload problem applied to photo retrieval activities in the home environment. The starting point is an analysis of the main activities that users...
ICFEM
2003
Springer
14 years 3 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
VISUALIZATION
2002
IEEE
14 years 3 months ago
2002
IEEE
Critical points of a vector field are key to their characterization. Not only their positions but also their indexes are crucial for understanding vector fields. Considerable wo...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Appropriate use of group consensus on service consumers’ QoS opinions can improve web service discovery. Web service participants with different backgrounds or preferences may n...