503 search results - page 94 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
DEEC
2007
IEEE
15 years 4 months ago
2007
IEEE
The crawler engines of today cannot reach most of the information contained in the Web. A great amount of valuable information is "hidden" behind the query forms of onli...
65
Voted
MM
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we describe MusicStory, a system that automatically creates videos to accompany music with lyrics. MusicStory uses common search engines, photo-sharing websites, an...
77
Voted
SC
2005
ACM
15 years 3 months ago
2005
ACM
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. H...
93
Voted
SCOPES
2004
Springer
15 years 3 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...