6581 search results - page 1225 / 1317 » Formalizing Design Patterns |
176
click to vote
ACISP
2006
Springer
16 years 8 days ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
212
click to vote
ACL2
2006
ACM
16 years 8 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
186
click to vote
IWCMC
2006
ACM
16 years 7 days ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
163
click to vote
SAC
2006
ACM
16 years 7 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
170
click to vote
SIGCSE
2006
ACM
16 years 7 days ago
2006
ACM
Many incoming college freshmen have accumulated a significant number of hours of experience playing computer games. Extending that experience to actual game creation activities ca...