3731 search results - page 173 / 747 » cases 2006 |
181
click to vote
TIME
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
171
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
e-Services are just as commercial services; however e-services can be fully ordered and provisioned via the Internet. Such e-services are often offered by a constellation of enterp...
140
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
181
click to vote
DSN
2006
IEEE
16 years 17 days ago
2006
IEEE
— We consider shared resource pool management taking into account per-application quality of service (QoS) requirements and server failures. Application QoS requirements are deï¬...
187
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...