1782 search results - page 132 / 357 » Tool Support for Proof Engineering |
174
click to vote
SEMWIKI
2008
15 years 7 months ago
2008
Abstract. Weaving the Semantic Web the research community is working on publishing publicly available data sources as RDF data on the Web. To facilitate the adoption of Semantic We...
184
click to vote
SOQUA
2007
15 years 7 months ago
2007
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
160
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Existing commercial Web browsers provide various utilities and functions, e.g., Web bookmarks and a browsing history list. Since the bookmark and history functions only the title ...
198
click to vote
PSSS
2003
15 years 7 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
186
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...