4139 search results - page 230 / 828 » Designing and Implementing Combinator Languages |
140
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...
118
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
163
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
140
click to vote
ICECCS
2005
IEEE
15 years 10 months 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...
129
click to vote
MSE
2005
IEEE
15 years 10 months 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...