2935 search results - page 477 / 587 » An Integrated Approach to High Integrity Software Verificati... |
201
click to vote
DEXA
2011
Springer
14 years 5 months ago
2011
Springer
Record linkage identifies multiple records referring to the same entity even if they are not bit-wise identical. It is thus an essential technology for data integration and data c...
258
click to vote
ECOWS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
174
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
167
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
182
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...