10038 search results - page 1616 / 2008 » Model Checking for Managers |
155
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
A foundational issue underlying many overlay network applications ranging from routing to peer-to-peer file sharing is that of connectivity management, i.e., folding new arrivals ...
182
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Collaborative tagging systems have the potential to produce socially constructed information organization schemes. The effectiveness of tags for finding and re-finding information...
194
click to vote
GPC
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a Global Computing (GC) environment, called XtremWeb-CH (XWCH). XWCH is an improved version of a GC tool called XtremWeb (XW). XWCH tries to enrich XW in orde...
186
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
During data warehouse design, the designer frequently encounters the problem of choosing among different alternatives for the same design construct. The behavior of the chosen desi...
149
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
This paper describes our experience in aggregating a number of historical datasets containing inspection defect data using different categorization schemes. Our goal was to make u...