4270 search results - page 380 / 854 » A Permutation Approach to Validation |
184
Voted
NCA
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper proposes a distributed and scalable publish-subscribe broker with support for QoS. The broker, called “IndiQoS”, leverages on existing mechanisms to reserve resourc...
184
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
152
click to vote
WOWMOM
2005
ACM
16 years 9 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
195
click to vote
ECSQARU
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
175
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...