3996 search results - page 454 / 800 » A Publish |
175
click to vote
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
150
click to vote
AC
2003
Springer
16 years 2 days ago
2003
Springer
Psychological studies indicate that people have a small but statistically significant ability to recognize the gaits of individuals that they know. Recently, there has been much i...
207
click to vote
AUSAI
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. The RGCP (Robust Graph Coloring problem) is a new variant of the traditional graph coloring problem. It has numerous practical applications in real world like timetabling...
177
click to vote
AWIC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this paper we present a method based on fuzzy computing with words to measure the informative quality of Web sites used to publish information stored in XML documents....
175
click to vote
CHES
2003
Springer
16 years 2 days ago
2003
Springer
For most of the time since they were proposed, it was widely believed that hyperelliptic curve cryptosystems (HECC) carry a substantial performance penalty compared to elliptic cur...