1528 search results - page 143 / 306 » Performance Assertion Checking |
128
click to vote
FTDCS
1999
IEEE
15 years 6 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
108
click to vote
ECP
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
102
Voted
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
117
click to vote
PKC
1999
Springer
15 years 6 months ago
1999
Springer
Since many applications require the verification of large sets of signatures, it is sometimes advantageous to perform a simultaneous verification instead of checking each signatu...
138
click to vote
AISC
1998
Springer
15 years 6 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...