1499 search results - page 33 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
134
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 13 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
166
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
We report on our work in developing a fine-grained multithreaded solution for the communicationintensive Conjugate Gradient (CG) problem. In our recent work, we developed a simpl...
142
click to vote
ECIS
2001
15 years 7 months ago
2001
This paper analyzes the way in which the London Ambulance Service (LAS) recovered from the events of October 1992, when it implemented a computer aided despatch system (LASCAD) th...
161
click to vote
WSC
2000
15 years 7 months ago
2000
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...