2236 search results - page 291 / 448 » Secure Software Design in Practice |
159
click to vote
SCAM
2005
IEEE
16 years 13 hour ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
176
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we introduce a concrete, practical Ubiquitous Organizational Information (UOI) service framework, providing novice users intelligent and useful services with respect...
150
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
142
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
144
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...