2393 search results - page 410 / 479 » Fuzzy-UCS: preliminary results |
155
click to vote
RTA
2007
Springer
16 years 9 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
174
click to vote
DOCENG
2006
ACM
16 years 4 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
182
click to vote
SOUPS
2005
ACM
15 years 11 months ago
2005
ACM
Graphical passwords are an alternative to alphanumeric passwords in which users click on images to authenticate themselves rather than type alphanumeric strings. We have developed...
149
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
174
click to vote
USENIX
2007
15 years 8 months ago
2007
Memory state can be corrupted by the impact of particles causing single-event upsets (SEUs). Understanding and dealing with these soft (or transient) errors is important for syste...