914 search results - page 107 / 183 » Lightweight scalable components |
130
Voted
ICSE
2004
IEEE-ACM
16 years 21 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
106
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
122
click to vote
SEUS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
99
Voted
HPDC
2003
IEEE
15 years 6 months ago
2003
IEEE
Monitoring and information services form a key component of a distributed system, or Grid. A quantitative study of such services can aid in understanding the performance limitatio...
115
click to vote
SIGIR
2000
ACM
15 years 5 months ago
2000
ACM
We present a Java-based framework, SWAMI (Shared Wisdom through the Amalgamation of Many Interpretations) for building and studying collaborative filtering systems. SWAMI consist...