2488 search results - page 309 / 498 » An improvement in formal verification |
107
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
IJSWIS
2008
15 years 1 months ago
2008
One of the main strengths of the web is that it allows any party of its global community to share information with any other party. This goal has been achieved by making use of a u...
105
click to vote
MTV
2003
IEEE
15 years 7 months ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
118
click to vote
ICUIMC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a detailed review of remote user authentication schemes with smart cards based on bilinear pairings. The first scheme regarding this was proposed by Manik et a...