598 search results - page 95 / 120 » Efficient and User-Friendly Verification |
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
MOBIHOC
2003
ACM
14 years 10 months ago
2003
ACM
Directional antennas in ad hoc networks offer many benefits compared with classical omnidirectional antennas. The most important include significant increase of spatial reuse, cov...
ICUIMC
2009
ACM
14 years 5 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...