4752 search results - page 84 / 951 » Dependability in Web Software |
144
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
141
click to vote
RE
2007
Springer
15 years 10 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
154
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
127
click to vote
COREGRID
2007
Springer
15 years 10 months ago
2007
Springer
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
145
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...