26957 search results - page 138 / 5392 » Information Systems Modernization |
LCPC
2007
Springer
14 years 3 months ago
2007
Springer
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...
WORDS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
CASCON
1996
13 years 11 months ago
1996
Modern distributed applications pose increasing demands for high availability, automatic management, and dynamic con guration of their software systems. This paper presents the ar...
ENTCS
2007
13 years 9 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
INTEGRATION
2007
13 years 9 months ago
2007
This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...