14386 search results - page 2717 / 2878 » Algorithms for user interfaces |
109
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
136
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...
190
click to vote
WEBDB
2010
Springer
15 years 8 months ago
2010
Springer
Data on the Web is increasingly being used for discovery and exploratory tasks. Unlike traditional fact-finding tasks that require only the typical single-query and response parad...
129
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
To enhance the visual effect of a photo, various digital borders or frames are provided for photo decoration at photo sharing websites. Even though multiple versions of the same b...
140
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
PKI is generally considered as the most appropriate solution for e-commerce and mutual authentication, owing to its digital signature and non-repudiation features. Asymmetric key ...