9067 search results - page 1644 / 1814 » Adaptive Model Checking |
157
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In today’s rapidly changing workplace, it’s becoming more and more difficult for recruiters to find employees that are right for their business. Consideration of cultural fit,...
175
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
171
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Data Grids provide geographically distributed resources for large-scale data-intensive applications that generate large data sets. However, ensuring efficient access to such huge...
199
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
148
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...