3676 search results - page 583 / 736 » Scalable component abstractions |
137
Voted
DMG
2005
Springer
15 years 6 months ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
110
click to vote
EDCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
131
click to vote
EUROCRYPT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
108
click to vote
FATES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
89
Voted
FIMH
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we present a novel approach to the problem of spatiotemporal alignment of cardiac MR image sequences. This novel method has the ability to correct spatial m...