1994 search results - page 128 / 399 » Limited Software Warranties |
CASES
2009
ACM
14 years 2 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
HOTOS
2009
IEEE
14 years 2 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
EMSOFT
2006
Springer
14 years 2 months ago
2006
Springer
While hard disk drives are the most common secondary storage devices, their high power consumption and low shockresistance limit them as an ideal mobile storage solution. On the o...