264 search results - page 27 / 53 » Global State Considered Helpful |
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
ICPPW
2007
IEEE
14 years 2 months ago
2007
IEEE
Several challenges about computational grid exist in integrating, coordinating and managing of resources and scheduling of applications, due to distributed resources at various le...