3028 search results - page 298 / 606 » Integrating Temporal Logics |
185
click to vote
AINA
2005
IEEE
16 years 13 days ago
2005
IEEE
The purpose of admission control is to support the Quality of Service (QoS) demands of real time applications via resource reservation. In order to deal with admission control for...
183
click to vote
LOPSTR
2004
Springer
16 years 5 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
196
click to vote
IWPSE
2003
IEEE
16 years 2 days ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
207
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
A method to induce bayesian networks from data to overcome some limitations of other learning algorithms is proposed. One of the main features of this method is a metric to evalua...
190
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...