661 search results - page 58 / 133 » What Can We Expect from Program Verification |
JSS
2002
13 years 8 months ago
2002
Component interoperability has become an important concern as companies migrate legacy systems, integrate COTS products, and assemble modules from disparate sources into a single ...
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Wireless communication of video poses constraints on information capacity. Region-of-Interest (ROI) video coding provides higher quality in the ROI, but poorer quality in the back...
HPCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
This paper describes how to make use of e-books that look like printed books in a knowledge network. After an overview of digitalization efforts and current digital library initia...