2935 search results - page 284 / 587 » An Integrated Approach to High Integrity Software Verificati... |
171
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
161
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, we propose a hybrid architecture to integrate Peer-to-Peer (P2P) streaming approaches with content distribution networks (CDNs). We further utilize Multiple Descrip...
156
click to vote
ACL
2007
15 years 8 months ago
2007
Unsupervised learning of linguistic structure is a difficult problem. A common approach is to define a generative model and maximize the probability of the hidden structure give...
183
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Schema matching is the task of finding semantic correspondences between elements of two schemas. It is needed in many database applications, such as integration of web data source...
163
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....