861 search results - page 58 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
112
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
179
click to vote
ACMIDC
2010
15 years 1 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
130
click to vote
TSE
2010
15 years 1 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
139
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
127
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...