2517 search results - page 156 / 504 » Specifying Weak Sets |
152
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we introduce an effective strategy for subgoal division and ordering based upon recursive subgoals and combine this strategy with a genetic-based planning approach....
155
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
134
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
159
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
149
click to vote
IWQOS
2001
Springer
15 years 11 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...