4752 search results - page 594 / 951 » Dependability in Web Software |
200
click to vote
LCTRTS
2001
Springer
16 years 1 days ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
185
click to vote
APSEC
2000
IEEE
16 years 22 hour ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
201
click to vote
AMAST
2000
Springer
15 years 12 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
198
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
184
click to vote
APSEC
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...