4516 search results - page 613 / 904 » Automated System Design for Availability |
179
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
Accessing information sources to retrieve data requested by a user can be expensive, especially when dealing with distributed information sources. One way to reduce this cost is t...
188
Voted
CHI
2007
ACM
15 years 10 months ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...
185
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online. Its objective is to support the development of ne...
146
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
188
click to vote
DAMON
2006
Springer
15 years 10 months ago
2006
Springer
A new trend in processor design is increased on-chip support for multithreading in the form of both chip multiprocessors and simultaneous multithreading. Recent research in databa...