2004 search results - page 130 / 401 » Comparison of Model Checking Tools for Information Systems |
156
click to vote
AAAI
1998
15 years 6 months ago
1998
The Web is based on a browsing paradigm that makes it di cult to retrieve and integrate data from multiple sites. Today, the only way to do this is to build specialized applicatio...
174
click to vote
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
158
click to vote
ICPP
2002
IEEE
15 years 10 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
133
Voted
PDP
2002
IEEE
15 years 10 months ago
2002
IEEE
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
136
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...