1727 search results - page 114 / 346 » Petascale System Management Experiences |
ICWL
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...
IJNSEC
2006
13 years 9 months ago
2006
Cluster systems have been gradually more popular and are being broadly used in a variety of applications. On the other hand, many of those systems are not tolerant to system failu...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
Existing computer-based spinal stenosis diagnosis systems are not fully automatic. Their performance depends on the knowledge and experience of the user. Such a system is typicall...
ICNS
2006
IEEE
14 years 3 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
NFM
2011
13 years 3 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...