5407 search results - page 691 / 1082 » The Software Engineering Global Model |
139
click to vote
COMPSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
192
click to vote
ISPASS
2005
IEEE
16 years 1 months ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
225
click to vote
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
235
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
175
click to vote
WER
2005
Springer
16 years 1 months ago
2005
Springer
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...