2205 search results - page 339 / 441 » Mutation Operators for Specifications |
ENTCS
2008
15 years 2 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
113
click to vote
EOR
2008
15 years 2 months ago
2008
We study the market partition between two distinct firms that deliver services to waiting time sensitive customers. In our model, the incoming customers select a firm on the basis...
125
click to vote
EOR
2008
2008
A novel mechanism for provisioning of high-level quality of service information in grid environments
15 years 2 months ago
Grids, like other heterogeneous systems, have reached the level of maturity where they are addressing the Quality of Service (QoS) provision aspect as a fundamental part of their ...
136
Voted
FGCS
2008
15 years 2 months ago
2008
This paper proposes a bio-inspired approach tailored to the construction of a Grid information system in which content, specifically metadata descriptors that specify the characte...
120
Voted
IANDC
2008
15 years 2 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...