1698 search results - page 244 / 340 » Model Driven Development of Complex User Interface |
122
click to vote
JAR
2006
15 years 1 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
100
click to vote
BIOSIG
2003
15 years 2 months ago
2003
: In this paper we propose a multifactor biometric sketch authentication method based on biometric sketch recognition and a user’s personal knowledge about the sketch‘s content...
106
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Today’s case based reasoning applications face several challenges. In a typical application, the case bases grow at a very fast rate and their contents become increasin...
115
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
106
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Website privacy policies state the ways that a site will use personal identifiable information (PII) that is collected from fields and forms in web-based transactions. Since these...