6054 search results - page 814 / 1211 » Implementation of Andorra-based Languages |
182
click to vote
ICECCS
2005
IEEE
16 years 12 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
156
click to vote
MSE
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
161
click to vote
SEFM
2005
IEEE
16 years 11 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
166
click to vote
SEFM
2005
IEEE
16 years 11 days ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
171
click to vote
WSE
2005
IEEE
16 years 11 days ago
2005
IEEE
We explore the evolution benefits of adopting aspects in a J2EE setting by studying crosscutting concerns in a typical J2EE application. To identify these concerns, we take a top...