7202 search results - page 1428 / 1441 » Software System Engineering: A Tutorial |
144
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
105
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
115
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
120
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
135
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...