3 search results - page 1 / 1 » Innocuous Constructor-Sharing Combinations |
RTA
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...
TKDE
2008
13 years 4 months ago
2008
Searching for words on a watchlist is one way in which large-scale surveillance of communication can be done, for example, in intelligence and counterterrorism settings. One obviou...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...