2935 search results - page 515 / 587 » An Integrated Approach to High Integrity Software Verificati... |
146
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
116
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
134
click to vote
VLSID
2001
IEEE
16 years 4 months ago
2001
IEEE
The need for low-power multimedia processing is integral to portable and embedded devices such as cell phones, wireless terminals, multimedia handhelds and PDAs. The multimedia pr...
147
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Record linkage is the computation of the associations among records of multiple databases. It arises in contexts like the integration of such databases, online interactions and...
126
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...