2517 search results - page 99 / 504 » Specifying Weak Sets |
163
click to vote
AAI
2000
15 years 5 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
147
click to vote
CLUSTER
1999
IEEE
15 years 5 months ago
1999
IEEE
Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which fai...
150
click to vote
JSS
2002
15 years 5 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
299
click to vote
PUC
2008
15 years 4 months ago
2008
Abstract Mobile computing systems should be selfmanaged to simplify operation and maintenance plus meet user's expectation with respect to Quality of Service (QoS). When archi...
151
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...